Diferencia entre revisiones de «Práctica 1: Lógica Proposicional (Lógica y Computabilidad)»
De Cuba-Wiki
Línea 1: | Línea 1: | ||
==Ejercicio 01== | ==Ejercicio 01== | ||
1. N, pues no tiene | <br>1. N, pues no tiene parentesis exteriores. | ||
2. S, p1,p2,p3,p4,(p2 -> p3),(p1 v (p2 -> p3)). | <br>2. S, p1,p2,p3,p4,(p2 -> p3),(p1 v (p2 -> p3)). | ||
3. S, p1,p2,¬p1,¬¬p1,(¬¬p1 -> p1). | <br>3. S, p1,p2,¬p1,¬¬p1,(¬¬p1 -> p1). | ||
4. N, pues no tiene | <br>4. N, pues no tiene parentesis exteriores. | ||
5. S, p1,p2,p3,p5,(p2 -> p3),(p5 -> p2),(p1 v (p2 -> p3)). | <br>5. S, p1,p2,p3,p5,(p2 -> p3),(p5 -> p2),(p1 v (p2 -> p3)). | ||
==Ejercicio 02== | ==Ejercicio 02== |
Revisión del 03:25 4 ene 2007
Ejercicio 01
1. N, pues no tiene parentesis 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 parentesis exteriores.
5. S, p1,p2,p3,p5,(p2 -> p3),(p5 -> p2),(p1 v (p2 -> p3)).