EJERCICIOS PARA EL JUEVES



1. Haga tablas de verdad para las siguientes fórmulas:


(i) p&-q

(ii) q&-p

(iii) p--->q

(iv) q--->p

(v)  -(p&-q)




2. Definamos el concepto de equivalencia lógica del modo siguiente: dos fórmulas son equivalentes lógicamente si nunca (es decir, en ninguna posibilidad) reciben distinto valor. Más prácticamente, dos fórmulas son equivalentes si tienen el mismo "resultado" en las tablas de verdad.


(a) ¿Hay fórmulas lógicamente equivalentes en el ejercicio anterior? Justifique.
(b) Construya alguna fórmula que sea lógicamente equivalente a (i) (p&-q)