SIMBOLIZACIÓN DE LOS EJERCICIOS DE LÓGICA.

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

2. [ p-> ( q ^ r)] -> (¬r -> ¬p)
3. [ (p -> q) ^ ¬q] -> (¬p v r)
4. (p ^ q) <-> ¬ r
5. [ ¬p ^( p -> (q ^ ¬ r) ] -> s

Al hacer las tablas de verdad, los resultados deben darte:

1.- Indeterminación.

2.- Tautología.

3.- Tautología.

4.- Indeterminación.

5.- Indeterminación.