Lógica Matemática Dr.

Francisco Javier Delgado Benites

TABLAS DE VERDAD

La verdad y la falsedad de una proposición se denominan VALIDEZ (o su valor de

verdad). La validez de la conjunción, de la disyunción, de la condicional, de la
bicondicional y de la negación, puede representarse en TABLAS.
En consecuencia, dadas dos o más proposiciones simples cuyos valores de verdad son
conocidos, el VALOR DE VERDAD de una PROPOSICION COMPUESTA depende
de la verdad de cada uno de las proposiciones componentes y se determina mediante
TABLAS DE VERDAD.

PARTES DE UNA TABLA DE VERDAD

Parte superior

p q p ^ q

V V

V F

F V

F F

Arreglo del margen Matriz Principal

CONECTIVOS LÓGICOS
Los conectivos lógicos llamado también operador lógico o conectores lógicos, nos
permiten definir operaciones con proposiciones. Son símbolos que enlazan dos o más
proposiciones simples para formar una proposición compuesta.
A continuación hay una tabla que despliega todos los conectivos lógicos que ocupan a
la lógica proposicional, incluyendo ejemplos de su uso en el lenguaje natural y los
símbolos que se utilizan para representarlas en lenguaje formal.

Expresión en el Símbolos
Conectiva Ejemplo
lenguaje natural
Negación no No está lloviendo. ~
Conjunción y Está lloviendo y está nublado. ^
Disyunción o Está lloviendo o está soleado. ۷
Si está soleado, entonces es
Condicional material si... entonces →
de día.
Está nublado si y sólo si hay
Bicondicional si y sólo si ↔
nubes visibles.
Disyunción o bien... o bien O bien está soleado, o 
Lógica Matemática Dr. Francisco Javier Delgado Benites

excluyente bien está nublado.

PROPOSICIONES COMPUESTAS BÁSICAS

1. LA NEGACIÓN (~)………………NO

p ~p

V F

F V

2. LA CONJUNCIÓN (۸)…………….Y

P q p ^q

V V V

V F F

F V F

F F F

3. LA DISYUNCIÓN (۷)………………O

P q p ۷q

V V V

V F V

F V V

F F F

4. LA CONDICIONAL (→)……………. SI, ENTONCES

p q p →q

V V V

V F F

F V V

F F V
Lógica Matemática Dr. Francisco Javier Delgado Benites

5. LA BICONDICIONAL (↔)………….. SI Y SOLAMENTE SI

p q p ↔q

V V V

V F F

F V F

F F V

6. LA DISYUNCION EXCLUSIVA (). Llamado también DIFERENCIA

SIMÉTRICA

p q p q

V V F

V F V

F V V

F F F

Ejemplo:

p q (~p ۷ q) ^ ~q
V V
V F
F V
F F

PROPOSICIONES LÓGICAMENTE EQUIVALENTES

Dos proposiciones p y q se llaman equivalentes si sus tablas de verdad son idénticas. De
ser así se denota: p  q

Ejemplo.
Sea p: p → q, recordamos su tabla de verdad

p q p → q
Lógica Matemática Dr. Francisco Javier Delgado Benites

V V V
V F F
F V V
F F V

Ahora bien, si analizamos la proposición q: ~p  q, su tabla de verdad resulta:

p q ~p  q

V V V
V F F
F V V
F F V

Como vemos, luego de realizar las tablas de valor veritativo encontramos que ambas
proposiciones tienen el mismo resultado final. Con esto, decimos que ambas
proposiciones son lógicamente equivalentes, y en este caso particular lo simbolizamos:

(p → q)  (~p  q)

TAUTOLOGÍA, CONTRADICCIÓN Y CONTINGENCIA

Al conjunto de proposiciones, conectivos lógicos y símbolos de agrupación lo

denominamos fórmula lógica. Por ejemplo:

~{ (p → q)  (s  t) }

TAUTOLOGÍA
Si al evaluar una fórmula lógica, resulta que todos los valores de verdad resultantes son
siempre V para cualquier combinación de sus valores veritativos, decimos que dicha
fórmula es una Tautología o Ley lógica.

Ejemplo.

Si analizamos la proposición t: p  ~p realizando su tabla de verdad:

p ~p p  ~p

V F V
F V V
Lógica Matemática Dr. Francisco Javier Delgado Benites

Vemos que para cualquier combinación de las proposiciones p y su negación ~p, la

proposición t: p  ~p es siempre verdadera. Entonces, la proposición t es una tautología.

Ejemplo.
Analicemos ahora la fórmula lógica
{(p→q)p}→q

p q p→q q→p {(p→q)p}→q

V V V V V
V F F F V
F V V F V
F F V F V

En este caso comprobamos también que independientemente de la combinación de

valores de verdad de las proposiciones p y q, el resultado de la fórmula lógica es
siempre V. Decimos, aquí también, que esta fórmula es una tautología o ley lógica.

CONTRADICCIÓN
Si al estudiar una fórmula lógica, a diferencia de los ejemplos anteriores resulta que
para cualquier valor de verdad de las proposiciones intervinientes el resultado de dicha
fórmula es siempre falso, decimos que dicha fórmula es una Contradicción.

Ejemplo
Analicemos la fórmula lógica p  ~p

p ~p p  ~p

V F F
F V F

CONTINGENCIA
Encontramos que la fórmula es siempre falsa, es entonces una Contradicción.
Si una proposición no es una tautología ni una contradicción (es decir que contiene al
menos un valor V y otro F) es una contingencia.

p q p→q (p  ~q) ~(p  ~q) p → q ↔ ~(p  ~q)

V V V F V V
V F F V F V
F V V F V V
F F V F V V