Lógicas no estáticas: construcción de los 16 conectores lógicos usando el azar

Abstract

Se presenta el siguiente trabajo de grado, dentro del marco del proyecto curricular de Licenciatura en Matemáticas; su objetivo principal subyace en la construcción de tres modelos de lógica no estática usando como herramienta el azar, con el fin de mostrar que estos responden al modelo de la lógica usual, esto mediante la definición de operaciones entre conjuntos, determinación de tautologías y la realización de un experimento programado en dos lenguajes distintos (Microsoft Excel y Python), con el fin de contrastar la probabilidad de éxito del mismo en el modelo de la lógica usual y los modelos de lógica no estática.