Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Lógica Formal Proyecto Final Uniquindio
Lógica Formal Proyecto Final Uniquindio
INSTRUCCIONES
MANEJO DE LA INTERFAZ
Negacin.
Conjuncin.
Disyuncin.
Entonces.
Si y solo s.
En el siguiente boton apareceran las letras proposicionales las cuales podremos ingresar
dentro de cada uno de los condicionales, en este podremos navegar hacia los lados para
encontrar la letra proposicional que querramos usar.
En los botones inferiores se encuentra el que genera estas instrucciones. Adems de uno
que genera un rbol producido por tableros semnticos.
Cada una de las frmulas derivadas de la raz del rbol cuenta con un botn a su
lado.