LÓGICA Y

ARGUMENTACIÓN

2.2 SEMÁNTICA DE LP
TABLAS DE VERDAD
 CONSIDERACIONES GENERALES

 La semántica es el terreno de la interpretación.

 En lenguajes lógicos simbólicos, la interpretación

consiste en determinar las condiciones bajo las
cuales una fbf es verdadera o falsa.

 Significado lógico es valor de verdad.

 PRINCIPIOS LÓGICOS QUE RIGEN LA
SEMÁNTICA DE LA LÓGICA ESTÁNDAR

1. PRINCIPIO DE IDENTIDAD
Toda proposición se implica a sí misma.
pp
2. PRINCIPIO DE TERCIO EXCLUIDO
Una proposición es verdadera o falsa y no cabe
una tercera opción.
pp
3. PRINCIPIO DE NO CONTRADICCIÓN
Es imposible que una proposición sea
verdadera o falsa al mismo tiempo y en el mismo
sentido.
(pp)
TABLAS DE VERDAD

 Constituyen un método decisorio,

para determinar las condiciones en
que una fbf es verdadera o falsa.

 Para usarlas, debemos conocer la

interpretación de cada operador.
 TABLAS DE VERDAD
FÓRMULA
VARIABLES
DE LA p q r p(qr)
FÓRMULA
V V V V V
V V F F F
V F V F F
LÍNEAS DE LA V F F F F
TABLA
F V V V V
EPM
(ESTADOS
F V F V F
POSIBLES DEL F F V V F
MUNDOS) MATRIZ
F F F V F PRINCIPAL
¿CÓMO SE GENERAN LAS LÍNEAS DE LA TV
O EPM?
CON UNA PROPOSICIÓN SIMPLE
TENDREMOS:

p
EPM 1 V
EPM 2 F
¿CÓMO SE GENERAN LAS LÍNEAS DE LA TV?
CON DOS PROPOSICIONES SIMPLES
TENDREMOS:

p q
EPM 1 V V
EPM 2 V F
EPM 3 F V
EPM 4 F F
¿CÓMO SE GENERAN LAS LÍNEAS DE LA TV?
CON TRES PROPOSICIONES SIMPLES
TENDREMOS:

p q r
EPM 1 V V V
EPM 2 V V F
EPM 3 V F V
EPM 4 V F F
EPM 5 F V V
EPM 6 F V F
EPM 7 F F V
EPM 8 F F F
 ESTADOS POSIBLES DEL MUNDO
(EPM)

 Son las líneas de la tabla de verdad.

 Su número depende del número de

variables de la fórmula.

 Así: 2n, donde n= número de variables.

TABLAS DE LOS OPERADORES

NEGACIÓN

p p
V F
F V
La proposición negativa es falsa si y solo
si la proposición es verdadera y, es
verdadera si y solo si la proposición es falsa.
TABLAS DE LOS OPERADORES

CONJUNCIÓN

p q pq
V V V
Una proposición
V F F conjuntiva es verdadera
si y solo si ambas
proposiciones son
F V F verdaderas también. En
cualquier otro caso es
falsa.
F F F
TABLAS DE LOS OPERADORES

DISYUNCIÓN

p q pq
V V V
Una proposición
V F V disyuntiva es falsa si y
solo si ambas
proposiciones son falsas
F V V también. En cualquier
otro caso es verdadera.

F F F
TABLAS DE LOS OPERADORES

CONDICIONAL
Antecedente Consecuente

p q pq
V V V
V F F Una proposición condicional
es falsa si y solo si la
proposición antecedente es
F V V verdadera y la proposición
consecuente es falsa. En
cualquier otro caso es
F F V verdadera.
TABLAS DE LOS OPERADORES

BICONDICIONAL

p q pq
V V V
V F F La proposición bicondicional
es verdadera si y solo si las
proposiciones tienen el
F V F mismo valor, esto es, cuando
ambas son verdaderas y
cuando ambas son falsas. En
F F V cualquier otro caso es falsa.
EN RESUMEN:

TABLAS DE VERDAD ELEMENTALES:

A B AB AB AB AB A ~A

V V V V V V V F
V F F V F F F V
F V F V V F
F
F F F F V V
EJEMPLO
1 3 2
p q r (pq)(rp)
V V V V V V

V V F V V V

V F V F V V

V F F F V V

F V V F V V

F V F F V F

F F V F V V FÓRMULA
F F F F V F TAUTOLÓGICA
EJEMPLO 2 1 6 4 3 5
p q r  p  ( q  r)    ( q   r )  p 
V V V V V F F F F
V V F F F F V V V
V F V F F F V F V
V F F F F F V V V
F V V V V F F F F
F V F V F F V V F
F F V V F F V F F
F F F V F F V V F
FÓRMULA
CONTRADICTORIA
EJEMPLOS
p q r (qp) r
V V V V F F
V V F V V V
V F V V F F
V F F V V V
F V V V F F
F V F V V V
F F V F V F
F F F F V V
FÓRMULA CONTINGENTE
 Tabla de verdad para fbf con 4 variables
2 1 5 3 4
p q r s
V V V V F V F V V V
. V V V F F V F F V V
. V V F V F V F V V V
. V V F F F V F F V V
V F V V F V F F V V
V F V F F V F F V V
V F F V F V F F V V
V F F F F V F F V V
F V V V F V V V F F
F V V F F V F F V F
F V F V V F F V F F
F V F F V F V F V F
. F F V V F V F F V F
.. F F V F F V F F V F
FÓRMULA
. F F F V V F V F V F
F CONTINGENTE
F F F F V V F V F
 TIPOS DE FÓRMULA SEGÚN SU
TABLA DE VERDAD
 TAUTOLOGÍAS
• Verdades formales; fórmulas verdaderas en
todo EPM.

 CONTRADICCIONES
• Fórmulas falsas en todo EPM.

 CONTINGENCIAS
• Fórmulas verdaderas en algunos EPM y
falsas en otros.
BIBLIOGRAFÍA

• Rosales, D. (1999) Introducción a la Lógica.

3ra. ed. Lima: Monterrico. Editorial Amaru.

• Trelles, O. y Rosales, D. (2000) Introducción

a la Lógica. 2da. ed. Lima: Pontificia
Universidad Católica del Perú.