Universidad Cooperativa de Colombia

Asignatura: Lógica Matemática

Profesor: Ángel Pinto Mangones
Alumno: -

1) A criterio personal el grupo que entiende por tablas de la verdad.

2) Realizar las tablas de la verdad para las siguientes formulas.
a) ((¬P) ˄ P).
b) ((P ˄ Q) → P).
c) (P → (Q ˅ (¬Q))).
d) (((Q ˅ R) ˄ (¬R)) → Q).
e) (((A ↔ C) ˅ (¬(A ↔ Q))) ˄ (¬Q)).
f) ((R ↔ S) ↔ T).

Solución

(r-1)
.Opino que son símbolos que usamos para abreviar ciertas operaciones lógicas.

(r-2)
((“¬” voy a ir a clases) “˄” ire a cine)
(“No” ire a clases “ y” al cine )

((ire a cine “˄” ire a jugar futbol) “→” llueve).

(“si”no llueve “entonces” ire a cine y a jugar futbol)

(ire a cine “→” (ire a jugar futbol “˅” (“¬”lavare la ropa))).

Ire a cine “si” primero juego futbol “o” “no” lavare la ropa

(((ire a cine ˅ ire al billar) ˄ (¬lavare ropa)) → jugare futbol).

Ire al cine “o” a jugar billar “y” “no” lavare la ropa “si” juego futbol

(((ire a cine ↔ ire al billar) ˅ (¬(ire a jugar futbol ↔ lavare la ropa)) ˄ (¬realizare las atividades)).
Ire a cine “solo si” juego billar “o” “no” ire a jugar futbol solo si lavo la ropa “y” “no” realizare mis
actividades.

((ire a cine ↔ hago el aseo) ↔ encuentro los implementos de limpieza).

Ire a cine “solo si hago” el aseo, “solo si” encuentro los implementos de limpieza.