Ayudantía Nº 1 Carola Muñoz R.

Ejercicios Construir la tabla de verdad de la siguiente expresión: ( p  q )  p Desarrollo: Nº de proposiciones = 2 ( p y q) Combinaciones posibles = 2 2 = 4  p ( p  q )  P V V V V V V V F V V F V V F F F F F F F 13/03/2008

Ejercicios Construir la tabla de verdad de la siguiente expresión: ( p  q )  p Desarrollo: Nº de proposiciones = 2 ( p y q) Combinaciones posibles = 2 2 = 4  p ( p  q )  P V V V V V V F F V V F F V F F F F F F F 13/03/2008

Ejercicios Construir la tabla de verdad de la siguiente expresión: ( p  q ) p Desarrollo: Nº de proposiciones = 2 ( p y q) Combinaciones posibles = 2 2 = 4 ( p  q )  P V V F V V V V V V V F F F V F F V V F F 13/03/2008

Ejercicios Construir la tabla de verdad de la siguiente expresión: p  (q  p) Desarrollo: Nº de proposiciones = 2 ( p y q) Combinaciones posibles = 2 2 = 4 p  ( q  P ) V V V V V F F V F F V V F V V F V F V F 13/03/2008

Ejercicios Construir la tabla de verdad de la siguiente expresión: (p  ¬q )  p Desarrollo: Nº de proposiciones = 2 ( p y q) Combinaciones posibles = 2 2 = 4 p q ¬ q ( p  ¬ q ) ( p  ¬ q )  p V V F F F V F V V V F V F V F F F V V F 13/03/2008

Ejercicios Construir la tabla de verdad de la siguiente expresión: (¬p  q ) p Desarrollo: Nº de proposiciones = 2 ( p y q) Combinaciones posibles = 2 2 = 4 ( ¬ p  q )  P F F V V V F F F V V V V V F F V F F V F 13/03/2008

Ejercicios Construir la tabla de verdad de la siguiente expresión: ( p  q ) ( p  q ) Desarrollo: Nº de proposiciones = 2 ( p y q) Combinaciones posibles = 2 2 = 4 ( p   q )  (  P  q ) V F F V F V V V V F F F F V F V F F V V V F F V V V V F 13/03/2008

Ejercicios Probar que la siguiente expresión es TAUTOLOGIA ( p  q )   ( p   q ) Desarrollo: Nº de proposiciones = 2 ( p y q) Combinaciones posibles = 2 2 = 4 ( p  q )   ( p   q ) V V V V V V F F V V F V V V F F F F V V F F V F F F F V F F V V 13/03/2008

Ejercicios Probar que la siguiente expresión es CONTRADICCIÓN ( p  q )   ( p  q ) Desarrollo: Nº de proposiciones = 2 ( p y q) Combinaciones posibles = 2 2 = 4 ( p  q )  ( p  V V V F F V V V V F F V V F F F F F V F F F V V F F F F V F F F 13/03/2008

Ejercicios Construir la tabla de verdad de la siguiente expresión: p  ( q  r ) Desarrollo: Nº de proposiciones = 3 ( p, q y r) Combinaciones posibles = 2 3 = 8 p  ( q  r ) V V V V V F V V V V V F V F F V F V F F V F F F V F V F F V V F F F F F V F F F 13/03/2008

Ejercicios Construir la tabla de verdad de la siguiente expresión: (p  r )  ( q  r ) N º de proposiciones = 3 ( p, q y r) Comb. posibles = 2 3 = 8 ( p  r )  ( q V V V V V F F V V V V F V F V F F V V V V F V F V V V F F V V V V F F F V V V F V F F V F V V V V F F V F V V V 13/03/2008

Ejercicios Averiguar si son equivalentes las proposiciones: ( p  q ) → r y ( p → r )  ( q → r ) Este problema se solucionara a través de las tablas de verdad de cada expresión. ( p  q ) → r ( P → r )  ( q V V V V V V V V V V V V V V F F V V F F V F F F F V F F V V V V V V V V V F V F F V F V F F F V F V F F V V F V V V V V V V V V F F V V F F V F F F F F F V F V V F F F V V V V F F V F F V F V F V F F

Ejercicios Usando tablas de verdad demostrar: ¬p  q  p  q Nº de proposiciones = 2 ( p y q) Combinaciones posibles = 2 2 = 4 p q ¬ p ¬ p  q p  q V F 13/03/2008

Ejercicios Usando tablas de verdad averiguar: ¬( p  q )  ¬p  ¬q Nº de proposiciones = 2 ( p y q) Combinaciones posibles = 2 2 = 4 p q ¬ p ¬ q p  q ¬ ( p  q ) ¬ p  ¬ q V F 13/03/2008

Ejercicios Usando tablas de verdad demostrar: ( p  q )’  p’  q’ Nº de proposiciones = 2 ( p y q) Combinaciones posibles = 2 2 = 4 p q p’ q’ p  q ¬ ( p  q ) ¬ p  ¬ q V F 13/03/2008

Ejercicios Usando tablas de verdad demostrar: ( p  q )  r  p  ( q  r ) Nº de proposiciones = 3 ( p, q y r) Combinaciones posibles = 2 3 = 8 p q r p  q q  r ( p  q )  r p  ( q  r ) V F 13/03/2008

Ejercicios Usando tablas de verdad demostrar: p  ( q  r )  ( p  q )  ( p  r ) Nº de proposiciones = 3 ( p, q y r) Combinaciones posibles = 2 3 = 8 p q r p  q p  r q  r p  ( q  r ) ( p  q )  ( p  r ) V F 13/03/2008