Universidad Metropolitana Castro Carazo

Ingeniera en Informtica
Tablas de la Verdad

2015

TABLAS DE VERDAD
Negacin de una proposicin p es la proposicin p (no p), obtenida
anteponiendo el adverbio no a la primera. Su tabla de verdad es:
p
V
F

p
F
V

Disyuncin de las proposiciones p y q, es la proposicin compuesta p q

que se obtiene unindolas en el orden dado, mediante el conectivo o en
sentido incluyente. Ejemplo: Dadas las proposiciones: p: Juan canta q: Juan
baila La disyuncin de ambas es. p q: Juan canta o baila El sentido lgico
establece que p q, es verdadera cuando por lo menos una de las
proposiciones es verdadera. Su tabla de verdad es:
p
V
V
F
F

q
V
F
V
F

p q
V
V
V
F

Conjuncin de las proposiciones p y q, es la proposicin compuesta p q

que se obtiene unindolas, en el orden dado, mediante el conectivo y.
Ejemplo dadas las proposiciones: p: Juan canta q: Juan baila La conjuncin
de ambas es: p q: Juan canta y baila Considerando el razonamiento lgico
se deduce que p q es verdadera slo cuando ambas proposiciones son
verdaderas. Su tabla de verdad es:
p
V
V
F
F

q
V
F
V
F

p q
V
F
F
F

Condicional o Implicacin de las proposiciones p y q es la proposicin

compuesta p q, anteponiendo a la primera proposicin la palabra Si, y
uniendo ambas mediante la palabra entonces. En este caso las proposiciones
p y q reciben el nombre de antecedente y consecuente respectivamente.
Dadas las proposiciones: p: a y b son nmeros pares q: la suma entre a y b
es un nmero par La implicacin entre ambas es: p q: Si a y b son nmeros
pares, entonces la suma entre a y b es un nmero par. La tabla de verdad
correspondiente para esta proposicin, tiene la siguiente estructura:
p

Prof: Lic. Yann Chavarra Herrera

p q

Universidad Metropolitana Castro Carazo

Ingeniera en Informtica
Tablas de la Verdad
V
V
F
F

V
F
V
F

2015
V
F
V
V

Bicondicional o Equivalencia de las proposiciones p y q, es la proposicin

compuesta p q, obtenida unindolas mediante el conectivo equivalente,
que corresponde a la doble implicacin o bicondicional [(p q) (q p)]. Su
tabla de verdad tiene la siguiente estructura:
p
V
V
F
F

q
V
F
V
F

p q
V
F
V
V

q p
V
V
F
V

p q
V
F
F
V

Luego, el bicondicional es verdadero slo cuando las dos proposiciones simples

tienen el mismo valor de verdad.
Tautologas, contradicciones y contingencias
a) Tautologa es una proposicin compuesta que siempre es verdadera (V)
cualquiera que sea el valor de verdad de sus componentes.
b) Contradiccin es una proposicin compuesta que siempre es falsa (F)
cualquiera que sea el valor de verdad de las componentes.
c) Contingencia es una proposicin compuesta que en algunos casos es
verdadera y en otros es falsa.
PRCTICA
1.
2.
3.
4.
5.
6.
7.
8.
9.

(p v p) p
p (p v q)
(p v q) (q v p)
(p q) [(r v p) (r v q)]
(p p) q
( p V q) ( q V p)
(P Q) R
(P Q) V Q
(P V Q) P Q
10. (r v p) V p r

Prof: Lic. Yann Chavarra Herrera