En este trabajo abordamos los conceptos de la lógica proposicional enmarcados en la teoría general de sistemas con el enfoque de Bertalanffy, quien define un sistema como una colección de partes abstractas, interrelacionadas, con objetivos específicos en un entorno llamado super sistema. Para nuestro caso el súper sistema es el conjunto de todas las proposiciones lógicas, los conectores o procesos lógicos y sus propiedades. Interpretamos los operadores lógicos  o,  y,  no   como  procesos o sistemas  dinámicos  que cambia de estado según los  valores de verdad de la entrada del sistema.  Por ejemplo el proceso  o lo interpretamos como un sistema dinámico que responde ante dos entradas, valores de verdad de las proposiciones P y Q, proporcionando una salida  P o Q,  con 4 posibles estados. Análogamente para los procesos restantes.  La simulación la implementamos con  macros interactivos en  Geogebra, donde el usuario puede cambiar los valores de verdad de las entradas. Para el estudio de las reglas de inferencias  derivadas de los procesos o,  y,  no , el tratamiento es similar, solo que introducimos una entrada y una salida para conjeturar sobre la otra entrada, en el caso de procesos binarios. Extendemos la misma metodología a expresiones proposicionales menos sencillas, implementándolas en Geogebra, donde podemos ver sus diferentes estados, Tabla de Verdad, o encontrar reglas de inferencia, según el caso, con la opción de cambiar los valores de verdad de las entradas y obtener de forma automática la salida. Un ejemplo es (P→Q) o (P→R) Esta forma de enseñar la lógica proporcional la usamos en el curso de Lógica matemática para primer semestre de Universidad en las carreras de Ingeniería en Manizales, Colombia.