Alumno: Jesús Nicolás Diaz Rebollar

Asesora: Reyna Miranda Maya

Bachillerato: Juan Bosco

Materia: Lógica para la solución de problemas

Actividad: Tabla de verdad

Grado: 2

Grupo: A
Tablas de verdad de proposiciones compuestas

Aplica la formula, 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.

Tabla de verdad (Condicional)

a) {[(p ᵙ q) ˄ p] ᵙ q} =
= 4 = 4/2 q =2/2

{[(p ᵙ q) ˄ p] ᵙ q}
V V V V V V V
V F F V V F F
F V V F F V V
F V F F F V F

Tabla de verdad (Condicional)

b) {[(p v q) ˄ r] ᵙ ~ q}
= 8= p= 8/2 r= 2/2

{[(p v q) ˄ r] ᵙ ~q}
V V V V V F F
V V V F F V F
V V F V V V V
V V F F F V V
F V V V V F F
F V V F F V F
 F F F F V V V
F F F F F V V

Tabla de verdad (Bicondicional)

c) {[(p ˅ q) ˄ (r ᵙ q)] ≡ (q ˄ r)} =

= 8= p= 8/2 q= 4/2 r= 2/2

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

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