¿Qué es la lógica?

:
La lógica es la ciencia que estudia el razonamiento, pero no desde una perspectiva
psicológica, sino que estudia el producto o resultado de la actividad de razonar.
La lógica se limita a presentar formalizadamente las leyes a las que la mente humana
se atiene cuando se aplica a razonar.
¿De qué trata la lógica?: La lógica investiga la relación de consecuencia que se da
entre una serie de premisas y la conclusión de un argumento correcto. Se dice que un
argumento es correcto (válido) si su conclusión se sigue o es consecuencia de sus
premisas; de otro modo es incorrecto.

Argumento: Por argumento entendemos un sistema de enunciados, de un lenguaje

determinado. Uno de esos enunciados es designado como la conclusión y el resto como
las premisas.

Enunciado: Un enunciado se define como una expresión lingüística que establece un

pensamiento completo. Los enunciados se pueden clasificar en interrogativos,
imperativos y declarativos.
Enunciado declarativo: Los enunciados declarativos son aquellos sobre los que
podemos afirmar sus verdad o falsedad o, más generalmente, aquellos enunciados a
los que se puede asignar un valor de verdad.

Corrección: Un argumento es correcto si y solamente si no es posible que sus premisas

sean verdaderas y su conclusión falsa.

Consecuencia lógica: un enunciado es consecuencia lógica de un conjunto de

premisas si y solamente si, sean cuales sean las circunstancias concebibles, el
enunciado es verdadero siempre que las premisas sean verdaderas.
Lo único que garantiza esta definición es que si las premisas son verdaderas la conclusión también es verdadera.

Enunciado analítico: Un enunciado es analítico si y solamente si no puede ser falso.

Son verdaderos en todos los mundos posibles. (Verdades de razón).
Enunciado sintético: Un enunciado es sintético si solo es verdadero para el mundo
actual. (Verdades contingentes).

Conexión entre analiticidad y corrección: Dado un argumento con una serie finita de
premisas:
A1, A2 , … An ∆ C
decimos que es correcto si y solamente si el enunciado:
Si A1 y A2 y… y An entonces C
es analítico.
Lógica proposicional: Se ocupa de enunciados declarativos simples o proposiciones
que se contemplan como un todo indivisible y que pueden ser combinados mediante
partículas lógicas denominadas conectores.
También denominada lógica de enunciados o lógica de conectores.

Lógica de predicados: En ella las proposiciones ya no son elementos indivisibles. Se

realiza un análisis más detallado que toma como base los componentes de una
proposición: términos, fórmulas atómicas, cuantificadores y conectores.
También se denomina lógica de primer orden o lógica cuantificacional.

Sintáctica: Consiste en una definición (posiblemente axiomática) de una serie de

estructuras deductivas correctas y de reglas para obtener nuevas estructuras deductivas
correctas a partir de aquéllas. La idea es establecer la relación de consecuencia lógica
entre la conclusión y las premisas.

Semántica: Consiste en definir de forma precisa reglas para asignar significado y

evaluar los enunciados y expresiones sintácticas. La idea es establecer la relación de
consecuencia lógica a partir de los significados de las premisas y la conclusión.

La lógica puede dividirse en dos partes claramente diferenciadas:

Sintaxis: Que estudia los sistemas formales, es decir, los lenguajes formales, los
cálculos deductivos y las propiedades asociadas a ellos.
Semántica: Que estudia la asignación de significado a los formalismos.
Lógica de Proposiciones

Conectores: Son las partículas que hacen de nexo de unión entre los enunciados
simples.

Las letras minúsculas p, q, r, … serán las variables de enunciado que designan

enunciados simples arbitrarios no especificados. Son nombradas letras enunciativas, o
también letras proposicionales. Para simbolizar enunciados compuestos introducimos
símbolos para las conectivas:
1. Negación (¬). La forma enunciativa ‘¬p’ permite simbolizar un enunciado, a partir
de otro cualquiera p, del tipo: ‘no p’; ‘no es cierto que p’; ‘no es el caso que p’;
‘es falso que p’. En ocasiones también simboliza enunciados como ‘excepto p’.
2. Conjunción (˄). La forma enunciativa ‘p y q’, simboliza enunciados del lenguaje
natural de la forma: ‘p y q’; ‘p pero q’; ‘p no obstante q’; ‘p sin embargo q’.
3. Disyunción (˅). La forma enunciativa ‘p v q’ simboliza enunciados de la forma:
‘p o q’; ‘al menos p o q’.
4. Condicional (→). La forma enunciativa ‘p →q’ simboliza enunciados de la forma:
‘si p entonces q’; ‘si p, q’; ‘p implica q’; ‘p sólo si q’; ‘p es suficiente para q’; ‘q si
p’; ‘q es necesario para p’; ‘q cuando quiera que p’; q siempre que p’; ‘no p a
menos que q’.
5. Bicondicional (↔). La forma enunciativa ‘p↔q’ denota enunciados de la forma:
‘p si y sólo si q’; ‘p necesario y suficiente para q’.

Formas enunciativas: Una forma enunciativa es una expresión, en la que intervienen

variables de enunciado y símbolos de conectivas, que pueden formarse utilizando las
siguientes reglas:
1. Toda letra enunciativa p, q, r … es una forma enunciativa.
2. Si A y B son formas enunciativas bien construidas, también son formas
enunciativas: (¬A), (¬B), (A˄B), (A˅B), (A→B) y (A↔B).
3. Sólo son formas enunciativas bien construidas las que cumplen las reglas 1 y 2.

Grado de una forma enunciativa: El grado de una forma enunciativa es una aplicación
del conjunto de las formas enunciativas al conjunto de los numero naturales N:
1. grado(A) = 0, si A es una letra enunciativa.
2. Si A y B son formas enunciativas:
a) Grado(¬A) = 1 + grado(A),
b) Grado(A˄B) = 1 + grado(A) + grado(B),
c) Grado(A˅B) = 1 + grado(A) + grado(B),
d) Grado(A→B) = 1 + grado(A) + grado(B),
e) Grado(A↔B) = 1 + grado(A) + grado(B).

Principio de bivalencia: Todo enunciado es verdadero o es falso, pero no ambas

cosas a la vez.
Negación
Se invierte el valor inicial de la variable o la expresión.
p ¬p
V F
F V

Conjunción
La conjunción solo se hace verdadera si el valor de p y q es verdadero.

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

Disyunción
La disyunción solo es falsa para cuando las variables p y q son ambas falsas.

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

Condicional
El condicional A→ B es verdadero, siempre que no se dé el caso de que el antecedente,
A, sea verdadero y el consecuente, B, sea falso y es falsa en el resto de los casos.
p q p→q
V V V
V F F
F V V
F F V

Bicondicional
El condicional A→B es verdadera, siempre que no se dé el caso de que el antecedente,
A, sea verdadero y el consecuente, B, sea falso y es falsa en el resto de los casos.

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

La tabla de verdad: es una tabla que determina el valor de verdad de la forma

enunciativa a partir del valor de verdad de sus variantes enunciativas.
Álgebra de Boole: El álgebra de Boole estudia las propiedades de una estructura
matemática compuesta por el conjunto {0,1} y las operaciones que puedan realizarse
con él: complementación -, suma +, y producto ·. Una variable que toma valores en el
conjunto {0,1} se denomina “variable booleana”. Las operaciones booleanas
corresponden con ¬, ˅, y ˄.
El álgebra de Boole es el modelo teórico sobre el que se fundamenta el diseño de
circuitos electrónicos.
Los operadores booleanos han sido materializados por las puertas lógicas. Las
operaciones -, +, y · suelen denominarse, habitualmente, operaciones NOT, OR, AND,
respectivamente.
Las operaciones con bits suelen extenderse a cadenas de bits (operaciones bitwise).
Otras operaciones con bits muy empleadas son las denominadas XOR, NOR, y NAND,
que se corresponden, respectivamente, con las conectivas lógicas Օ
+, ↓, y |.

Atribución veritativa: Dada una forma enunciativa A. Llamamos atribución veritativa a

una asignación, α, de valores de verdad al conjunto, {p1, p2, ... pn} de variables
enunciativas de A. Es decir, una atribución veritativa es una aplicación α:
{p1, p2, ... pn} → {V, F}

Valoración: Dada una atribución veritativa, α, una valoración es una función ϑα cuyo
dominio es el conjunto de las formas enunciativas y cuyo rango es el conjunto {V, F}, tal
que para cualesquiera formas enunciativas A y B.
1. ϑα(A) = α(A) si A es una variable enunciativa;
2. ϑα(¬A) = f¬(ϑα(A));
3. ϑα(A˄B) = f˄(ϑα(A), ϑα(B));
4. ϑα(A˅B) = f˅(ϑα(A), ϑα(B));
5. ϑα(A→B) = f→(ϑα(A), ϑα(B));
6. ϑα(A↔B) = f↔(ϑα(A), ϑα(B));

Equivalencia lógica: Dadas dos formas enunciativas, A y B, se dice que A y B son

lógicamente equivalentes, denotado A  B, si y sólo si para toda valoración ϑ,
ϑ(A)I=Iϑ(B).

Una forma enunciativa se dice que es una:

1. Tautología, si toma el valor de verdad V para toda valoración.
2. Contradicción, si toma valor de verdad F para toda valoración.
3. Contingencia, si toma el valor de verdad V para unas valoraciones y F para otras.

Decidible: Un conjunto es decidible cuando existe un procedimiento mecánico para

determinar cuáles son los elementos que le pertenecen y cuáles no. De lo contrario se
dice que es indecidible.
Explicación informal: algoritmo que nos permite saber si un enunciado es un teorema.
Un conjunto adecuado de conectivas es un conjunto tal que toda función veritativa
puede representarse por medio de una forma enunciativa en la que sólo intervienen
conectivas de ese conjunto.

Barra de Sheffer A | B  ¬(A ˄ B)

¬A  A | A
A ˄ B  ¬ (A | B)  (A | B) | (A | B)
A ˅ B  ¬A | ¬B  (A | A) | (B | B)
A → B  A | ¬B  A | (B | B)

Barra de Peirce A ↓ B  ¬(A ˅ B)

¬A  A ↓ A
A ˄ B  ¬A ↓ ¬B  (A ↓ A) ↓ (B ↓ B)
A ˅ B  ¬(A ↓ B)  (A ↓ B) ↓ (A ↓ B)
A → B  ¬(¬A ↓ B)  [(A ↓ A) ↓ B] ↓ [(A ↓ A) ↓ B]

Forma argumentativa: Una forma argumentativa es una sucesión finita de formas

enunciativas, de las cuales la última se considera la conclusión y el resto las premisas.

Forma argumentativa válida: La forma argumentativa

A1, A2 , … An ∆ A
es inválida si existe una valoración tal que A1, A2 , …, An tomen el valor de V y A toma el
valor F. En otro caso la forma argumentativa es válida.
Sistema formal: Para especificar un sistema formal S bien diseñado se requieren los
siguientes componentes:
- Un vocabulario: Un conjunto (infinito numerable) de letras y símbolos a utilizar
en S.
- Reglas que establezcan qué cadenas de signos son fórmulas bien formadas en
S.
- Un conjunto de definiciones utilizadas.
- Un conjunto de fórmulas bien formadas de S que van a utilizarse como axiomas.
- Un conjunto finito de reglas de inferencia y de reglas de construcción de una
deducción en S.
- Las condiciones necesarias y suficientes que debe reunir una deducción para
dar como resultado un teorema de S.
- Axiomas adicionales de S.

El vocabulario de un sistema forma también recibe el nombre de alfabeto, el resultado

de escribir signos del alfabeto uno a continuación de otro le llamaremos cadena de
signos de eses formalismo.

Axioma: Es una fórmula tan clara y evidente que se admite sin necesidad de
demostración y se usa en las deducciones sin necesidad de justificación previa.

Deducción: Es una sucesión de fórmulas, construida mediante reglas precisas que se

ajustan a las reglas de construcción de una deducción de un sistema S. Se pretende
que una deducción sirva para justificar la corrección de un argumento.

Metalenguaje: Es el lenguaje que se usa para hablar de un lenguaje objeto. Si

estudiamos y analizamos un lenguaje L1, así como sus propiedades, necesitamos un
lenguaje L2 para expresar los resultados de nuestro estudio sobre L1. Llamamos a L1 el
lenguaje objeto, y a L2 el metalenguaje.
El sistema formal L del cálculo de enunciados está caracterizado por:
1. Vocabulario: el conjunto de símbolos infinito numerable
{¬, →, (, ), p1, p2, p3, ...}

2. Conjunto de fbf´s: Daremos una definición inductiva:

a) p1, p2, p3… son fbf´s.
b) Si A y B son fbf´s, entonces (¬A) y (A→B) son fbf´s.
c) El conjunto de todas la fbf´s es el generado empleando solamente las
reglas (a) y (b).

3. Definiciones:
(A˄B) es abreviatura de: (¬(A→(¬B)))
(A˅B) es abreviatura de ((¬A) →B)
(A↔B) es abreviatura de: (¬((A→B)→(¬(B→A))))

4. Axiomas: Cualesquiera que sean las fbf´s A, B y C, las siguientes fbf´s son
axiomas de L

((L1) (A → (B → A))
((L2) ((A → (B → C)) → ((A → B) → (A → C)))
((L3) (((¬A) → (¬B)) → (B → A))

5. Reglas de inferencia: En L hay solamente una regla de inferencia, la regla modus

ponens (MP), que afirma: de A y (A→B) se puede inferir como consecuencia
inmediata B, siendo A y B fbf´s cualesquiera de L.

Un esquema de axiomas es una armazón en el que cada variable metalingüística

puede sustituirse por una fbf, dando lugar a una fbf que será un axioma de L.

Deducción: Sea Γ un conjunto de fbf´s de L. Una sucesión finita A1, A2, …, An de fbf´s
de L, es una deducción a partir de Γ si para todo i ϵ {1,2,….n} se cumple alguna de las
siguientes propiedades.
1. Ai es un axioma de L,
2. Ai ϵ Γ
3. Ai se infiere inmediatamente de dos miembros anteriores de la sucesión,
digamos Aj y Ak (con j < i y k < i), mediante la aplicación de la regla MP.
El último miembro An, se dice que es deducible a partir de Γ, o que es derivable a partir
de Γ, lo que denotamos por Γ ͰL An. Decimos que los elementos del conjunto Γ son las
premisas y An conclusión de la deducción.

Una demostración en L es una deducción en L sin premisas. Si la fbf A es el último

miembro de una demostración, decimos que A es un teorema de L y escribimos ͰL A.
Teorema de la deducción: Sean A y B fbf´s de L y Γ un conjunto de fórmulas de L (que
puede estar vacío). Si Γ U {A} ͰL B entonces Γ ͰL (A→B).

Recíproco del teorema de la deducción: Sean A y B fbf´s de L y Γ un conjunto de fbf´s

de L. Si Γ ͰL (A → B) entonces Γ U {A} ͰL B.

Corolario: Sean A, B y C fbf´s de L.

{ (A → B), (B → C) } ͰL (A → C).

Propiedades formales de la lógica de enunciados (Metalógica):

Una de las principales tareas de la metateoría consiste en considerar un sistema S
desde un puesto de vista global y someterlo a las siguientes preguntas:
1. ¿El sistema S es correcto? Diremos que el sistema S es correcto si todo teorema
es verdadero.
2. ¿Hay seguridad de que un sistema S está exento de contradicción? Si la
respuesta es afirmativa, diremos que el sistema S es consistente o no
contradictorio.
3. ¿El sistema S es completo? Diremos que el sistema S es completo si toda fórmula
verdadera es un teorema.
4. ¿Existe un procedimiento efectivo que permita decidir de un modo mecánico si
una fórmula es o no deducible en un sistema S? Si la respuesta es afirmativa,
diremos que el sistema S es decidible.

Corrección: Sea A una fbf de L, si ͰL entonces A es una tautología.

Consistencia: Sea Γ un conjunto de fbf´s

1. Γ es inconsistente si y sólo si cualquier fbf de L es deducible a partir de Γ.
2. Γ es consistente si y sólo si no es inconsistente. Esto es, existe alguna fbf de L
que no puede deducirse a partir de Γ.
Caracterización de la consistencia: Sea Γ un conjunto de fbf´s. Γ es consistente si y
sólo si no existe un fbf A de L que Γ ͰL A y Γ ͰL ¬A.

Completitud: Sea A una fbf de L. Si A es una tautología entonces ͰL A.

Algoritmo: Un algoritmo es un procedimiento decisorio mecánico, un conjunto de
instrucciones explícito que permite realizar una tarea de cómputo (no necesariamente
numérico), que puede usarse para encontrar la respuesta de cualquier pregunta de entre
las de una clase.

Indecidibilidad: Un sistema formal S es (recursivamente) indecidible si y sólo si, no

existe ningún algoritmo que pueda responder a preguntas de la clase:
¿Es A un teorema de S?, donde A es una fbf de S.
En caso contrario diremos que el sistema L es decidible.

Ley de Intercambio.
En el sistema L, el correlato del concepto semántico de equivalencia lógica es el
concepto de demostrablemente equivalente que introduciremos a continuación.
Def: Sean A y B fbf´s de L. A y B son demostrablemente equivalentes si y sólo si
ͰLk(A↔B).

Demostración: Una demostración es una deducción sin premisas. Si la fbf A es el último

miembro de una demostración, decimos que A es un teorema.

Sistemas de deducción natural: Son sistemas sin axiomas y sólo con reglas de
inferencia, cuya aplicación resulta más familiar y sencilla que la de los viejos sistemas
deductivos.

Deducción: Una deducción es una secuencia finita de fórmulas tales que cada una de
ellas es:
1. Un supuesto inicial o premisa o
2. Un supuesto provisional o subsidiario, que debe estar cancelado antes de la
conclusión, o
3. Una fórmula derivada de las anteriores por inferencia inmediata
La última línea de la deducción es la conclusión. Una demostración o prueba es una
deducción sin premisas

Equivalencia de dos sistemas deductivos: Que toda fbf que sea teorema en uno de
los sistemas lo sea también en el otro. Consistirá en establecer que los axiomas de L
pueden ser deducidos a partir de las reglas de inferencia de nuestro sistema de
deducción natural y viceversa.
Lógica de Predicados

Nombres y variables:
El sujeto de una oración está constituido por lo que llamaremos un designador: una o
varias palabras que hacen referencia a objetos o individuos. Hay muchas clases de
designadores, los más usuales son los nombres.
En lugar de nombres de lenguaje ordinario emplearemos las primeras letras minúsculas
del alfabeto: a, b y c (y si es necesario subíndices). Estos símbolos son las constantes.
Las variables no designan a ningún objeto o individuo en particular. Para ellas
emplearemos las últimas letras minúsculas del alfabeto: x, y, y z (si es necesario
subíndices).

Functores:
Son expresiones que seguidas de un número determinado de designadores, forman a
su vez un designador.
Un functor que requiere n designadores para formar un nuevo designador, se llama
functor n-ádico o n-ario.
En vez de functores del lenguaje ordinario, los símbolos de función: f, g, h.
Los functores pueden contener variables. Un functor que contiene variables no designa
a ningún objeto o individuo; su formalización es lo que llamaremos término abierto. Al
contrario, un functor que no contiene variables designa propiamente a un objeto o
individuo; su formalización es lo que llamaremos un término cerrado.

Relatores:
Son expresiones lingüísticas que, junto a un número apropiado de designadores forman
un enunciado.
Hablaremos de relatores n-arios, cuando se necesita de n designadores para formar un
enunciado. Los relatores monarios / unarios tradicionalmente se denominan predicados.

Generalizador:
“Cada”, “Todo” => Cuantificador Λ
Todos los hombres son mortales.  Para todo x, si x es un hombre x es mortal.
Λx (H(x) → M(x))

Particularizador:
“Alguno”, “Existe” => Cuantificador V
Existe un x, x es una animal y x es racional => Vx (A(x) ˄ R(x))
‘ ¬(Λx)¬ ’ equivale a ‘ (Vx) ’
‘ ¬(Λx) ’ equivale a ‘ (Vx)¬ ’
Lenguaje formal de primer orden L: Deseamos construir un lenguaje formal de tal
manera que las frases ordinarias del lenguaje natural puedan traducirse a fbf´s de ese
lenguaje.
Símbolos comunes a todos los formalismos

a) Símbolos de variable (V )
x,y,z, x0,y0,z0, x1,y1,z1…., xn,yn,zn
b) Conectivas y cuantificadores
¬, ˄, ˅, →, ↔, V, Λ.
c) Signos de puntuación ‘(’, ’)’, ‘,’.

Símbolos peculiares de un formalismo

a) Constantes (C ):
a,b,c, a0,b0,c0 , a1,b1,c1… an,bn,cn

b) Símbolos de función n-ádicos (functores, F ):

fn,qn,hn, f0n, g0n, h0n, f1n, g1n, h1n…. fnn, gnn, hnn

c) Símbolos de relación n-ádicos (relatores, P ):

Pn,Qn,Rn, P0n, Q0n, R0n, P1n, Q1n, R1n…. Pnn, Qnn, Rnn

Término de L: un término de L es una expresión, en la que intervienen variables,

constantes y símbolos de función, que se define de acuerdo a las siguientes reglas:

1. Si t ϵ V U C entonces t es un término. Esto es, toda variable o constante de L

es un término de L.
2. Si t1,t2…tn son términos de L y fn es un símbolo de función n-ádico de L entonces
fn (t1,t2…tn) es un término de L.

Denotamos el conjunto de todos los términos mediante la letra T.

Fórmula atómica: Una fórmula atómica de L es una expresión, en la que intervienen

términos y símbolos de relación, que se define así:

Si t1,t2…tn son términos de L, y Rn es un símbolo de relación n-ádico de L,

entonces Rn(t1,t2…tn) es una fórmula atómica de L.

Fórmula bien formada: una fórmula bien formada de L es una expresión, en la que
intervienen fórmulas atómicas, conectivas y/o cuantificadores, que pueden formarse
utilizando las siguientes reglas:

1. Toda fórmula atómica de L es una fbf.

2. Si A y B son fbf´s de L, también lo son: (¬A), (¬B), (A˄B), (A˅B), (A→B) y (A↔B).
3. Si A es una fbf de L y x ϵ V entonces (Λx)A y (Vx)A son fbf´s.
Radio de acción de un cuantificador: Sea A una fbf de L:
a) En la fbf (Λx)A, el radio de acción de (Λx) es A.
b) En la fbf (Vx)A, el radio de acción de (Vx) es A.

Ocurrencia ligada de una variable: Una ocurrencia de la variable x en una fbf se dice
que es ligada, si aparece dentro del radio de acción de un cuantificador universal (Λx) o
uno existencial (Vx).
Ocurrencia libre de una variable: una ocurrencia de la variable x en una fbf se dice
que es libre, si su aparición no es ligada.

Fórmula cerrada: Una fbf de L se dice que es una fórmula cerrada si y sólo si en ella
no aparecen variables libres. En caso contrario se dice que es una fórmula abierta.

Interpretación (informal): Para poder discutir sobre la verdad o falsedad de una fórmula
es necesario asignar significado a los símbolos que la componen. Interpretar un
formalismo básicamente consiste en seleccionar un modelo, esto es:
1. Elegir un dominio o universo de discurso; es decir, un conjunto no vacío de
individuos al que se referirán las variables.
2. Asignar significados a los símbolos peculiares del formalismo: asignar a cada
constante un individuo, a cada símbolo de función una función en el dominio
y a cada símbolo de relación una relación en el dominio.

Interpretación (formal): Una interpretación I de L es un par (DI, J) que consiste en:

1. Un conjunto no vacío DI, el dominio de I.
2. Una aplicación J que asigna:
a) A cada símbolo de constante, ai, de L un elemento distinguido de DII;
J(ai)=ai.
b) A cada símbolo de función fni n-ario de L una función J(fin)= 𝑓i̅ n, tal
que 𝑓i̅ n : DIn→DI
c) A cada símbolo de relación Rin n-ario de L una relación J(Rin) = 𝑅̅in,
tal que 𝑅̅in ⊂ DIn; esto es, 𝑅̅in = {(d1,…,dn) | di ϵ DI} es un conjunto de
n-tuplas de DIn.

Granularidad: Conjunto de primitivas utilizadas para representar el conocimiento.

Enunciados categóricos Los enunciados categóricos son enunciados compuestos de

un sujeto y un predicado unidos por la cópula ‘es’ (o ‘son’).

Silogismo: Los silogismos son argumentos formados por enunciados categóricos que
se consideran modos de razonamiento válidos. La silogística puede considerarse un
antecedente de la lógica de predicados.
Valoración en I : Una valoración ϑ en I es una aplicación que asigna a cada variable
de L un elemento 𝑥̅ del dominio de la interpretación DI

v : V → DI

x → ϑ(x) = 𝑥̅

Valoración x-equivalente: Sea 𝑥̅ ϵ DI, donde DI es el dominio es una interpretación I

y sea v una valoración en I. La valoración tal que:

vx = 𝑥̅ si z ≡ x;

v(z) en otro caso.

se dice que es una valoración x-equivalente de v.

Una valoración ϑ en I es una aplicación que asigna a cada término de I un elemento

del dominio DI,

ϑ : T → DI

Satisfacibilidad: Sea una interpretación I = (DI, J). Sea A una fbf de L. La valoración
ϑ en I satisface la fbf A (ϑ Sat A) si y sólo si se cumple que, Eval I,ϑ (A) = V.

Equivalencia lógica: Dos fbf´s son lógicamente equivalentes, denotado AB, si y solo
si para toda interpretación I y para toda valoración ϑ en I, V satisface A si y sólo si ϑ
satisface B.

Verdad en I:
1. Una fbf A es verdadera en I si y solo si toda valoración ϑ en I satisface A.
2. Una fbf A es falsa en I si y sólo si no existe valoración ϑ en I que satisfaga A.

Formula lógicamente válida: Sea una fbf A de L.

1. A es lógicamente válida si y sólo si para toda interpretación I, A es falsa en I.

2. A es insatisfacible si y sólo si para toda interpretación I, A es falsa en I.
3. A es satisfacible si y sólo si existe una interpretación I y una valoración en I tal
que ϑ satisface A en I.

Modelo: Dada un fbf cerrada A de L, decimos que una interpretación I es el modelo de

A si y sólo si la fbf A es verdadera en la interpretación I.
Modelo (fbf´s cerradas): Sea Γ un conjunto de fbf´s cerradas de L, sea I una
interpretación de L. I es modelo de Γ si y sólo si I es modelo para cada una de las
fórmulas de Γ.

Fórmula lógicamente válida (fbf´s cerradas): Sea Γ un conjunto de fbf´s cerradas de

L:
1. Γ es válido si y sólo si para toda interpretación I es el modelo de Γ.
2. Γ es insatisfacible si y sólo si no existe una interpretación I de L que sea modelo
de Γ.
3. Γ es satisfacible si y sólo si existe una interpretación I de L que es modelo de Γ.

Consecuencia lógica (Predicados): Sea Γ un conjunto de fbf´s cerradas de L y A un

fbf cerrada de L. A es consecuencia lógica de Γ si y sólo si, para toda interpretación I
de L, si I es modelo de Γ entonces I es modelo de A.

Independencia: Sea Γ un conjunto de fbf´s de L. Γ es independiente si y sólo si para

todo A ϵ Γ, A es independiente de Γ \ {A}.

El sistema formal KL del cálculo de predicados está caracterizado por los siguientes
elementos:
1. Vocabulario:
a) Símbolos comunes a todos los formalismos.
1) Conjunto de símbolos de variable V.
x,y,z, x0,y0,z0, x1,y1,z1…., xn,yn,zn

2) Conectivas y cuantificadores
¬, →, Λ

3) Signos de puntuación: ‘(’, ‘)’, ’,’.

b) Símbolos peculiares de un formalismo.

1) El conjunto de las constantes C.
a,b,c, a0,b0,c0 , a1,b1,c1… an,bn,cn

2) El conjunto de los símbolos de función n-ádicos F.

fn,qn,hn, f0n, g0n, h0n, f1n, g1n, h1n…. fnn, gnn, hnn

3) El conjunto de los símbolos de relación n-ádicos P.

Pn,Qn,Rn, P0n, Q0n, R0n, P1n, Q1n, R1n…. Pnn, Qnn, Rnn
 2. Términos y fórmulas
a) El conjunto de los términos T.
1) Si t ϵ V U C entonces t es un término.
2) Si t1,t2…tn son términos y fn es un símbolo de función n-ádico entonces
fn(t1,t2…tn) es un término.
b) El conjunto de las fbf´s
1) Si t1,t2…tn son términos y Rn es un símbolo de relación n-ádico de L
entonces Rn(1,t2…tn) es una fbf.
2) Si A y B son fbf´s, también lo son: (¬A), (¬B) y (A → B).
3) Si A es una fbf y x ϵ V entonces (Λx)A es una fbf.

3. Definiciones:
(A˄B) es abreviatura de (¬(A → (¬B)))
(A˅B) es abreviatura de ((¬A) → B)
(A↔B) es abreviatura de (¬((A → B) → (¬(B →A ))))
(Vx)A es abreviatura de (¬((Λx)(¬A)))
4. Axiomas: Cualesquiera que sean las fbf´s A, B y C, las siguientes fbf´s son
axiomas de KL

(K1) (A → (B → A))
(K2) ((A → (B → C)) → ((A → B) → (A → C)))
(K3) (((¬A) → (¬B)) → (B → A))
(K4) ((Λx)A → A), si x no aparece libre en A
(K5) ((Λx)A(x)→ A(t)), si t no introduce variables ligadas en A
(K6) (Λx)(A → B) → (A → (Λx)B), si x no aparece libre en A

5. Reglas de inferencia: Si A y B son fbf´s cualesquiera.

a) Modus Ponens (MP), que afirma: de A y (A → B) se puede inferir como
consecuencia inmediata B.
b) Generalización (Gen), que afirma: de A se puede inferir como consecuencia
inmediata (Λx)A, siendo x cualquier variable.

Deducción: Sea Γ un conjunto de fbf´s de KL. Una sucesión finita A1,A2,,…An de fbf´s de
L, es una deducción a partir de Γ si para todo i ϵ {1,2…n] se cumple alguna de las
siguientes condiciones:

1. Ai es un axioma de KL o Ai ϵ Γ
2. Ai se infiere inmediatamente de dos fbf´s de la sucesión, Aj y Ak (con j < i y k < i),
mediante la aplicación de la regla MP.
3. Ai se infiere inmediatamente de una fbf de la sucesión, Ak (con k > i), mediante la
aplicación de la regla Gen.

Sustitución: Una sustitución θ es una aplicación que asigna a cada variable x del
conjunto de variables V de L un término θ(x) del conjunto de términos T de L.
θ:V→T
x → θ(x)