MATHSOLUTIONS

Ó +56 931028682 – 0961677711

area: lógica proposicional

dale click y sı́guenos

u g ¡

Ejercicio. Construir tablas de verdad para las siguientes expresiones.

a. (p ∧ q) −→ q

b. (p ←→ q) ∧ ∼ q

c. (p ∧ ∼ q) ∨ (q ∧ ∼ q)

d. (p ∧ q) −→ [r ∧ (p ∧ ∼ r)] −→ ∼ q

Solución:

(p ∧ q) −→ q
Tautologı́a: es una proposición que siem-
V V V V V
pre es verdadera. En otras palabras, es una
V F F V F
afirmación que es cierta en todas las posi-
F F V V V
bles combinaciones de verdad o falsedad.
F F F V F

(p ←→ q) ∧ ∼ q
Contingencia: es una proposición que es
V V V F F
verdadera en algunos casos pero falsa en
V F F F V
otros, es decir, su verdad o falsedad no está
F F V F F
determinada de manera definitiva.
F V F V V
 Falacia: es una proposición cu-
(p ∧ ∼ q) ∨ (q ∧ ∼ q)
yas declaraciones siempre son
V F F F V F F
falsas, es decir, no existe ningu-
V F F F F F V
na asignación de valores de ver-
F F V F V F F
dad a sus variables proposicio-
F F V F F F V
nales.

A continuación, se presenta el desarrollo de una expresión lógica ligeramen-

te más compleja, aunque sigue los mismos principios. El lector de nuestra
comunidad MathSolutions tendrá la capacidad de argumentar si la ex-
presión es: contingencia, tautologı́a o falsedad.

(p ∧ q) −→ [r ∧ (p ∧ ∼ r)] −→ ∼q
V V V F V F V F F V F
V V V F F F V V V V F
V F F V V F V F F V V
V F F V F F V V V V V
F F V V V F F F F F F
F F V V F F F F V F F
F F F V V F F F F V V
F F F V F F F F V V V

Leemos cual ha sido tu respuesta en nuestra pagina de facebook, dale click

en g y comenta

NOTA: El resultado final de cada tabla de verdad está resaltado en color

morado (lila).