1

NOMBRE DEL TRABAJO

Lgica Proposicional

ESTUDIANTE
Juan Camilo Mendoza Maldonado

NMERO DE GRUPO
20611A_288

DOCENTE

DORIXY DE ARMAS DUARTE

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

HERRAMIENTAS DIGITALES PARA LA GESTIN DEL
CONOCIMIENTO
SANTA MARTA - 11 DE ABRIL DEL 2016

Las tablas de verdad, de la lgica matemtica.

Las tablas de verdad nos ayudan a establecer el valor de verdad de diferentes
razonamientos lgicos construidos a base de la combinacin de dos
o ms enunciados nucleares.
Los enunciados nucleares se identifican con las letras del alfabeto, usualmente
las de la segunda mitad del alfabeto: p, q, r, s, t, etc.
Puede usarse cualquier smbolo para identificar a los enunciados nucleares.
La tabla de verdad ms simple es la que corresponde a los valores de verdad de
un solo enunciado nuclear.

P
V
F

Cuando hay dos enunciados nucleares, p y q, las tablas de verdad para los
cuatro conectivos bsicos (conjuncin, disyuncin, implicacin y doble
implicacin), tienen cuatro niveles (2 elevado al nmero de enunciados). Se
pretende en la tabla que se puedan establecer todas las combinaciones de
valores de verdad asumidos por los enunciados nucleares.
Los conectivos lgicos son Y (para la conjuncin), O (para
la disyuncin inclusiva), SI ENTONCES (para la implicacin o condicional),
SI Y SOLO SI (para la doble implicacin o bicondicional).

Las tablas de verdad son las siguientes:

Conjuncin
La conjuncin es un operador que opera sobre dos valores de verdad, tpicamente los
valores

de

verdad

de

dos

proposiciones,

devolviendo

el

valor

de

verdad verdadero cuando ambas proposiciones son verdaderas, y falso en cualquier

otro caso. Es decir es verdadera cuando ambas son verdaderas

Ejemplos
La prueba simple se hace con la ayuda de dos enunciados nucleares como los
siguientes:
P = el tejado esta sobre el piso.
Q = el piso esta debajo del tejado.
Conjuncin
P
V
V
F
F

Q
V
F
V
F

PYQ
V
F
F
F

Conjuncin
PYQ

el tejado esta sobre el piso

el tejado esta sobre el piso

el piso esta debajo del suelo

Es falso que el piso esta debajo del

Verdadero
Falso

Es falso que el tejado esta sobre el

tejado
el piso esta debajo del suelo

Falso

piso
Es falso que el tejado esta sobre el

Es falso que el piso esta debajo del

Falso

piso

tejado

Disyuncin
La disyuncin es un operador que opera sobre dos valores de verdad, tpicamente los
valores de verdad de dos proposiciones, devolviendo el valor de

4
verdad verdadero cuando una de las proposiciones es verdadera, o cuando ambas lo
son, y falso cuando ambas son falsas.

Disyuncin
P
V
V
F
F

Q
V
F
V
F

POQ
V
V
V
F

Disyuncin
PO Q

el tejado esta sobre el piso

el tejado esta sobre el piso

el piso esta debajo del suelo

Es falso que el piso esta debajo del

Verdadero
Verdadero

Es falso que el tejado esta sobre el

tejado
el piso esta debajo del suelo

Verdadero

piso
Es falso que el tejado esta sobre el

Es falso que el piso esta debajo del

Falso

piso

tejado

Implicacin
El implicacin material es un operador que opera sobre dos valores de verdad,
tpicamente los valores de verdad de dos proposiciones, devolviendo el valor de
verdad falso slo cuando la primera proposicin es verdadera y la segunda falsa, y
verdadero en cualquier otro caso.

5
Implicacin
P
V
V
F
F

Q
V
F
V
F

Q
V
F
V
V

Implicacin
Y
Q

el tejado esta sobre el piso

el tejado esta sobre el piso

el piso esta debajo del suelo

Es falso que el piso esta debajo del
tejado

Verdadero
Falso

Es falso que el tejado esta sobre el

el piso esta debajo del suelo

Verdadero

piso
Es falso que el tejado esta sobre el

Es falso que el piso esta debajo del

Verdadero

piso

tejado

Bicondicional
El bicondicional o doble implicacin es un operador que funciona sobre dos valores de
verdad, tpicamente los valores de verdad de dos proposiciones, devolviendo el valor
de verdad verdadero cuando ambas proposiciones tienen el mismo valor de verdad, y
falso cuando sus valores de verdad difieren.

Bicondicional
P
V
V
F
F

Q
V
F
V
F

Q
V
F
F
V

Bicondiciona
l

el tejado esta sobre el piso

el tejado esta sobre el piso

el piso esta debajo del suelo

Es falso que el piso esta debajo del

Verdadero
Falso

Es falso que el tejado esta sobre el

tejado
el piso esta debajo del suelo

Falso

piso
Es falso que el tejado esta sobre el

Es falso que el piso esta debajo del

Verdadero

piso

tejado

2 actividades
Hilder ha comenzado a revisar los productos de la Fase Individual del Trabajo
Colaborativo Uno del Curso Pensamiento Lgico y Matemtico, para lo cual se
encuentra observando los primeros aportes hechos por los integrantes del grupo
colaborativo 816, pero en este grupo slo han participado tres integrantes. A
Hilder se le ha generado una confusin por la seleccin de aportes establecida por
Pablo, Jaime y Miguel; para aclarar cual operacin entre conjuntos escogi cada
uno de ellos, hace el siguiente anlisis: Pablo selecciona la operacin de unin
entre conjuntos, si Jaime selecciona la interseccin de conjuntos. Miguel
seleccionar la operacin de diferencia de conjuntos o Pablo no seleccionar la
unin entre conjuntos. O Jaime no selecciona la operacin de interseccin entre
conjuntos o Miguel no ha seleccionado la operacin de diferencia entre conjuntos.
Por consiguiente, Jaime no seleccion la interseccin entre conjuntos. Es
correcto este anlisis?

R: TAUTOLOGA. Si es correcto este anlisis.

p: Pablo operacin de unin entre conjuntos

q: Jaime interseccin de conjuntos
r: Miguel operacin de diferencia de conjuntos

((q p) & (r v ~p)) & (~q v ~r)

q

~q

&

r v ~ p

&

~ q v ~ r

~ q

V V V

V V F V

F V F F V

V F V

V V V

F F F V

F V V V F

V F V

F V V

V V F V

V F V F V

V V F

F V V

F F F V

V F V V F

V V F

V F F

V V V F

F V F F V

V F V

V F F

F V V F

F V V V F

V F V

F V F

V V V F

V F V F V

V V F

F V F

F V V F

V F V V F

V V F

3 actividades
Algunos docentes en Licenciatura son de la Universidad UNAD.
Todos los docentes de Matemticas son de la Universidad UNAD.
Algunos docentes de Matemticas no son docentes en Licenciatura.

D.L: Docente licencia

U.N: universidad UNAD
D.M: Docente matemtica

D.L

D.
M

U.N

U.N

10

U.N

D.L
X

D.M