TECNOLOGIA EN DESARROLLO Y ANALISIS DE SOFTWARE

EVIDENCIA:

Bases conceptuales de lógica proposicional.

GA3-220501093-AA1-EV01

Presentado por:
Gabriela Trejos Barrios

Al instructor:
Wilmer Jesús Manotas

TECNOLOGIA EN DESARROLLO Y ANALISIS DE SOFTWARE

FICHA: 2758355
Introducción:

La lógica es una herramienta fundamental para el razonamiento y la resolución de

problemas, se utilizan conectores lógicos como OR (o) y AND (y) para combinar
proposiciones y evaluar su veracidad. En este documento resolveremos ejercicios
que involucran estos conectores lógicos. Utilizaremos tablas de verdad para
visualizar todas las combinaciones posibles y analizaremos cada paso con detalle.
comprenderemos cómo funcionan los conectores lógicos OR y AND, así como
aprender a construir tablas de verdad y evaluar proposiciones.
Objetivo:

En el siguiente documento se desarrollarán los ejercicios de bases

conceptuales de lógica proporcional, con base en los conocimientos
adquiridos en el material de formación.
 SOLUCIÓN:

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

P: (2 * 5 ) < 8
Q: (( 4 * 6) < ( 2 * 5 ))
PVQ

P Q PVQ
V V V
Proposición verdadera: “V” o “1”
V F V
Proposición falsa: “F” o “0”
F V V

F F F

PUNTO N.º 1
P Q PVQ
(2 * 5) < 8 OR ((4 * 6) > (2 * 5) )
10 < 8 OR (24 > 10) V V V
F OR V
V F V
Respuesta: V
F V V
Tabla de verdad disyunción (OR) u (O) F F F

(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

 (P Ʌ Q)
P Q PɅ Q  (P Ʌ Q)
V V V F
V F F V
F V F V
F F F V

 ( P  Q)

P Q Q PV Q  ( P V Q)

PUNTO N.º 2

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

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

F AND F
Respuesta: F
Tabla de verdad conjunción (AND) o (Y)
 P Q PɅQ
V V V

V F F

F V F

F F F

PUNTO N.º 3

Solución tabla de verdad  (P Ʌ Q)

P Q P Ʌ Q  (P Ʌ Q) P Q P Ʌ Q  (P Ʌ Q)
V V V F 1 1 1 0
V F F V 1 0 0 1
F V F V 0 1 0 1
F F F V 0 0 0 1

PUNTO N.º 4

Solución tabla de verdad  ( P  Q)

P Q Q P  Q  (P Q)
P Q Q P  Q  ( P Q)
V V F V F 1 1 0 1 0

V F V V F 1 0 1 1 0

F V F F V 0 1 0 0 1

0 0 1 1 0
F F V V F

*La lógica proposicional forma parte de la lógica clásica, y permite estudiar las
implicaciones de las variables proposicionales, así como los valores de verdad de
las proposiciones. Estos valores se construyen a partir de conectores lógicos, y
son aplicables tanto en matemáticas como en otras ramas de conocimiento.