Práctica 1: Lógica Proposicional (Lógica y Computabilidad)
De Cuba-Wiki
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)).
