UNIVERSIDAD JOS ANTONIO PEZ

ASIGNATURA: LGICA
PROFESOR: JORGE GUTIRREZ
UNIDAD II
TABLAS DE LA VERDAD

Una tabla de verdad de una proposicin compuesta P formada por las proposiciones
,,

enumera TODAS las combinaciones posibles de los valores de verdad de

,
,,

donde V indica valor de verdad verdadero y F indica valor de verdad falso, de modo que para
cada una de estas combinaciones se indica el valor de verdad de P. La tabla de verdad posee
filas, siendo n el nmero de proposiciones simples que componen a P.
Conjuncin
Sean p y q dos proposiciones. Entonces la proposicin pq se denomina conjuncin de p y q. La
proposicin p q posee valor de verdad verdadero si y slo si tanto p como q poseen valor de
verdad verdadero.
Tabla de la verdad para la Conjuncin
p

pq

Disyuncin
Sean p y q dos proposiciones. Entonces la proposicin p q se denomina disyuncin de p y q. El
conector se lee o. Por lo tanto p q se lee p o q. La proposicin p q posee valor de verdad
falso si y slo si tanto p como q poseen valor de verdad falso simultneamente.
Tabla de la verdad para la Disyuncin inclusiva
p

Cuando es el caso de una disyuncin exclusiva entre dos proposiciones p y q, el valor de verdad
ser verdadero cuando una de las proposiciones sea verdadera, de lo contrario ser falso. La tabla

sera la siguiente:
Tabla de la verdad para la Disyuncin exclusiva
p

Negacin
La negacin de una proposicin p, cuyosmbolo es -p , debe tener el valor de verdad opuesto al
valor de p original.
Tabla de la verdad para la negacin
p

-p

Condicional
La proposicin p q posee valor de verdad falso si y slo si, p es verdadera y q es falsa,en
cualquier otro caso p q es verdadera. La proposicin p recibe el nombre de ANTECEDENTE
(CONDICION SUFICIENTE) y q recibe el nombre de CONSECUENTE (CONDICION NECESARIA).
Tabla de la verdad para el condicional
p

pq

Bicondicional
La proposicin p q posee valor de verdad verdadero si y slo si tanto p como q poseen el
mismo valor de verdad.

Tabla de la verdad para el bicondicional

p

pq

Ejercicios propuestos.
1. Elabora una tabla de verdad para cada una de las siguientes proposiciones:
-