BASES CONCEPTUALES DE LÓGICA PROPOSICIONAL

PRESENTADO POR:

JEANNETTE BORRERO ROMERO

CONSTRUCCIÓN DE SOFTWARE INTEGRADOR DE TECNOLOGÍAS

ORIENTADAS A SERVICIOS

FASE DE ANÁLISIS

TECNÓLOGO EN ANÁLISIS Y DESARROLLO DE SOFTWARE

SERVICIO NACIONAL DE APRENDIZAJE (SENA)

BOGOTÁ, D.C.
DICIEMBRE DE 2023
 Evidencia
Bases Conceptuales de Lógica Proposicional

 Ejercicio No. 1

Paso 1: Identificar el problema

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

Paso 2: Descomponer el enunciado

P= (2 * 5) < 8

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

Paso 3: Determinar los casos

PvQ

Solución

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

10 < 8 OR 24 > 10

F OR V

Tabla de Verdad Disyunción (OR)

P Q PvQ
V V V
V F V
F V V
F F F

Según la tabla de verdad para PvQ = F * V = Verdadero

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

 Ejercicio No. 2

Paso 1: Identificar el problema

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

Paso 2: Descomponer el enunciado

P= (4 + 5) < 3

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

Paso 3: Determinar los casos

P^Q
 Solución

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

9 < 3 AND 25 + 29 < 3

9 < 3 AND 54 < 3

F AND F

Tabla de Verdad Conjunción (AND)

P Q P^Q
V V V
V F F
F V F
F F F

Según la tabla de verdad para P^Q = F * F = Falso

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

 Ejercicio No. 3

Tabla de Verdad ¬ (P^Q)

P Q
V V
V F
F V
F F
P^Q ¬ (P^Q)
V F
F V
F V
F V

 Ejercicio No. 4

Tabla de Verdad ¬ (Pv¬Q)

P Q ¬Q Pv¬Q ¬ (Pv¬Q)
V V F V F
V F V V F
F V F F V
F F V V F