Tablas de verdad ejercicios resueltos

 

MANUAL PDF DE LA ACADEMIA LAP :

¿CÓMO HACER TABLAS DE VERDAD PASO POR PASO?

 

Ejercicios resueltos de tablas de verdad

 

Cada ejercicio consta de un video que te enseña a como resolver el problema y al final de cada ejercicio hay un link con todas las soluciones disponibles

 

(1.) Descubra mediante el procedimiento de tablas de verdad
si estas fórmulas son A. tautológicas, contingentes o contradictorias B. Verdad lógica o no, C. Satisfacibles o no :

 

1.[Ejercicio 1] p ^ q --> p

2. [Ejercicio 2]p v p --> r

3. [Ejercicio 3]p v (q --> r)

4. [Ejercicio 4](p --> q) ^ (q --> r) --> (p --> r)

5. [Ejercicio 5]p --> (q --> r)

6. [Ejercicio 6]p v q --> (r v s --> p)

7. [Ejercicio 7]p ^ q --> q ^ p

8. [Ejercicio 8](p --> q) ^ p --> q

9. [Ejercicio 9](p --> q) ^ p ^ ¬q

10. [Ejercicio 10](p --> q) ^ (p --> q)

11. [Ejercicio 11](p --> q) ^ q --> p

12. [Ejercicio 12](p --> q) ^ ¬q --> ¬p

13. [Ejercicio 13](p --> q) ^ ¬p --> ¬q

14. [Ejercicio 14]¬(p ^ q) <--> ¬p ^ ¬q

15. [Ejercicio 15]¬(p ^ q) <--> ¬p v ¬q

16. [Ejercicio 16][(p --> q) ^ (q --> r)] ^ ¬(p --> r)

17. [Ejercicio 17]p --> (q ^ ¬r) --> ¬q)

18. [Ejercicio 18]¬(p v q) <--> ¬r v ¬q

19. [Ejercicio 19]¬(p v q) <--> ¬p v ¬r

20. [Ejercicio 20] ¬(p --> q) <--> p ^ r)

 

Soluciones

 

(2.) Demuestre mediante tablas de verdad si las siguientes fórmulas
son equivalentes o no:

 

1. [Ejercicio 21] p ^ q --> p , p v p --> r

2. [Ejercicio 22] p ^ (q v r) , (p ^ q) v (p ^ q)

3. [Ejercicio 23] p v (q --> r) , p --> ¬¬(q --> ¬r)

4. [Ejercicio 24](p --> q) ^ (q --> r) --> (p --> r) , p --> (q --> r)

5. [Ejercicio 25] ¬(p v q) <--> ¬p v ¬r , ¬(p --> q) <--> p ^ r

 

Soluciones

 

(3.) Comprueba si la fórmula  B es consecuencia lógica del con-
junto de fórmulas {A1...An}

 

1. [Ejercicio 26] A1= p ^ q;  B= p

2. [Ejercicio 27] A1= (p ^ q) --> r;  B= p --> (q --> r)

3. [Ejercicio 28] A1= ¬q v p; A2=p --> q;  B=p <--> q

4. [Ejercicio 29] A1= ¬(p --> q);  B=q-->¬p

5. [Ejercicio 30]A1= p --> q; A2= r --> q; A3= s --> q;  B= (p v q v s) --> q

 

Soluciones

 

¿Quieres conocer al profesor de lógica formal de la Academia LAP?

 

Por favor, dejad vuestra opinión sobre los ejercicios de la página web para que pueda mejorarlos o ampliarlos. ¡Muchísimas gracias a todos! < <

 

Comentarios, sugerencias y críticas