Instrucciones de uso

Elementos de la aplicación

Logicapp tiene una de las interfaces de usuario más simples e intuitivas que existen.

Al iniciar la aplicación se nos presenta una ventana completamente vacía con tres elementos:



-Menú opciones:



-Abrir tableau: Como su nombre indica, abre un archivo .tb para su visualización.
-Guardar tableau: Guarda el tableau que se muestra en la pantalla.

-Cajetín de texto: Lugar donde introducimos las fórmulas separadas por comas --> ,

-Botón "Go!": Realiza el desarrollo del tableau a partir de las fórmulas introducidas en el cajetín de texto.

Formato de entrada de datos

La entrada de fórmulas está codificada:

"(p)OR(q)" codificaría la fórmula p v q
"(p)AND(q)" codificaría la fórmula p ^ q
"(p)-->(q)" codificaría la fórmula p --> q
"(p)<->(q)" codificaría la fórmula p <-> q
"¬(p)" codificaría la fórmula ¬p
","    La coma se utiliza para separar fórmulas

En los ejemplos hemos utilizado las variables p ó q, pero se pueden introducir fórmulas en su lugar tal que ((p)OR(q))AND(q) sería la fórmula (p v q) ^ q.

Ejemplo: (p)AND(q), (p)OR((var1)-->(bisha)), ¬(¬(p)) codificaría el conjunto de fórmulas p ^ q, q v (var1 --> bisha), ¬¬p.



Presione el botón "Go!" para desarrollar la fórmula (o el conjunto de fórmulas) introducido.

Si ha introducido todo bien, debería de ver su tableau delante de usted. Así de fácil.



Una vez desarrollado, puede guardarlo para visualizarlo más tarde o puede introducir nuevas fórmulas y presionar "Go!" de nuevo para un nuevo desarrollo.

Les rogamos que si no ven bien las imágenes hagan click en las mismas para verlas aumentadas y con mayor resolución. Así mismo, pueden ver todas ellas aquí

Otros:

·Home
·Información del proyecto