Bases conceptuales de lógica proposicional

Esteban García Zuluaga.

Servicio Nacional de Aprendizaje.

Centro de Comercio.

Tecnología en Análisis y Desarrollo de Software

Ficha 234595.

John Jesús Chaverra Vásquez.

28 de octubre del 2022.

1- (2 * 5) < 8 OR ((4 * 6) > (2 * 5))

(2 * 5) < 8 OR ((4 * 6) > (2 * 5))

10 < 8 OR (24 > 10)
0 OR 1
  1  

P Q P∨Q
1 1 1
1 0 1
0 1 1
0 0 0

2- (4+ 5) < 3 AND ((5 * 5) + (4 + 25 < 3))

(4+ 5) < 3 AND ((5 * 5) + (4 + 25 < 3))

9<3 AND 25 + (29 < 3)
9<3 AND 54 < 3
F AND F
  F  

P Q P∧Q
V V V
V F F
F V F
F F F
Tabla de verdad para las siguientes expresiones

1- Solución tabla de verdad ¬ (P ∧ Q)

P Q P∧Q ¬ (P ∧ Q)
V V V F
V F F V
F V F V
F F F V

2- Solución tabla de verdad ¬ (P v ¬Q)

P Q ¬Q (P v ¬ Q) ¬(P v ¬ Q)
V V F V F
V F V V F
F V F F V
F F V V F