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

Bases conceptuales de lógica proposicional GA3-220501093-AA1-EV01
Presentado por:
Edwin Maifredi Callejas Cerquera
NOMBRE DE LA INSTITUCION
REGIONAL ANTIOQUIA, CENTRO DE SERVICIOS DE SALUD
DENOMINACION DEL PROGRAMA DE FORMACION
VIRTUAL: TECNOLOGO EN ANALISIS Y DESARROLLO DE SOFTWARE
FICHA NO 2627057
AÑO
Mayo / 2023
INTRODUCCIÓN
En el siguiente trabajo se desarrollaran los ejercicios de bases conceptuales de
lógica proposicional con lo adquirido en el material de formación.
OBJETIVO
Solucionar problemas de lógica proposicional incluyendo habilidades como
programador.
Objetivo específico:
-presentar el paso a paso de las 2 proposiciones dada, debemos crear 4 tablas de
verdades una de cada proposición.
BASES CONCEPTUALES DE LÓGICA PROPOSICIONAL
1. (3*6)<8 o ((2*3)<(3*4))
P: (3*6) < 8 = F
Q: ((2*3) < (3*4)) = V
F+V=V
P
V
V
F
F
2. (2+4)< 2 o ((3 * 3)+ (3+ 17< 4)
P: (2+4) < 2 = F
Q: ((3*3) + (3+17 < 4) = F
F+F=F
Q
V
F
V
F
PvQ
V
V
V
F
P
V
V
F
F
3.
Q
V
F
V
F
P^Q
V
F
F
F
¬ (P ^ Q)
P
Q
P^ Q
¬ (P ^ Q)
V
V
F
F
V
F
V
F
V
F
F
F
F
V
V
V
4. ¬ (P v ¬ 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