Diferencia entre revisiones de «Práctica 1: Lógica Proposicional (Lógica y Computabilidad)»
De Cuba-Wiki
Sin resumen de edición |
|||
Línea 1: | Línea 1: | ||
==Ejercicio 01== | ==Ejercicio 01== | ||
1. N, pues no tiene par´entesis exteriores. | |||
2. S, p1,p2,p3,p4,(p2 -> p3),(p1 v (p2 -> p3)). | |||
3. S, p1,p2,¬p1,¬¬p1,(¬¬p1 -> p1). | |||
4. N, pues no tiene par´entesis exteriores. | |||
5. S, p1,p2,p3,p5,(p2 -> p3),(p5 -> p2),(p1 v (p2 -> p3)). | |||
==Ejercicio 02== | ==Ejercicio 02== | ||
==Ejercicio 03== | ==Ejercicio 03== |
Revisión del 03:24 4 ene 2007
Ejercicio 01
1. N, pues no tiene par´entesis exteriores. 2. S, p1,p2,p3,p4,(p2 -> p3),(p1 v (p2 -> p3)). 3. S, p1,p2,¬p1,¬¬p1,(¬¬p1 -> p1). 4. N, pues no tiene par´entesis exteriores. 5. S, p1,p2,p3,p5,(p2 -> p3),(p5 -> p2),(p1 v (p2 -> p3)).