Bases conceptuales de lógica proposicional GA3-220501093-AA1-EV01

INTEGRANTE DEL PROYECTO

Jorge Alejandro Huertas Sanchez

TUTOR

EFRAIN VARGAS STERLING

Instructor

FICHA
2721558

SERVICIO NACIONAL DE APRENDZAJE SENA

ANALISIS Y DESARROLLO DE SOFTWARE

SENA VIRUTAL

2023
 Introducción

En el siguiente documento se desarrollan los ejercicios de bases conceptuales

de lógica proposicional, con base en los conocimientos adquiridos en el material
de formación.
<Introducción a la algoritmia= del programa de Análisis y desarrollo de Software.
Objetivo
Solucionar problemas de lógica proposicional incorporando habilidades propias
en el oficio como programador.

Objetivos específicos:
• Presentar el paso a paso de las dos preposiciones dadas.
• Crear 4 tablas de verdades, una de cada proposición dada.
 Bases conceptuales de lógica proposicional.

1. (2 * 5) < 8 o ((4 * 6) < (2 * 5))

P: (2 * 5) < 8

Q: ((4 * 6) < (2 * 5))

PúQ
P Q PúQ
V V V
V F V
F V V
F F F

2. (5 + 2) < 3 y ((5 * 5) + (4 + 25 < 3)

P: (5 + 2) < 3

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

PùQ

P Q PùQ
V V V
V F F
F V F
F F F

3. ø (P ù Q)
P Q PùQ ø (P ù Q)
V V V F
V F F V
F V F V
F F F V

4. ¬ (P ú ¬ Q)
P Q ¬Q Pú¬Q ¬ (P ú ¬ Q)
 V V F V F
V F V V F
F V F F V
F F V V F