EJERCICIO TABLAS DE VERDAD EN COMUNIDAD.

CONVERTIR ENUNCIADOS EN FORMA SIMBÓLICA.

P=tenemos tarea
Q= me voy para la casa
No tenemos tarea y me voy para la casa ¬p^q
Tenemos tarea o me voy para la casa: pvq
No es cierto que no tenemos tarea y no me voy para la casa ¬(¬p^¬q)

CONVERTIR DE SÍMBOLOS A LENGUAJE NATURAL.
(UTILIZAR TODOS LOS CONECTORES LÓGICOS)

P=El monstruo esta.
Q=Siento miedo

pvq: El monstruo esta o siento miedo.

¬¬pvp: No es cierto que no esta el monstruo o siento miedo.
p^q: El monstruo esta y siento miedo.
((p­^q)^¬(¬q)): El monstruo esta y siento miedo y es falso que no sienta miedo.

P: Si trabajas
Q: Hay dinero.

(¬pà¬q)^pàq: Si no trabajas entonces no hay dinero y si trabajas entonces hay dinero.
vpv¬p: O trabajas o no hay dinero.
p^q: Si trabajas y hay dinero.

COMPROBAR UNA TAUTOLÓGICA Y UNA CONTRADICCIÓN.
ENCONTRAR TABLAS DE VERDAD.

P: Si trabajas
Q: Hay dinero.
(pàq)v¬q: Si trabajas entonces hay dinero o no hay dinero.

*P: Rambo si ataca.
*Q: No hay guerra.
¬(PàQ)^(Pà¬Q): Es falso que Rambo ataca entonces hay guerra y Rambo si ataca entonces no hay guerra.

COMPROBAR UNA EQUIVALENCIA.

P: Juan esta bien informado

Q: Juan es honesto.

¬(p^q) : Juan o no esta bien informado o no es honesto
(¬pv¬q): No es verdad que Juan esté informado y sea honesto
Expresándolo simbólicamente sería: