Evidencia de conocimiento: GA3-220501093-AA1-EV01

Bases conceptuales de lógica proposicional

Sebastián Blanco López

Héctor Edwin Rincón Alfonso

Docente:

Jeimmy Cristina Perea Barrios

Servicio Nacional de Aprendizaje (SENA)

Tecnología en desarrollo y análisis de software

Santander

2023
1. Entender el problema

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

2. Descomponer el enunciado en proposiciones atómicas.

P = (2 * 5) < 8
Q = ((4 * 6) > (2 * 5))

3. Determinar los casos

PVQ

4. Evaluar los posibles casos derivados del enunciado anterior.

(2 * 5) < 8
10<8: Falso F

((4 * 6) > (2 * 5))

24 > 10: Verdadero V
PVQ: F*V = Verdadero V.
1. Entender el problema

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

2. Descomponer el enunciado en proposiciones atómicas.

P = (4+ 5) < 3
Q = ((5 * 5) + (4 + 25 < 3))

3. Determinar los casos

P^Q

4. Evaluar los posibles casos derivados del enunciado anterior.

P: 9< 3: Falso
Q: 25 + (29<3)
25 + Falso
P^Q: F*F= Falso

Tablas de verdad
(P ∧ Q) y (P *Q)