B@UNAM

Lógica para la Solución de Problemas.

Alumna: Giovanna Sosa Arreola
Asesora: Elvia del Carmen Ramos Dávila

ACTIVIDAD 1.
TABLAS DE
VERDAD
 Tablas de verdad de proposiciones compuestas

Aplica la fórmula, detecta la conectiva lógica principal (marcada en naranja) y

sigue los signos de agrupación para aplicar los criterios de valores de verdad
de cada conectiva lógica.

a) {[(p ∧ q) ∨ p] ᵙ q} 22=4

{[(p ∧ q) ∨ p] ᵙ q}

V V V V V V V
V F F V V F F
F F V F F V V
F F F F F V F

b) {[(p ∧ q) ∨ r] ᵙ ~ q} 23=8

{[(p ∧ q) ∨ r] ᵙ ~q}

V V V V V F F
V V V V F F F
V F F V V V V
V F F F F V V
F F V V V F F
F F V F F V F
 F F F V V V V
F F F F F V V

c) {[(p ∧ q) ∨ (r ᵙ q)] ≡ (q ˄ r)} 23=8

{[(p ∧ q) ∨ (r ᵙ q)] ≡ (q ˄ r)}

V V V V V V V V V V V
V V V V F V V F V F F
V F F F V F F V F F V
V F F V F V F F F F F
F F V V V V V V V V V
F F V V F V V F V F F
F F F F V F F V F F V
F F F V F V F F F F F