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