MATEMÁTICA I EFG

TABLAS DE VERDAD
Conectivos lógicos.- La construcción de proposiciones compuestas requiere del uso de elementos que
permitan establecer una relación entre las proposiciones que la forman; estos elementos se conocen como
conectivas lógicas.

Tablas de Verdad de los conectivos lógicos: Sean p y q dos proposiciones

p q pq pVq pq pq pq ~p

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

F F F F F V V V

 El número de arreglos se define como sigue: , donde n es el número de variables

proposicionales.
 Entonces, .
Ejemplos: Hallar la tabla de verdad de la siguiente formula lógica.

p q

V V F V V V V F V F

V F V V V F F V F F

F V F F V V V F V V

F F V F F F F V V V

b)

p q r

V V V V V V V V V V V V V V

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

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

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

1
MATEMÁTICA I EFG
F V V F V V V V V V V F V V

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

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

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

Clasificación de las fórmulas compuestas por su matriz principal

1. Formulas compuestas Tautológicas (Tautología).- Son aquellas donde los valores de su
matriz principal son todos verdaderos.
p q
V V V V V F F V F
V F V F F F V V F
F V F V V F F V V
F F F V F V V V V

2. Formulas compuestas Contradictorias (Contradicciones).- Son aquellas donde todos los

valores de su matriz principal son todos falsos.
p q
V V F V V V V V F F F
V F F V F F V F V V F
F V F F F V V F F V V
F F F F F F V F V V V

3. Formulas compuestas Contingentes (Contingencias).- Son aquellos donde algunos de los

valores de su matriz principal son verdaderos y algunos son falsos.
p q

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

Implicación y Equivalencias de Fórmulas

Implicación de Fórmulas
 A toda proposición condicional p →q que sea tautología le llamaremos implicación lógica.

2
 p q

MATEMÁTICA I V V F V V F F V F EFG
V F F F F F V V F
 A toda bicondicional p ↔q que sea tautología se
F V V V V F F V V
le llama Equivalencia Lógica.
F F V V F V V V V
p q

V V V V V V V V V

V F V V V V F V V

F V F F F V V V F

F F F F F F F V F

Proposiciones Lógicamente Equivalentes.- Cuando sus tablas de verdad de dos proposiciones p y q

son idénticos se denominan equivalentes y se simboliza como .
Ejemplos

1.

p q
V V V F V F
V F F V F F

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

2.

p q
V V F V F F F
V F F V V F F

F V F V F F V
F F V F V V V
Teorema: La proposición condicional p → q y su contrarrecíproca ~q →~p son lógicamente equivalentes.
p q
V V V F V F
V F F V F F
F V V F V V
F F V V V V

3.

3
MATEMÁTICA I EFG

p q
V V V F V V
V F F F F F
F V V V V V
F F V V V F

LEYES DE EQUIVALENCIAS NOTABLES

Existen varias equivalencias entre fórmulas de la lógica proposicional, las cuales se conocen como leyes
de equivalencia.

Donde T: tautología F: Contradicción

EJERCICIOS PROPUESTOS II
Nombre: Saico Barrientos Marilin Brineth
Construir las tablas de verdad de las Leyes de Equivalencias Notables y verificar o probar cada
equivalencia.

4
MATEMÁTICA I EFG
1. Ley del tercio excluido

V V V F

F F V V

2. Definición de la doble implicación

↔ ≡ ( → ) ∧ ( → ) 2 = 22 = 4
p q
V V V V V V V V V V
V F F V F F F F V V
F V F F V V F V F F
F F V F V F V F V F

3. Leyes asociativas

p q r

V V V V V V V V V V V V V

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

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

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

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

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

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

F F F F F F F F F F F F F

4. Leyes de Morgan

~( ∨ ) ≡ ~ ∧ ~

2 = 22 = 4
p q

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

5
MATEMÁTICA I EFG
F V F F V V V F F

F F V F F F V V V

5. Leyes de idempotencia

P
V V V V
F F F F

EJERCICIOS RESUELTOS POR EL ESTUDIANTE:

6
MATEMÁTICA I EFG

7
MATEMÁTICA I EFG

F F