LÓGICA II – LÓGICA MATEMÁTICA

LICENCIATURA EN SISTEMAS DE INFORMACIÓN

LICENCIATURA EN MATEMÁTICA

Dr. Budán Maximiliano C. D.

Prof. Villarreal Ximena N.
Lic. Arias Sonia

UNSE - Argentina
Sistemas Axiomáticos
 Sistema Axiomático
Un sistema formal o sistema lógico es un sistema abstracto compuesto por
un lenguaje formal, axiomas, reglas de inferencia y a veces una semántica
formal, que se utiliza para deducir o demostrar teoremas y dar una definición
rigurosa del concepto de demostración.

Esquemas
de Axiomas
Axiomas

Sintaxis Reglas de
Inferencia
Teorías

Hipótesis
 Fórmulas del Sistema 

Existen
probablemente Fórmulas Bien
F.B.Fs Formadas
Verdaderas y
Falsas Producto del
mecanismo
Fórmulas
axiomático del
Deducibles sistema. Son
y Teoremas F.B.Fs
Verdaderás

Axiomas
Son F.B.Fs
Verdaderás
 Semántica del Sistema 
La teoría semántica del cálculo de predicados, se construye no en base a la
inscripción de las fórmulas o estructura deductiva en un determinado armazón formal,
sino en base a las atribuciones de significado correspondiente a las fórmulas.
Los elementos en que se basa la descripción del sistema con este planteamiento son:
a) Un conjunto de significados atribuibles a los enunciados.
b) Un dominio de referencia.
c) Una relación n-aria entre elementos del dominio.
d) Una función n-aria definida entre elementos del dominio.
e) Una definición semántica de conectivas.
f) Una definición semántica de cuantificadores.
g) Una definición semántica de deducción correcta.
Semántica del Sistema  : Semántica del Sistema  : Conjunto de Significado

El conjunto de significados con que se valora el contenido de información de un

enunciado está constituido por:

V para simbolizar el significado «verdadero»

F para simbolizar el significado «falso»

Denominados valores de verdad de un enunciado.

 Semántica del Sistema  : Dominio de Referencia

Este conjunto debe ser no vacío y se utiliza para interpretar las letras de términos, es
decir, las constantes, variables y funciones. Por ejemplo:

 = {a, b, c}
 = {1, 2, 3,4}

A las letras de constantes se les asigna un elemento concreto del dominio, a las letras
de variables puede asignársele cualquier elemento del dominio. Y con respecto a las letras
de función se explica más adelante (Funciones de n-variables).
 Semántica del Sistema  : Letras de Predicados - Relación n-aria

A cada letra de predicado se asigna una relación n-aria, entre el conjunto de referencia  y el
conjunto de significados { V , F}. Así, elementos que cumplen la relación se le asigna el valor
V, y el valor F en caso contrario. Por ejemplo, si en una fórmula aparece la letra de predicado
𝐴12 (𝑥1 , 𝑥2 ) y el dominio de referencia es  = {a, b, c} , una posible interpretación de 𝐴12 , sería
la siguiente tabla: 𝑥1 𝑥2 𝐴12 (𝑥1 , 𝑥2 )
a a V
a b V
a c F
b a F
b b V
b c F
c a F
c b V
c c F
 Semántica del Sistema  : Letras de Función- Función n-aria

En fórmulas que incluyan letras de función, a cada letra de función de n variables se le

asigna una aplicación concreta  n →  de todas las posibles. Así, por ejemplo, la
función 𝑓11 (𝑥1 )en el dominio  = {a, b, c}, podría interpretarse por la función definida
por la tabla:

𝑥1 𝑓11 (𝑥1 )

a a

b a

c b
 Semántica del Sistema  : Definición Semántica de Conectivas

Se utilizan tablas de relación entre significados de los enunciados

componentes y la compuesta por cada conectiva; estas tablas se
denominan tablas de verdad.

A C AC
V V V
V F F
A ~A
F V V
V F
F V F F V

Negación Condicional
Semántica del Sistema  : Definición Semántica de Cuantificadores

A una fórmula cuantificada universalmente, respecto de la variable x, se

asignará el significado V si, para cualquier elemento del dominio asignado a x,
la fórmula es verdadera. Se asignará F, en caso contrario.
 Semántica del Sistema  : Definición Semántica de Deducción Correcta

Dada una estructura deductiva: P1, P2, P3,…., Pn ⇒ Q. Se define como correcta, cuando
no existe ninguna interpretación que simultáneamente haga P1, P2, P3,…., Pn
verdaderos y Q falso. Es decir, que de premisas verdaderas se deduzca una conclusión
falsa. Luego, todo modelo de las premisas es modelo de la conclusión.
 Semántica del Sistema  : Definición Semántica de Deducción Correcta
➢ Una interpretación que satisface una fórmula se llama modelo de la fórmula.

➢ Una fórmula es satisfacible si existe alguna interpretación que la verifica (es decir, la
fórmula tiene al menos un modelo).

➢ Una fórmula es válida en un dominio si cualquier interpretación que pueda plantearse

en ese dominio satisface la fórmula.

➢ Una fórmula es semánticamente válida, cuando es válida en cualquier dominio.

IMPORTANTE: La comprobación de validez semántica, sencilla en el cálculo proposicional

no lo es tanto en el cálculo de predicados, ya que exigiría la interpretación de la fórmula
en todos los dominios posibles. Sin embargo, para comprobar que una fórmula no es
válida basta encontrar una interpretación que no satisfaga la fórmula.
 Análisis Semántico
(𝑥1 , 𝑥2 ) (𝐴12 (𝑥1 , 𝑥2 )  𝐴12 (𝑥1 ) ) sabiendo que D = {1,2,3}

𝐴12 (𝑥1 , 𝑥2 ) : 𝑥1 es mayor igual que 𝑥2 𝐴12 (𝑥1 ) : 𝑥1 es par

𝑥1 𝑥2 𝐴12 (𝑥1 , 𝑥2 )

1 1 V

1 2 F

1 3 F

2 1 V

2 2 V

2 3 F

3 1 F

3 2 F

3 3 V
 Análisis Semántico
(𝑥1 , 𝑥2 ) (𝐴12 (𝑥1 , 𝑥2 )  𝐴12 (𝑥1 ) ) sabiendo que D = {1,2,3}

𝐴12 (𝑥1 , 𝑥2 ) : 𝑥1 es mayor igual que 𝑥2 𝐴12 (𝑥1 ) : 𝑥1 es par

𝑥1 𝑥2 𝐴12 (𝑥1 , 𝑥2 ) 𝑥1 𝐴12 (𝑥1 )

1 1 V
1 F
1 2 F

F 2 V
1 3
2 1 V 3 F

2 2 V

2 3 F

3 1 F

3 2 F

3 3 V
 Análisis Semántico
(𝑥1 , 𝑥2 ) (𝐴12 (𝑥1 , 𝑥2 )  𝐴12 (𝑥1 ) ) sabiendo que D = {1,2,3}

𝐴12 (𝑥1 , 𝑥2 ) : 𝑥1 es mayor igual que 𝑥2 𝐴12 (𝑥1 ) : 𝑥1 es par

𝑥1 𝑥2 𝐴12 (𝑥1 , 𝑥2 ) 𝑥1 𝐴12 (𝑥1 ) (x1 , x2 ) (A1 (x1 , x2 )
2
 A12 (x1 ))

1 1 V V
1 F F
1 2 F
2 V F
1 3 F
V
2 1 V 3 F
V
2 2 V
F
2 3 F F

3 1 F F

F V
3 2
3 3 V
 Análisis Semántico
(𝑥1 , 𝑥2 ) (𝐴12 (𝑥1 , 𝑥2 )  𝐴12 (𝑥1 ) ) sabiendo que D = {1,2,3}

𝐴12 (𝑥1 , 𝑥2 ) : 𝑥1 es mayor igual que 𝑥2 𝐴12 (𝑥1 ) : 𝑥1 es par

𝑥1 𝑥2 𝐴12 (𝑥1 , 𝑥2 ) 𝑥1 𝐴12 (𝑥1 ) (x1 , x2 ) (A1 (x1 , x2 )
2
 A12 (x1 ))

1 1 V V F
1 F F F
1 2 F
2 V F F
1 3 F
V V
2 1 V 3 F
V V
2 2 V
F V
2 3 F F F

3 1 F F F

F V F
3 2
3 3 V
 Análisis Semántico
(𝑥1 , 𝑥2 ) (𝐴12 (𝑥1 , 𝑥2 )  𝐴12 (𝑥1 ) ) sabiendo que D = {1,2,3}

𝐴12 (𝑥1 , 𝑥2 ) : 𝑥1 es mayor igual que 𝑥2 𝐴12 (𝑥1 ) : 𝑥1 es par

𝑥1 𝑥2 𝐴12 (𝑥1 , 𝑥2 ) 𝑥1 𝐴12 (𝑥1 ) (x1 , x2 ) (A1 (x1 , x2 )
2
 A12 (x1 ))

1 1 V V F F
1 F F V F
1 2 F
2 V F V F
1 3 F
V V V
2 1 V 3 F
V V V
2 2 V
F V V
2 3 F F V F

3 1 F F V F

F V F F
3 2
3 3 V
 Análisis Semántico
(𝑥1 , 𝑥2 ) (𝐴12 (𝑥1 , 𝑥2 )  𝐴12 (𝑥1 ) ) sabiendo que D = {1,2,3}

𝐴12 (𝑥1 , 𝑥2 ) : 𝑥1 es mayor igual que 𝑥2 𝐴12 (𝑥1 ) : 𝑥1 es par

𝑥1 𝑥2 𝐴12 (𝑥1 , 𝑥2 ) 𝑥1 𝐴12 (𝑥1 ) (x1 , x2 ) (A1 (x1 , x2 )
2
 A12 (x1 ))

1 1 V F V F F
1 F F V F
1 2 F
2 V F V F
1 3 F
V V V
2 1 V 3 F
V V V
2 2 V
F V V
2 3 F F V F

3 1 F F V F

F V F F
3 2
3 3 V
 Análisis Semántico
(𝑥1 , 𝑥2 ) (𝐴12 (𝑥1 , 𝑥2 )  𝐴12 (𝑥1 ) ) sabiendo que D = {1,2,3}

(x1 , x2 ) (A1 (x1 , x2 )

2
 A12 (x1 ))
Interpretación F V F F Satisfacible
F V F
F V F
V V V
V V V
F V V
Modelo
F V F
F V F
V F F
Fin de la Clase