LOGICA: EXAMEN

Parte 1: INTRODUCCIÓN. PIP Y ERG

Lenguaje: sistema de comunicación estructurado. Tres elementos básicos:

• Sintaxis: compuesta por un conjunto de símbolos o alfabeto y un conjuntos de reglas para combinar símbolos
del alfabeto para formar una frase (o mensaje) correcta en algún sentido.
• Semántica: computas por un conjunto de elementos que se quieren referenciar en los mensajes y el
significado de los mensajes correctos
• Interpretación: es un mecanismo por el cual a cada frase correcta del lenguaje se le asigna algún significado

Universo de las palabras: 𝜮

Una palabra sobre 𝜮 es una secuencia finita de elementos de 𝜮 .

Llamamos 𝜮∗ al conjunto de todas las palabras formadas por elementos de 𝜮 .

El lenguaje sobre un alfabeto 𝜮 es un subconjunto de 𝜮∗

INDUCCIÓN Y RECURSIÓN
Demostración de Propiedades:
Definido como:
PRINCIPIO DE INDUCIÓN PRIMITIVA (PIP) Ejemplo base
i. 0∈𝑋
Hipótesis ii. 𝑠𝑖 𝑥 ∈ 𝑋 ⇒ 𝑥 + 1 ∈ 𝑋
Sea 𝑃 𝑝𝑟𝑜𝑝𝑖𝑒𝑑𝑎𝑑 𝑠𝑜𝑏𝑟𝑒 𝑙𝑜𝑠 𝑒𝑙𝑒𝑚𝑒𝑛𝑡𝑜𝑠 𝑑𝑒 𝑋 𝑞𝑢𝑒 𝑐𝑢𝑚𝑝𝑙𝑒𝑛:

i. 𝑃(0) se cumple CB
Según fue definido se
ii. 𝑠𝑖 𝑥 ∈ 𝑋 y 𝑃(𝑛) 𝑠𝑒 𝑐𝑢𝑚𝑝𝑙𝑒, 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑃(𝑆(𝑥)) 𝑠𝑒 𝑐𝑢𝑚𝑝𝑙𝑒
arma la estructura
Tesis

Entonces, todos los elementos de X cumplen 𝑃 Sucesor en el

conjunto en este
caso x+1
Definiciones Recursivas. Recursión: dado un conjunto inductivo, sabemos exactamente como se construyen sus
elementos. Con esta info podemos:

• Probar propiedades de sus elementos (inducción)

• Definir Funciones sobres sus elementos (recursión).

Función: relación que asocia un único elemento del condominio a cada elemento del dominio.

Definición de funciones:

➢ Si la función es libre: ERP

➢ Si la función no es libre: hay superposición. Hay que probar que los casos repetidos da el mismo resultado

ESQUEME DE RECURSIÓN PRIMITIVA PARA NATURALES

Sea ℕ ⊆ ℝ definido inductivamente: i) 0 ∈ ℕ ii) si n ∈ ℕ ⇒ S(n) ∈ ℕ

ERP para ℕ: se B conjunto cualquiera. Para definir una única función 𝐹: ℕ → 𝐵 basta un conjunto de ecuaciones:

i. F(0)=
ii. F(S(N))=…..F(n)…..n…..
ESQUEMA DE RECURSIÓN PRIMITIVA:

Para definir 𝑓: 𝐴 → 𝐵 se debe:

✓ Definir 𝑓 para los objetos bases de A

✓ Definir f usando el valor de f obtenidos de aplicar cláusulas inductivas usando el valor de f en objetos
inmediatamente anteriores.
Ejemplo: FIBO: ℕ → ℕ
ESQUEMA DE RECURSION GENERAL:
a. 𝐹𝐼𝐵𝑂(0) = 1
Para definir 𝑓: 𝐴 → 𝐵 se debe: b. 𝐹𝐼𝐵𝑂(1) = 1
✓ Definir 𝑓 para los objetos bases de A c. 𝐹𝐼𝐵𝑂(𝑛 + 2) = 𝐹𝐼𝐵𝑂(𝑛) + 𝐹𝐼𝐵𝑂(𝑛 + 1)
✓ Definir f usando el valor de f obtenidos para objetos estrictamente menores
Parte 2: LOGICA PROPOSICIONAL.
Tema 2.1: SINTAXIS
Alfabeto: 𝛴𝑃𝑅𝑂𝑃 = 𝑃 ∪ 𝐶 ∪ 𝐴. Consiste en:

• Conjunto de los conectivos:

𝐶 = 𝐶0 ∪ 𝐶1 ∪ 𝐶2
𝐶0 ={⊥} 𝐶1 ={¬} 𝐶2 ={∧,∨, →, ↔}
• Conjunto de los proposiciones (letras proposicionales):
𝑃 = {𝑝0 , 𝑝1 , … . }
• Conjunto de los auxiliares:
𝐴 = { ), ( }

PROP. El lenguajes 𝑷𝑹𝑶𝑷 ⊆ 𝜮∗𝑷𝑹𝑶𝑷 está definido inductivamente por:

i. 𝑝 ∈ 𝑃 ⇒ 𝑝 ∈ 𝑃𝑅𝑂𝑃
ii. ⊥∈ 𝑃𝑅𝑂𝑃
iii. 𝑠𝑖 𝛼, 𝛽 ∈ 𝑃𝑅𝑂𝑃 ⇒ (𝛼 ∧ 𝛽) ∈ 𝑃𝑅𝑂𝑃
(𝛼 ∨ 𝛽) ∈ 𝑃𝑅𝑂𝑃
(𝛼 → 𝛽) ∈ 𝑃𝑅𝑂𝑃
(𝛼 ↔ 𝛽) ∈ 𝑃𝑅𝑂𝑃
iv. 𝑠𝑖 𝛼 ∈ 𝑃𝑅𝑂𝑃 ⇒ (¬𝛼) ∈ 𝑃𝑅𝑂𝑃

Teorema PIP para PROP:

Hipótesis sea P una propiedad sobre las palabras de PROP que cumple:

BASE 1 para todo 𝑝 ∈ 𝑃, se cumple P(p)

BASE 2 se cumple P(⊥)
IND1 Para todo ∗ ∈ 𝐶2 y 𝛼, 𝛽 ∈ 𝑃𝑅𝑂𝑃 que cumplen P(𝛼) 𝑦 P(𝛽) se cumple P(𝛼 ∗ 𝛽)
IND2 Para todo 𝛼 ∈ 𝑃𝑅𝑂𝑃 que cumple P ((¬𝛼))

Tesis P se cumple para todas las palabras de PROP

ERP para PROP:

Sea B un conjunto cualquiera. Entonces, para definir una función 𝑓: 𝑃𝑅𝑂𝑃 → 𝐵 basta con un conjunto de ecuaciones
como:

𝑓(𝑝) = ⋯
𝑓(⊥) = ⋯
𝑓(𝛼 ∧ 𝛽) =. . . 𝑓(𝛼) … 𝛼 … 𝑓(𝛽) … 𝛽 …
𝑓(𝛼 ∨ 𝛽) = ⋯ 𝑓(𝛼) … 𝛼 … 𝑓(𝛽) … 𝛽 …
𝑓(𝛼 → 𝛽) = ⋯ 𝑓(𝛼) … 𝛼 … 𝑓(𝛽) … 𝛽 …
𝑓(𝛼 ↔ 𝛽) = ⋯ 𝑓(𝛼) … 𝛼 … 𝑓(𝛽) … 𝛽 …
𝑓((¬𝛼)) = ⋯ 𝑓(𝛼) … 𝛼 …

ARBOLES ETIQUETADOS Y ORDENADOS:

(𝜑 ∗ 𝜔)
(¬𝜑)

𝜑 𝜑 𝜔
SUSTITUCIÓN: _[_/_]: PROP x PROP x P → PROP

i. ⊥ [𝜑/𝑝] =⊥ Ocurrencia a cambiar Recibe y cambia todas las p de la

ii. 𝑞[𝜑/𝑝] = 𝜑 𝑠𝑖 𝑝 = 𝑞 frase por la cual cambiar la primer frase por la segunda
𝑞 𝑠𝑖 𝑝 ≠ 𝑞 ocurrencia
frase
iii. (𝛼 ∗ 𝛽)[𝜑/𝑝] = (𝛼[𝜑/𝑝] ∗ 𝛽[𝜑/𝑝])
iv. (¬𝛼)[𝜑/𝑝]=( ¬𝛼[𝜑/𝑝]) frase a cambiar

SECUENCIA DE FORMACIÓN. Una secuencia de formación 𝛼0 𝛼1 … 𝛼𝑛 de palabras de 𝜮∗𝑷𝑹𝑶𝑷 es una secuencia de

formación para 𝛼𝑛 si y solo si para todo 𝑘 ≤ 𝑛 se cumple una de las siguientes afirmaciones:

• 𝛼𝑘 ∈ 𝐴𝑇
• 𝛼𝑘 = (𝛼𝑖 ∗ 𝛼𝑗 ) 𝑐𝑜𝑛 ∗ ∈ 𝐶2 , 𝑖 < 𝑘, 𝑗 < 𝑘
• 𝛼𝑘 = (¬𝛼𝑖 ) 𝑐𝑜𝑛 𝑖 < 𝑘
SUBFORMULA: una fórmula 𝜑 ∈ 𝑃𝑅𝑂𝑃 es subfórmula de 𝛼 ∈ 𝑃𝑅𝑂𝑃 si y solo si se cumple una de las siguientes
afirmaciones:

• 𝛼 =𝜑
• 𝛼 = (𝜑1 ∗ 𝜑2 ) 𝑐𝑜𝑛 ∗ ∈ 𝐶2 , 𝜑1 , 𝜑2 ∈ 𝑃𝑅𝑂𝑃 𝑦 𝜑 𝒆𝒔 𝒔𝒖𝒃𝒇𝒐𝒓𝒎𝒖𝒍𝒂 𝒅𝒆 𝝋𝟏
• 𝛼 = (𝜑1 ∗ 𝜑2 ) 𝑐𝑜𝑛 ∗ ∈ 𝐶2 , 𝜑1 , 𝜑2 ∈ 𝑃𝑅𝑂𝑃 𝑦 𝜑 𝒆𝒔 𝒔𝒖𝒃𝒇𝒐𝒓𝒎𝒖𝒍𝒂 𝒅𝒆 𝝋𝟐
• 𝛼 = (¬𝜑1 ) 𝜑1 ∈ 𝑃𝑅𝑂𝑃 𝑦 𝜑 𝒆𝒔 𝒔𝒖𝒃𝒇𝒐𝒓𝒎𝒖𝒍𝒂 𝒅𝒆 𝝋𝟏
Ejemplos:

 𝑝2 𝑒𝑠 𝑠𝑢𝑏𝑓𝑜𝑟𝑚𝑢𝑙𝑎 𝑑𝑒 ( 𝑝7 → (¬𝑝2 ))
 𝑝4 → ¬ 𝑝3 𝑒𝑠 𝑠𝑢𝑏𝑓𝑜𝑟𝑚𝑢𝑙𝑎 𝑑𝑒 ( 𝑝1 ↔ ( 𝑝4 → ¬ 𝑝3 ))
CONJUNTO DE SUBFORMULAS: SUB: PROP→2PROP

i. 𝑆𝑈𝐵 (𝜑)={ 𝜑 } para cada 𝜑 ∈ 𝐴𝑇

ii. 𝑆𝑈𝐵 (𝛼 ∗ 𝛽)={ (𝛼 ∗ 𝛽) } ∪ 𝑆𝑈𝐵(𝛼) ∪ 𝑆𝑈𝐵(𝛽) para cada 𝜑 ∈ 𝐴𝑇
iii. 𝑆𝑈𝐵((¬𝛼)) = { (¬𝛼) } ∪ 𝑆𝑈𝐵(𝛼)

TEOREMA: (∀ 𝛼, 𝜑 ∈ 𝑃𝑅𝑂𝑃) 𝜑 𝑒𝑠 𝑠𝑢𝑏𝑓𝑜𝑟𝑚𝑢𝑙𝑎 𝑑𝑒 𝛼 𝑠𝑖 𝑦 𝑠𝑜𝑙𝑜 𝑠𝑖 𝜑 ∈ 𝑆𝑈𝐵(𝛼)

CONVENCIONES SINTÁCTICAS:

• Omitimos paréntesis exteriores de una fórmula y los que rodean a ¬

• Los conectivos ∧ ∨ tienen la misma precedencia
• Los conectivos → y ↔ tienen la misma precedencia
• Los conectivos ¬ tienen la mayor precedencia de todos los conectivos
• Los conectivos → y ↔tienen la menor precedencia de todos los conectivos
• Los conectivos de igual precedencias se asocia a la derecha

¬
∧∨
→y↔

derecha
Tema 2.2: SEMANTICA
Semántica de PROP: el conjunto {0,1} asociado a falso y verdadero.

Cada función representa un estado del universo que se obtiene:

• En cada función, cada una de las letras proposicionales puede tomar un valor de verdad
• ⊥ es falsa en cualquier función
• Los valores de verdad de las fórmulas atómicas se extienden a las fórmulas no atómicas de acuerdo al
significado de los conectivos que la forman.

VALUACIÓN:
Es una función 𝑣: 𝑃𝑅𝑂𝑃 → {0,1} es una valuación si y solo si:

• 𝑣(⊥) = 0
• 𝑣(𝛼 ∧ 𝛽) = min {𝑣(𝛼), 𝑣(𝛽)}
• 𝑣(𝛼 ∨ 𝛽) = max {𝑣(𝛼), 𝑣(𝛽)}
• 𝑣(𝛼 → 𝛽) = max {1 − 𝑣(𝛼), 𝑣(𝛽)}
• 𝑣(𝛼 ↔ 𝛽) = 1 ⇔ 𝑣(𝛼) = 𝑣(𝛽)
• 𝑣((¬𝛼)) = 1 − 𝑣(𝛼)

TAUTOLOGÍA, CONSECUENCIA LÓGICA, CONTRADICCIONES, CONTINGENCIAS

• Tautología (⊨ 𝛼): 𝛼 ∈ 𝑃𝑅𝑂𝑃 es tautología si y solo si para cualquier valuación 𝑣 se cumple que 𝑣(𝛼) = 1
• Consecuencia Lógica (𝛤 ⊨ 𝛼): dadas 𝛤 ⊆ 𝑃𝑅𝑂𝑃 (conjunto) y 𝛼 ⊆ 𝑃𝑅𝑂𝑃
𝛼 es consecuencia lógica de 𝛤 si y solo si para toda valuación 𝑣 se cumple:
si (∀ 𝑦 ∈ 𝛤)(𝑣(𝑦) = 1) ⇒ 𝑣(𝛼) = 1
“para todas las valuaciones de 𝛤 que son verdaderas, 𝑣(𝛼) también lo es”
• Contradicción: 𝑣(𝛼) = 0 para todas las valuaciones
• Contingencias: fórmulas que son verdaderas en algunas valuaciones y falsas en otras

MÉTODOS:

Tablas de Verdad: ejemplo: investigar si ¿ ⊨ (𝑝1 → 𝑝2 ) ∧ ¬(𝑝1 ∨ 𝑝2 )?

𝑝1 𝑝2 𝑝1 → 𝑝2 𝑝1 ∨ 𝑝2 ¬(𝑝1 ∨ 𝑝2 ) (𝑝1 → 𝑝2 ) ∧ ¬(𝑝1 ∨ 𝑝2 )

0 0 1 0 1 1
0 1 1 1 0 0
1 0 0 1 0 0
1 1 1 1 1 1

⊭ ( 𝑝1 → 𝑝2) ∧ ¬(𝑝1 ∨ 𝑝2)

Ejemplo: investigar si 𝑝1 ⊨ 𝑝2 ∧ 𝑝3

𝑝1 𝑝2 𝑝3 𝑝2 ∧ 𝑝3

0 0 0 0
0 0 1 0
0 1 0 0
𝑝1 ⊭ 𝑝2 ∧ 𝑝3
0 1 1 1
1 0 0 0
1 0 1 0
1 1 0 0
1 1 1 1
TABLEAU SEMANTICO: árboles cuya raíz contiene una fórmula y un valor de verdad.

Reglas:
F.𝝋 → 𝝎
T.𝝋 → 𝝎

T.𝜑
F. 𝜔 F.𝜑 T.𝜔

F.𝝋 ↔ 𝝎 T.𝝋 ↔ 𝝎

T.𝜑 F.𝜑 T.𝜑 F.𝜑

F. 𝜔 T. 𝜔 T. 𝜔 F. 𝜔

F.¬𝝋 T.¬𝝋 LEYES ALGEBRAICAS:

⊨𝛼 ∨ 𝛽∨ 𝛾↔ 𝛼 ∨ 𝛽 ∨ 𝛾
T.𝜑 F.𝜑 ⊨𝛼∨𝛽 ↔ 𝛽∨𝛼
⊨𝛼∨𝛼 ↔ 𝛼
F.𝝋 ∧ 𝝎 T.𝝋 ∧ 𝝎 ⊨ 𝛼 ∨ (𝛼 ∧ 𝛽) ↔ 𝛼
⊨ 𝛼 ∨ (𝛼 ∧ 𝛾) ↔ (𝛼 ∨ 𝛽) ∧ (𝛼 ∨ 𝛾)
⊨ ¬(𝛼 ∨ 𝛽) ↔ ¬𝛼 ∧ ¬𝛽
F.𝜑 F.𝜔 T.𝜑
⊨ (𝛼 ∧ 𝛽) ∧ 𝛾 ↔ 𝛼 ∧ 𝛽 ∧ 𝛾
T. 𝜔
⊨𝛼∧𝛽 ↔ 𝛽∧𝛼
⊨𝛼∧𝛼 ↔ 𝛼
F.𝝋 ∨ 𝝎 T.𝝋 ∨ 𝝎 ⊨ 𝛼 ∧ (𝛼 ∨ 𝛽) ↔ 𝛼
⊨ 𝛼 ∧ (𝛼 ∨ 𝛾) ↔ (𝛼 ∧ 𝛽) ∨ (𝛼 ∧ 𝛾)
⊨ ¬(𝛼 ∧ 𝛽) ↔ ¬𝛼 ∨ ¬𝛽
F.𝜑 T.𝜑 T.
F. 𝜔 𝜔 ⊨ ¬¬𝛼 ↔ 𝛼

F.⊥ T.⊥

EQUIVALENCIAS EQUIVALENCIA ENTRE CONECTIVOS

(𝛼 ∨ 𝛽) ∨ 𝛾 𝒆𝒒 𝛼 ∨ 𝛽 ∨ 𝛾 (𝑨𝒔𝒐𝒄𝒊𝒂𝒕𝒊𝒗𝒂) 𝛼↔𝛽 𝒆𝒒 (𝛼 → 𝛽) ∧ (𝛽 → 𝛼) (𝑺𝒊 𝒚 𝒔𝒐𝒍𝒐 𝒔𝒊)

𝛼 ∨ 𝛽 𝒆𝒒 𝛽∨𝛼 (𝑪𝒐𝒏𝒎𝒖𝒕𝒂𝒕𝒊𝒗𝒂) 𝛼 → β 𝒆𝒒 ¬𝛼 ∨ β (𝑰𝒎𝒑𝒍𝒊𝒄𝒂)
𝛼 ∨ 𝛼 𝒆𝒒 𝛼 (𝑵𝒆𝒖𝒕𝒓𝒐) 𝛼 ∨ β 𝒆𝒒 ¬𝛼 → β (𝑶𝒓 𝒄𝒐𝒏 𝒊𝒎𝒑𝒍𝒊𝒄𝒂)
𝛼 ∨ (𝛼 ∧ 𝛽) 𝒆𝒒 𝛼 𝛼 ∨ β 𝒆𝒒 ¬(¬𝛼 ∧ ¬β) (𝑶𝒓 𝒄𝒐𝒏 𝒂𝒏𝒅)
𝛼 ∨ (𝛽 ∧ 𝛾) 𝒆𝒒 (𝛼 ∨ 𝛽) ∧ (𝛼 ∨ 𝛾) (𝑫𝒊𝒔𝒕𝒓𝒊𝒃𝒖𝒕𝒊𝒗𝒂) 𝛼 ∧ β 𝒆𝒒 ¬(¬𝛼 ∨ ¬β) (𝑪𝒐𝒏𝒋𝒖𝒏𝒄𝒊ó𝒏)
¬(𝛼 ∨ 𝛽) 𝒆𝒒 ¬𝛼 ∧ ¬𝛽 (𝑫𝒆 𝑴𝒐𝒓𝒈𝒂𝒏) ¬𝛼 𝒆𝒒 𝛼 →⊥ (𝑵𝒆𝒈𝒂𝒄𝒊ó𝒏)
⊥ 𝒆𝒒 𝛼 ∧ ¬𝛼 (𝑩𝒐𝒕𝒕𝒐𝒎)
(𝛼 ∧ 𝛽) ∧ 𝛾 𝒆𝒒 𝛼 ∧ 𝛽 ∧ 𝛾 (𝑨𝒔𝒐𝒄𝒊𝒂𝒕𝒊𝒗𝒂) 𝛼↔𝛽 𝒆𝒒 𝛽↔ α (𝑪𝒐𝒏𝒎𝒖𝒕𝒂𝒕𝒊𝒗𝒂 𝒅𝒆𝒍 𝒔𝒊𝒊)
𝛼∧𝛽 𝒆𝒒 𝛽∧𝛼 (𝑪𝒐𝒏𝒎𝒖𝒕𝒂𝒕𝒊𝒗𝒂) 𝛼 → β 𝒆𝒒 ¬β → ¬𝛼 (𝑪𝒐𝒏𝒕𝒓𝒂𝒓𝒆𝒄í𝒑𝒓𝒐𝒄𝒐)
𝛼 ∧ 𝛼 𝒆𝒒 𝛼 (𝑵𝒆𝒖𝒕𝒓𝒐)
𝛼 ∧ (𝛼 ∨ 𝛽) 𝒆𝒒 𝛼
𝛼 ∧ (𝛽 ∨ 𝛾) 𝒆𝒒 (𝛼 ∧ 𝛽) ∨ (𝛼 ∧ 𝛾) (𝑫𝒊𝒔𝒕𝒓𝒊𝒃𝒖𝒕𝒊𝒗𝒂)
¬(𝛼 ∧ 𝛽) 𝒆𝒒 ¬𝛼 ∨ ¬𝛽 (𝑫𝒆 𝑴𝒐𝒓𝒈𝒂𝒏)

⊨ ¬¬𝛼 𝒆𝒒 𝛼 (𝑫𝒐𝒃𝒍𝒆 𝒏𝒆𝒈𝒂𝒄𝒊ó𝒏)

CONJUNCIONES Y DISYUNCIONES: VER EN DIAPOSITIVAS

Tema 2.3: DEDUCCIÓN NATURAL

Justificación de la validez del razonamiento:

• Semántica: 𝛤 ⊨ 𝛽 veracidad hipótesis → veracidad de la conclusión

• Sintáctica: 𝛤 ⊢ 𝛽 formalidad. Demostrar la conclusión a partir de las hipótesis con pasos claramente
definidos y explicitados.

REGLAS DEDUCCIÓN NATURAL:

𝛿1 … 𝛿𝑛 𝛿1 … 𝛿𝑛 𝛿1 … 𝛿𝑛 𝛿1 … 𝛿𝑛

𝛼 𝛽 𝛼∧𝛽
𝛼∧𝛽 𝛿1 … 𝛿𝑛
𝐼∧ 𝐸 ∧1 𝐸 ∧2
𝛼∧𝛽 𝛼 𝛽

⊥
𝐸⊥
𝛿1 … 𝛿𝑛 , [𝛼]K 𝛿1 … 𝛿𝑛 𝛼
𝛿1 … 𝛿𝑛

𝛽 𝛼→𝛽 𝛼
𝐼 →K
𝛼→𝛽 𝛽
𝐸→

𝛿1 … 𝛿𝑛
𝛿1 … 𝛿𝑛
𝛿1 … 𝛿𝑛 𝛿1 … 𝛿𝑛 [𝛼]K 𝛿1 … 𝛿𝑛 [𝛽]K

𝛼 𝛽
𝐼 ∨1 𝐼 ∨2 𝛼∨𝛽 𝛿 𝛿
𝛼∨𝛽 𝛼∨𝛽
𝐸 ∨K
𝛿

𝛿1 … 𝛿𝑛 [𝛼]K 𝛿1 … 𝛿𝑛 [𝛽]K 𝛿1 … 𝛿𝑛 𝛿1 … 𝛿𝑛 𝛿1 … 𝛿𝑛 𝛿1 … 𝛿𝑛

𝛽 𝛼 𝛼↔𝛽 𝛼 𝛼↔𝛽 𝛽

𝐼↔ K
𝛽
𝐸↔ 𝐸↔
𝛼↔𝛽 𝛼

𝛿1 … 𝛿𝑛 [𝛼]K 𝛿1 … 𝛿𝑛 𝛿1 … 𝛿𝑛 [¬𝛼]K
𝛿1 … 𝛿𝑛

⊥ ¬𝛼 𝛼
⊥
𝐼¬ K 𝑅𝐴𝐴 K
¬𝛼 𝐸¬ 𝛼
⊥

Conclusión e hipótesis. 𝐷 ∈ 𝐷𝐸𝑅 Llamamos C(D) a la conclusión de D, y H(D) al conjunto de hipótesis no canceladas.

Consecuencia Sintáctica. Sean 𝛤 ⊆ 𝑃𝑅𝑂𝑃 𝑦 𝜑 ⊆ 𝑃𝑅𝑂𝑃. 𝜑 es consecuencia sintáctica de 𝛤 si y si solo si existe DER:

• C(D)= 𝜑
• H(D)= 𝛤

Se lee 𝜑 deriva de 𝛤 y se escribe 𝜞 ⊢ 𝝋

Teorema: si 𝛤 = 𝛷 (no hay hipótesis sin cancelar. En ese caso se lee “𝜑 es teorema” y se escribe ⊢ 𝝋

Consecuencias Sintáctica: Sea 𝛤 ⊆ 𝑃𝑅𝑂𝑃 . El conjunto de las consecuencias sintácticas de 𝛤 es

CONS(𝜞) = { 𝝋 ∈ 𝑷𝑹𝑶𝑷: 𝜞 ⊢ 𝝋)
Tema 2.4: CORRECCIÓN Y COMPLETITUD
¿Se cumple Γ ⊢ 𝛼 ⇔ Γ ⊧ 𝛼?

Corrección del cálculo proposicional: nos indica que las reglas de construcción de sus juicios reflejan nociones
semánticas. Un cálculo es correcto para una semántica.

LEMA 1.6.1. CORRECCIÓN Sean 𝛤 ⊆ 𝑃𝑅𝑂𝑃 𝑦 𝜑 ⊆ 𝑃𝑅𝑂𝑃 si 𝛤 ⊢ 𝜑 ⇒ 𝛤 ⊨ 𝜑

Todas las derivaciones lo cumplen: su conclusión es consecuencia lógica de sus hipótesis.

Usos:

• Si ⊢ 𝜑 entonces ⊨ 𝜑
• Si ⊭ 𝜑 entonces ⊬ 𝜑

DEFINICIÓN DE COMPLETITUD: Sean 𝛤 ⊆ 𝑃𝑅𝑂𝑃 𝑦 𝜑 ⊆ 𝑃𝑅𝑂𝑃 si 𝛤 ⊨ 𝜑 ⇒ 𝛤 ⊢ 𝜑

TEOREMA DE COMPLETITUD: Sean 𝛤 ⊆ 𝑃𝑅𝑂𝑃 𝑦 𝛼 ∈ 𝑃𝑅𝑂𝑃 si 𝛤 ⊨ 𝜑 ⇒ 𝛤 ⊢ 𝜑

CONJUNTOS CONSISTENTES (LIBRE DE CONTRADICCIONES): un conjunto 𝛤 ⊆ 𝑃𝑅𝑂𝑃 es consistente sii 𝛤 ⊬ ⊥

CONJUNTOS INCONSISTENTES: un conjunto 𝛤 ⊆ 𝑃𝑅𝑂𝑃 es inconsistente sii 𝛤 ⊢ ⊥

Equivalencias: Equivalencias:

• Un conjunto es inconsistente: • Un conjunto es consistente:

• para todo 𝜑 ⊆ 𝑃𝑅𝑂𝑃 se cumple 𝛤 ⊢ 𝜑 • existe 𝜑 ⊆ 𝑃𝑅𝑂𝑃 tal que 𝛤 ⊬ 𝜑
• existe 𝜑 ⊆ 𝑃𝑅𝑂𝑃 tal que 𝛤 ⊢ 𝜑 y 𝛤 ⊢ ¬𝜑 • ∀𝜑 ⊆ 𝑃𝑅𝑂𝑃 se cumple que 𝛤 ⊬ 𝜑 o 𝛤 ⊬ ¬𝜑

CONDICION SUFICIENTE DE CONSISTENCIA:

RECORDATORIO: UNA VALUACION QUEDA DETERTMINADA POR SU VALOR EN TODAS LAS LETRAS PROPOSICIONALES

• H: Dado 𝛤 ⊆ 𝑃𝑅𝑂𝑃 tal que hay al menos una valuación 𝑣 que cumple: (∀ 𝜑 ∈ 𝛤)𝑣(𝜑) = 1
• T: es consistente

Contrarrecíproco:

• H: 𝛤 ⊢ ⊥
• T: no hay ninguna valuación 𝑣 tal que (∀ 𝜑 ∈ 𝛤)𝑣(𝜑) = 1

PROPIEDADES CONJUNTOS CONSISTENTES: Otra lectura

➢ Si 𝛤 ∪ {¬𝜑} es inconsistente, entonces 𝛤 ⊢ 𝜑. ☺ Si 𝛤 ⊬ 𝜑, entonces 𝛤 ∪ {¬𝜑} es consistente.

➢ Si 𝛤 ∪ {𝜑} es inconsistente, entonces 𝛤 ⊢ ¬𝜑. ☺ Si 𝛤 ⊬ ¬𝜑, entonces 𝛤 ∪ {𝜑} es consistente

CONSISTENCIA MAXIMAL. Un conjunto 𝛤 ⊆ 𝑃𝑅𝑂𝑃 es consistente maximal si y solo si:

▪ 𝛤 es consistente
▪ si ∆⊆ 𝑃𝑅𝑂𝑃 es consistente y 𝛤 ⊆ ∆ entonces 𝛤 = ∆

Colorario A: Colorario B:

▪ 𝛤 es consistente ▪ 𝛤 es consistente
▪ si ∆⊆ 𝑃𝑅𝑂𝑃 cumple 𝛤 ⊆ ∆ entonces ∆ es ▪ Para cualquier 𝜑 ⊆ 𝑃𝑅𝑂𝑃 se cumple que si
inconsistente 𝜑 ∉ 𝛤 entonces 𝛤 ∪ ∆ es inconsistente

DEFINICIÓN 𝑪𝑶𝑵𝑺(∆) = {𝝋 𝝐 𝑷𝑹𝑶𝑷 ∶ ∆⊢ 𝜑} Es decir, todas las ∆ contiene todo lo que deriva a cada letra
proposicional. Es decir, marca las valuaciones de todos las palabras proposicionales.

𝑪𝑶𝑵𝑺(∆)𝒆𝒔 𝑪𝒐𝒏𝒔𝒊𝒔𝒕𝒆𝒏𝒕𝒆 𝒎𝒂𝒙𝒊𝒎𝒂𝒍 ⇔ ∆ 𝒆𝒔 𝒄𝒐𝒎𝒑𝒍𝒆𝒕𝒐

∆ 𝒆𝒔 𝒄𝒐𝒎𝒑𝒍𝒆𝒕𝒐 ⇔ ∆ ⊬⊥ 𝑦 (∀ 𝝋 ∈ 𝑷𝑹𝑶𝑷)( ∆ ⊢ 𝝋 ó ∆ ⊢ ¬𝝋 )
Consistencia Maximal y valuaciones:

 sea v valuación, entonces

 el conjunto 𝛤 𝑣 = {𝜑 ∈ PROP ∶ 𝑣 (𝜑) = 1} es consistente Maximal.

Caracterización semántica de la completitud. 𝛤 es completo ⇔ existe una única valuación 𝑣 tal que 𝑣(𝛤) = 1

Caracterización semántica de la consistencia maximal. 𝛤 es consistente maximal ⇔ existe una valuación 𝑣 tal
que 𝛤 = { φ ∈ PROP | v(φ) = 1}

UN CONJUNTO 𝜞 ES COMPLETO ⇔ EL 𝜞 ES CONSISTENTE Y CUMPLE (∀ 𝝋 ∈ 𝑷𝑹𝑶𝑷)( 𝜞 ⊢ 𝝋 ó 𝜞 ⊢ ¬ 𝝋 )

Es decir, el conjunto define a todas las palabras de PROP sin contradicciones

TEORIAS. Un conjunto 𝛤 ⊆ 𝑃𝑅𝑂𝑃 es teoría si y solo si: 𝐶𝑂𝑁𝑆(𝛤) ⊆ 𝛤

Es decir, un conjunto 𝛤 ⊆ 𝑃𝑅𝑂𝑃 es una teoría si y solo si para toda 𝛼 ∈ 𝑃𝑅𝑂𝑃, si 𝛤 ⊢ 𝛼 entonces 𝛼 ∈ 𝛤

TOERIA + COMPLETO = CONSISTENTE MAXIMAL

LEMA 1.6.8: SI 𝜞 ES CONSISTENTE MAXIMAL ENTONCES 𝜞 𝑬𝑺 𝑻𝑬𝑶𝑹𝑰𝑨

LEMA 1.6.9: PERTENENCIA A CM. Sea 𝛤 Consistente Maximal. Entonces:

i. Para toda 𝛼 ∈ 𝑃𝑅𝑂𝑃, o bien 𝛼 ∈ 𝛤 o bien ¬𝛼 ∈ 𝛤

ii. Para toda 𝛼, 𝛽 ∈ 𝑃𝑅𝑂𝑃, 𝛼 → 𝛽 ∈ 𝛤 si y solo si (𝛼 ∈ 𝛤 entonces 𝛽 ∈ 𝛤)
iii. Para toda 𝛼, 𝛽 ∈ 𝑃𝑅𝑂𝑃, 𝛼 ∧ 𝛽 ∈ 𝛤 si y solo si (𝛼 ∈ 𝛤 y 𝛽 ∈ 𝛤)
iv. Para toda 𝛼, 𝛽 ∈ 𝑃𝑅𝑂𝑃, 𝛼 ∨ 𝛽 ∈ 𝛤 si y solo si (𝛼 ∈ 𝛤 o 𝛽 ∈ 𝛤)
v. Para toda 𝛼, 𝛽 ∈ 𝑃𝑅𝑂𝑃, 𝛼 ↔ 𝛽 ∈ 𝛤 si y solo si (𝛼 ∈ 𝛤 si y solo si 𝛽 ∈ 𝛤)
TEOREMA DE COMPLETITUD: Sean 𝛤 ⊆ 𝑃𝑅𝑂𝑃 𝑦 𝛼 ∈ 𝑃𝑅𝑂𝑃 si 𝛤 ⊨ 𝜑 ⇒ 𝛤 ⊢ 𝜑

Demostración del contrarrecíproco: 𝛤 ⊬ 𝛼 ⇒ 𝛤 ⊭ 𝛼

• 𝛤 ⊬ 𝛼 ⇒ (𝑐𝑟𝑒𝑐. 𝑅𝐴𝐴)
• 𝛤, ¬𝛼 ⊬⊥ ⇒? ? ? ?
• (∃𝑣)(∀𝜑 ∈ 𝛤 ∪ {¬𝛼})(𝑣(𝜑) = 1) ⇒ (definició𝑛 𝑑𝑒 𝑣𝑎𝑙𝑢𝑎𝑐𝑖𝑜𝑛𝑒𝑠)
• (∃𝑣)(∀𝜑 ∈ 𝛤)(𝑣(𝜑) = 1 𝑦 𝑣(𝛼) = 0) ⇒ (definició𝑛 𝑑𝑒 𝑐𝑜𝑛𝑠𝑒𝑐𝑢𝑒𝑛𝑐𝑖𝑎 𝑠𝑒𝑚𝑎𝑛𝑡𝑖𝑐𝑎)
• 𝛤⊭ 𝛼

• 𝛤, ¬𝛼 ⊬⊥ ⇒? ? ? ?debe ser consistente y todo conjunto consistente está incluido en un conjunto maximal
• (∃𝑣)(∀𝜑 ∈ 𝛤 ∪ {¬𝛼}) ⊆ ∆ y ∆ 𝑒𝑠 𝑪𝒐𝒏𝒔 𝑴𝒂𝒙𝒊𝒎𝒂𝒍 ⇒?
• (∃𝑣, ∆) 𝛤 ∪ {¬𝛼} ⊆ ∆ y (∀𝜑 ∈ Δ)𝑣 (𝜑) = 1⇒?
• (∃𝑣)(∀𝜑 ∈ 𝛤 ∪ {¬𝛼})(𝑣(𝜑) = 1)

LEMA 1.6.7: Sea 𝛤 consistente entonces existe 𝛤*⊆ 𝑃𝑅𝑂𝑃 Consistente Maximal tal que 𝛤 ⊆ 𝛤*

COLORARIO 1.6.11 Sean 𝛼 ∈ 𝑃𝑅𝑂𝑃 y 𝛤 ⊆ 𝑃𝑅𝑂𝑃 tales que 𝛤 ⊬ 𝛼 ENTONCES: Existe una valuación 𝑣 tal que para
todo 𝛽 ∈ 𝛤 se cumple que 𝑣(𝛽) = 1, 𝑦 𝑎𝑑𝑒𝑚á𝑠 𝑣(𝛼) = 0

CONCLUSIÓN: para probar que una fórmula es consecuencia de un conjunto de hipótesis. Dos caminos:

✓ Camino Semántico: definición de valuación, tableau, tablas de verdad, equivalencias.

✓ Camino Sintáctico: prueba formal, requiere ingenio.

Son equivalentes ambas formas de responder. Teoremas de corrección y completitud nos autorizan a combinar
equivalencias semánticas y pruebas formales. Si yo tengo una verdad puedo encontrar una derivación, y si tengo una
derivación se que tengo la verdad.
Parte 3: LOGICA DE PREDICADOS.
Tema 3.1: SINTAXIS Y PROPIEDADES
Definición: Estructura. Es una secuencia ordenada:

𝓜 = ⟨𝑼, 𝑹𝟏 , … , 𝑹𝒏 , 𝑭𝟏 , … , 𝑭𝒎 , {𝒄𝒊 ∶ 𝟏 ≤ 𝒊 ≤ 𝒌}⟩

Tal que:

• 𝑼: conjunto no vacío Constantes

• 𝑹𝟏 , … , 𝑹𝒏 : son relaciones sobre U (n≥0)
• 𝑭𝟏 , … , 𝑭𝒎 : son funciones sobre U (m≥0)

Tipo de similaridad: de la estructura definida anteriormente es ⟨r1,…,rn;a1,….,am;k⟩

ALFABETO DE PRIMER ORDEN. Alfabeto de tipo de similaridad ⟨r1,…,rn;a1,….,am;k⟩ para un lenguaje de primer orden
consta de los siguientes símbolos:

➢ Símbolos de relación: P1,P2,…,PN,=’

➢ Símbolos de función: 𝑓1 , … , 𝑓𝑚
➢ Símbolos de constantes: 𝑐𝑖 ∶ 1 ≤ 𝑖 ≤ 𝑘
➢ Variables: 𝑥0 , 𝑥1 , 𝑥2 …
➢ Conectivos: →, ↔, ¬,∨,∧,⊥
➢ Cuantificadores: ∀, ∃
➢ Auxiliares: )(

TERMINOS. TERMa donde a indica el alfabeto sobre el cual refiere. Incluye sus variables, constantes y sus
funciones. Formalmente: El conjunto TERMa de los términos del lenguaje de primer orden con alfabeto A se define
inductivamente por:

✓ 𝑥𝑖 ∈ TERMA (𝑖 ∈ ℕ)
✓ 𝑐𝑖 ∈ TERMA 1 ≤ 𝑖 ≤ 𝑘)
✓ 𝑠𝑖 𝑡1 , … . , 𝑡𝑎𝑖 ∈ TERMA ⇒ 𝑓1 (𝑡1 , … . , 𝑡𝑎𝑖 ) ∈ TERMA
FORMULAS. FORMa donde a indica el alfabeto sobre el cual refiere. Incluye sus fórmulas. Formalmente: El conjunto
FORMa de las fórmulas del lenguaje de primer orden con alfabeto A se define inductivamente por:
▪ ⊥∈ FORMA
▪ 𝑡1 , … . , 𝑡𝑟𝑖 ∈ TERMA ⇒ 𝑃𝑖 (𝑡1 , … . , 𝑡𝑟𝑖 ) ∈ FORMA
▪ 𝑡1 , 𝑡2 ∈ TERMA ⇒ 𝑡1 = ’ 𝑡2 ∈ FORMA
▪ 𝛼, 𝛽 ∈ FORMA ⇒ (α ∗ β) ∈ FORMA
▪ 𝛼 ∈ FORMA ⇒ (¬α) ∈ FORMA
▪ 𝛼 ∈ FORMA ⇒ ((∀𝑥𝑖 )α) ∈ FORMA
▪ 𝛼 ∈ FORMA ⇒ ((∃𝑥𝑖 )α) ∈ FORMA
Precedencia:

1. Las reglas de precedencia de conectivos son las mismas que para PROP
2. Conectivos de igual procedencia se asocian a la derecha.
3. Cuantificadores: El ∀ y el ∃ tienen igual precedencia que el ¬

VARIABLES. VAR Aes el conjunto de las variables del alfabeto A.

CONSTANTES. CONSTAes el conjunto de las constantes del alfabeto A.

FORMULAS ATOMICAS. ATA es el conjunto de las fórmulas atómicas del alfabeto A. ATA ⊆ FORMA Es decir aquellas
que se obtienen con las cláusulas base. ATA = {⊥, 𝑃𝑗 (𝑡1 , … . , 𝑡𝑟𝑗 ), 𝑡1 = ’ 𝑡2 }

<
PIP PARA TERM. Sea A alfabeto de tipo ⟨r1,…,rn;a1,….,am;k⟩. Sea 𝑃 una propiedad sobre TERMA. Si se cumple:

1. 𝑃(𝑥)∀ 𝑥 ∈ VAR A
2. 𝑃(𝑥)∀ 𝑥 ∈ CONSTA
3. si 𝑃(𝑡1 ), … . , 𝑃(𝑡𝑎𝑖 ) ⇒ 𝑃(𝑓1 (𝑡1 , … . , 𝑡𝑎𝑖 )) ∀ 𝑖 ∈ {1, … , 𝑚}

Entonces, se cumple ( ∀ 𝑡 ∈ TERMA )(𝑃(𝑡)) )

PIP PARA FORM. Sea A alfabeto de tipo ⟨r1,…,rn;a1,….,am;k⟩. Sea 𝑃 una propiedad sobre FORMA . Si se cumple:

1. 𝑃(𝛼)∀ 𝛼 ∈ ATA
2. 𝑃(𝛼) y 𝑃(𝛽) ⇒ 𝑃((𝛼 ∗ 𝛽)) ( ∗ ∈ {→, ↔, ,∨,∧})
3. 𝑃(𝛼) ⇒ 𝑃(¬𝛼)
4. 𝑃(𝛼) ⇒ 𝑃((∀𝑥)𝛼) ∀ 𝑥 ∈ VAR A
5. 𝑃(𝛼) ⇒ 𝑃((∃𝑥)𝛼) ∀ 𝑥 ∈ VAR A

Entonces, se cumple ( ∀ 𝑡 ∈ FORMA )(𝑃(𝛼)) )

ERP PARA TERM. Sea A alfabeto de tipo ⟨r1,…,rn;a1,….,am;k⟩. Sean las siguientes funciones:

❖ 𝐻𝑏 = VAR A ∪ CONSTA
❖ 𝐻𝑖 = (TERMA x 𝐵)𝑎𝑖 → 𝐵, 𝑐𝑜𝑛 𝑖 ∈ {1, … , 𝑚}
Entonces, existe una única función 𝐹: TERMA → 𝐵 tal que:

❖ 𝐹 (𝑡) = 𝐻𝑏 si 𝑡 ∈ VAR A ∪ CONSTA

❖ 𝐹 (𝑓𝑖 (𝑡1 , … . , 𝑡𝑎𝑖 )) = 𝐻𝑖 (𝑡1 , 𝐹(𝑡1 ), … , 𝑡𝑎𝑖 , 𝐹( 𝑡𝑎𝑖 ))

ERP PARA FORM. Sea A alfabeto de tipo ⟨r1,…,rn;a1,….,am;k⟩. Sean las siguientes funciones:

o 𝐻𝐴𝑇 : ATA → 𝐵
o 𝐻∗ : (FORMA x B)x(FORMA x B) → 𝐵 ( ∗ ∈ {→, ↔, ,∨,∧})
o 𝐻¬ : FORMA x B → 𝐵
o 𝐻∀ : VAR A x FORMA x B → 𝐵
o 𝐻∃ : VAR A x FORMA x B → 𝐵
Entonces, existe una única función 𝐹: TERMA → 𝐵 tal que:

o 𝐹 (𝛼) =𝐻𝐴𝑇 (𝛼) si 𝛼 ∈ ATA

o 𝐹 ((𝛼 ∗ 𝛽)) =𝐻∗ (𝛼, 𝐹(𝛼), 𝛽, 𝐹(𝛽)) ((∀𝑥)𝛼)
o 𝐹 ((¬𝛼)) =𝐻¬ (𝛼, 𝐹(𝛼))
((∃𝑥)𝛼)
o 𝐹 (((∀𝑥)𝛼)) =𝐻∀ (𝑥, 𝛼, 𝐹(𝛼))
o 𝐹 (((∃𝑥)𝛼)) =𝐻∃ (𝑥, 𝛼, 𝐹(𝛼))

OCURRENCIAS LIGADAS. Sean 𝑥 ∈ VAR A , 𝛼 ∈ FORMA

• Ocurrencia de una variable 𝑥 en 𝛼 está ligada si se encuentra bajo el alcance de un cuantificador (∀𝑥) (∃𝑥),
o si es la variable del cuantificador.
• Si 𝑥 no está ligada en 𝛼 entonces es una ocurrencia libre en 𝛼

Una ocurrencia puede estar libre o ligada, pero no ambas al mismo tiempo.

VARIABLES LIBRES Y LIGADAS

• Una variable 𝑥 está ligada en 𝛼 si tiene alguna ocurrencia ligada en 𝛼.

• Una variable 𝑥 está libre en 𝛼 si tiene alguna ocurrencia libre en 𝛼.

Una variable puede estar libre y ligada en la misma fórmula.

VARIABLES LIBRES. FVa pueden ser buscadas sobre un término como sobre una fórmula

 𝐹𝑉: TERMA → VAR A Definición recursiva en libro

 𝐹𝑉: FORMA → VAR A Definición recursiva en libro

VARIABLES LIGADAS. BVa

• 𝐵𝑉: FORMA → VAR A Definición recursiva en libro

TÉRMINOS Y FÓRMULAS CERRADAS. Sea A alfabeto de tipo ⟨r1,…,rn;a1,….,am;k⟩.

❖ Un término 𝑡 es cerrado si 𝐹𝑉(𝑡) = 𝜙

❖ Una fórmula 𝛼 es cerrado si 𝐹𝑉(𝛼) = 𝜙
En este caso 𝛼 es una sentencia
❖ Una fórmula 𝛼 es abierta si no tiene cuantificadores.

TERMCA = {𝑡 ∈ TERMA : 𝑡 𝑒𝑠 𝑐𝑒𝑟𝑟𝑎𝑑𝑜}

SENTA = {𝛼 ∈ FORMA : 𝛼 𝑒𝑠 𝑐𝑒𝑟𝑟𝑎𝑑𝑎}

SUSTITUCIÓN DE TÉRMINOS EN TERMINOS Sea A alfabeto de tipo ⟨r1,…,rn;a1,….,am;k⟩, 𝑠, 𝑡 ∈ TERMA 𝑦 xj ∈ VAR A.

Se define: 𝑠 [𝑡 /xj ]:

➢ xi [𝑡 /xj ] = t si i=j)
➢ ci [𝑡 /xj ] = ci
➢ fi (𝑡1 , … . , 𝑡𝑎𝑖 )[𝑡 /xj ] = fi (𝑡1 [𝑡 /xj ], … . , 𝑡𝑎𝑖 [𝑡 /xj ])

SUSTITUCIÓN DE VARIABLES POR TERMINOS EN FORMULAS Sea A alfabeto de tipo ⟨r1,…,rn;a1,….,am;k⟩,

𝑡 ∈ TERMA , xj ∈ VAR A , 𝛼 ∈ FORMA
Se define: 𝛼 [𝑡 /xj ] del siguiente modo:

 ⊥[𝑡 /xj ]=⊥

 𝑃𝑗 (𝑡1 , … . , 𝑡𝑟𝑗 )[𝑡 /xj ]= 𝑃𝑗 (𝑡1 [𝑡 /xj ], … . , 𝑡𝑟𝑗 [𝑡 /xj ])
 𝑡1 = ’ 𝑡2 [𝑡 /xj ] = 𝑡1 [𝑡 /xj ] = ’ 𝑡2 [𝑡 /xj ]
 (α ∗ β) [𝑡 /xj ] = α[𝑡 /xj ] ∗ β[𝑡 /xj ]
 (¬α) [𝑡 /xj ] =(¬α) [𝑡 /xj ])
 ((∀𝑥𝑖 )α)[𝑡 /xj ]= ((∀𝑥𝑖 )α[𝑡 /xj ]) 𝑠𝑖 𝑖 ≠ 𝑗 se realiza sustitución
(∀𝑥𝑖 )α 𝑠𝑖 𝑖 = 𝑗 no se realiza
 ((∃𝑥𝑖 )α)[𝑡 /xj ]= ((∃𝑥𝑖 )α[𝑡 /xj ]) 𝑠𝑖 𝑖 ≠ 𝑗
(∃𝑥𝑖 )α 𝑠𝑖 𝑖 = 𝑗
TERMINO LIBRE PARA UNA FORMULA RESTRICCIÓN DE SUSTITUCIONES. Sean 𝑡 ∈ TERMA 𝑦 φ ∈ FORMA . 𝑡 está
libre para x en φ si se cumple alguna de las siguientes.

 φ es atómica
 φ = φ 1 ∗ φ 2 y t está libre para x en φ 1 y en φ 2
 φ = ¬ φ 1 y t está libre para x en φ 1
 φ = ((∀𝑦)φ 1 ) y se cumple una de las siguientes:
o x ∉ 𝐹𝑉(((∀𝑦)φ 1 ))
o x ∉ 𝐹𝑉(𝑡) y t está libre para x en φ 1
 φ = ((∃𝑦)φ 1 ) y se cumple una de las siguientes:
o x ∉ 𝐹𝑉(((∃𝑦)φ 1 ))
o x ∉ 𝐹𝑉(𝑡) y t está libre para x en φ 1

t está libre para x en - si sustituyo x por t y todas las ocurrencias que antes estaban libres siguen estando

SIMBOLO DE PREDICADO $ $ 𝛼 ∈ FORM $ es una variable de fórmula, se usa como comodín para sutituir una
fórmula en otra.
FORMULA LIBRE PARA $. Sean 𝛼, φ ∈ FORM. φ está libre para $ en 𝛼 si se cumple alguna de las siguientes.

 𝛼 es atómica
 𝛼 = 𝛼 1 ∗ 𝛼 2 y φ está libre para $ en 𝛼 1 y en 𝛼 2
 𝛼 = ¬ 𝛼 1 y φ está libre para $ en 𝛼 1
 𝛼 = ((∀𝑦)𝛼) y se cumple una de las siguientes:
o $ no ocurre en 𝛼 1
o x ∉ 𝐹𝑉(φ) y φ está libre par a $ en 𝛼 1
 φ = ((∃𝑦)φ 1 ) y se cumple una de las siguientes:
o $ no ocurre en 𝛼 1
o x ∉ 𝐹𝑉(φ) y φ está libre para $ en 𝛼 1

SUSTITUCIÓN DE FÓRMULAS EN FÓRMULAS. Sean 𝛼, φ ∈ FORM tal que φ esta libre para $ en 𝛼.
Definimos 𝜶[𝛗 /$] como:

1. si 𝜶 es atómica 𝜶[𝛗 /$] = 𝜶 si 𝜶 ≠ 𝝋 y sino 𝝋

2. (𝛼1 ∗ 𝛼2 ) [𝛗 /$]= (𝛼1 [𝛗 /$] ∗ 𝛼2 [𝛗 /$])
3. (¬𝛼1 ) [𝛗 /$]= (¬𝛼1 [𝛗 /$])
4. ((∀𝑥)𝛼1 ) [𝛗 /$]= ((∀𝑥)𝛼1 [𝛗 /$])
5. ((∃𝑥)𝛼1 ) [𝛗 /$]= ((∃𝑥)𝛼1 [𝛗 /$])
Tema 3.2: SEMANTICA DE PRIMER ORDEN
Definición. Lenguaje extendido para una estructura. Sea 𝓜 una estructura.

El lenguaje extendido para 𝓜 denotado 𝓛(𝓜) se obtiene del lenguaje 𝓛 de tipo ℳ agregando símbolo de
constante para todos los elementos de | ℳ | A este símbolo de constante asociado a 𝑎 ∈ ℳ lo denotamos 𝑎̅

Definición. Interpretación de los términos cerrados de 𝓛(𝓜)𝒆𝒏 𝓜. Sea ℳ = ⟨𝑈, 𝑅1 , … , 𝑅𝑛 , 𝐹1 , … , 𝐹𝑚 , {𝑐𝑖 ∶ 1 ≤

𝑖 ≤ 𝑘}⟩ de tipo ⟨r1,…,rn;a1,….,am;k⟩.
La interpretación de términos cerrados de ℒ(ℳ)𝑒𝑛 ℳ es la función: −𝑴 : 𝑻𝑬𝑹𝑴𝒄 → | ℳ | definida:

 𝑐𝑖𝑀 = 𝑐𝑖 ∀ ̅1≤𝑖≤𝑖
 𝑎̅𝑖 = 𝑎 ∀ ̅𝑎∈ℳ
 𝑓𝑖 (𝑡1 , … . , 𝑡𝑎𝑖 ) ℳ = 𝐹𝑖 (𝑡1 , … . , 𝑡𝑎𝑖 ) ∀
̅ 𝑖 ∈ {1, … , 𝑚}

Definición. Interpretación de las sentencias de 𝓛(𝓜)𝒆𝒏 𝓜. Sea ℳ = ⟨𝑈, 𝑅1 , … , 𝑅𝑛 , 𝐹1 , … , 𝐹𝑚 , {𝑐𝑖 ∶ 1 ≤ 𝑖 ≤

𝑘}⟩ de tipo ⟨r1,…,rn;a1,….,am;k⟩.
La interpretación de las sentencias de ℒ(ℳ)𝑒𝑛 ℳ es la función: 𝒗𝑴 : 𝑺𝑬𝑵𝑻 → {𝟎, 𝟏} definida

• 𝑣 ℳ (𝑡1 =′ 𝑡2) = 1 si 𝑡1𝑀 = 𝑡2𝑀

0 si 𝑡1𝑀 ≠ 𝑡2𝑀
• 𝑀
𝑣 ℳ (𝑃𝑗 (𝑡1 , … . , 𝑡𝑟𝑗 )) = 1 si ⟨𝑡1𝑀 , … , 𝑡𝑟𝑗 ⟩ ∈ 𝑅𝑗
𝑀 𝑀
0 si ⟨𝑡1 , … , 𝑡𝑟𝑗 ⟩ ∉ 𝑅𝑗
• 𝑣 ℳ (⊥)
= 0
• 𝑣 ((¬𝛼)) = 1 − 𝑣 ℳ (𝛼)
ℳ

• 𝑣 ℳ ((𝛼 ∧ 𝛽)) = min {𝑣 ℳ (𝛼), 𝑣 ℳ (𝛽)}

• 𝑣 ℳ ((𝛼 ∨ 𝛽)) = max {𝑣 ℳ (𝛼), 𝑣 ℳ (𝛽)}
• 𝑣 ℳ ((𝛼 → 𝛽)) = max {1 − 𝑣 ℳ (𝛼), 𝑣 ℳ (𝛽)}
• 𝑣 ℳ ((𝛼 ↔ 𝛽)) = 1 ⇔ 𝑣 ℳ (𝛼) = 𝑣 ℳ (𝛽)}
• 𝑣 ℳ ((∀𝑥)𝛼) = min {𝑣 ℳ (𝛼[𝑎̅/𝑥])|𝑎 ∈ |ℳ|}
• 𝑣 ℳ ((∃𝑥)𝛼) = max {𝑣 ℳ (𝛼[𝑎̅/𝑥])|𝑎 ∈ |ℳ|}

Definición. Clausura universal de una fórmula. Sean 𝛼 ∈ FORM 𝑦 𝐹𝑉(𝛼) = {𝑧1 , … , 𝑧𝑘 } entonces

𝑐𝑙(𝛼) = ( (∀𝑧1 ) … (∀𝑧𝑘 )) 𝛼

Definición. Uso de ⊨. Sean 𝛼 ∈ SENT, ∆ ⊆ SENT, β ∈ FORM, Γ ⊆ FORM

✓ ℳ ⊨ 𝛼 ⇔ 𝑣 ℳ (𝛼) = 1
✓ ℳ ⊨ β ⇔ 𝑣 ℳ (𝑐𝑙(β)) = 1
✓ ℳ ⊨ Γ⇔ℳ ⊨ φ∀ ̅φ∈ Γ
✓ ̅
⊨ β ⇔ ∀ ℳ e.t.a. (estructura de tipo adecuado) ℳ ⊨ β
✓ ∆⊨ 𝛼 ⇔ ∀̅ ℳ e.t.a. (estructura de tipo adecuado) ℳ ⊨ ∆ ⇒ ℳ ⊨ 𝛼

LEMA 2.4.5 Lema 2.4.5 Contrarrecíproco.

Sean 𝛼, β ∈ SENT, γ ∈ FORM, FV(γ) ⊆ {𝑥} Sean 𝛼, β ∈ SENT, γ ∈ FORM, FV(γ) ⊆ {𝑥}
▪ ℳ ⊨ (𝛼 ∧ 𝛽) ⇔ ℳ ⊨ 𝛼 y ℳ ⊨ 𝛽 ▪ ℳ ⊭ (𝛼 ∧ 𝛽) ⇔ ℳ ⊭ 𝛼 o ℳ ⊭ 𝛽
▪ ℳ ⊨ (𝛼 ∨ 𝛽) ⇔ ℳ ⊨ 𝛼 o ℳ ⊨ 𝛽 ▪ ℳ ⊭ (𝛼 ∨ 𝛽) ⇔ ℳ ⊭ 𝛼 y ℳ ⊭ 𝛽
▪ ℳ ⊨ (¬𝛼) ⇔ ℳ ⊭ 𝛼 ▪ ℳ ⊭ (¬𝛼) ⇔ ℳ ⊨ 𝛼
▪ ℳ ⊨ (𝛼 → 𝛽) ⇔ (ℳ ⊨ 𝛼 ⇒ ℳ ⊨ 𝛽) ▪ ℳ ⊭ (𝛼 → 𝛽) ⇔ (ℳ ⊨ 𝛼 𝑦 ℳ ⊭ 𝛽)
▪ ℳ ⊨ (𝛼 ↔ 𝛽) ⇔ (ℳ ⊨ 𝛼 ⇔ ℳ ⊨ 𝛽) ▪ ℳ ⊭ (𝛼 ↔ 𝛽) ⇔ (ℳ ⊭ 𝛼 ⇔ ℳ ⊭ 𝛽)
▪ 𝓜 ⊨ (∀𝒙)𝜸 ⇔ ∀̅ 𝒂 ∈ |𝓜|: 𝓜 ⊨ 𝜸[𝒂
̅ /𝒙] ▪ 𝓜 ⊭ (∀𝒙)𝜸 ⇔ ∃̅ 𝒂 ∈ |𝓜|: 𝓜 ⊭ 𝜸[𝒂̅ /𝒙]
▪ ̅
𝓜 ⊨ (∃𝒙)𝜸 ⇔ ∃ 𝒂 ∈ |𝓜|: 𝓜 ⊨ 𝜸[𝒂 ̅ /𝒙] ▪ 𝓜 ⊭ (∃𝒙)𝜸 ⇔ ∀ ̅ 𝒂 ∈ |𝓜|: 𝓜 ⊭ 𝜸[𝒂
̅ /𝒙]
Definición. Equivalencias. Dados 𝛼, β ∈ FORM

𝛼 𝒆𝒒 𝛽 ⇔ 𝛼 ↔ 𝛽

Teorema De Morgan: Orden de los Cuantificadores (2.5.2): Cambio de Variable (2.5.6):

sea 𝛼 ∈ FORM Sean x,z tales que x,z∉ 𝐹𝑉(𝛼)
(∀𝑥)(∀𝑦) 𝛼 𝒆𝒒 (∀𝑦)(∀𝑥) 𝛼
 ¬(∀𝑥) 𝛼 𝒆𝒒 (∃𝑥)¬𝛼 (∀𝑥)𝛼[𝑥/𝑦] 𝒆𝒒 (∀𝑧)𝛼[𝑧/𝑦]
(∃𝑥)(∃𝑦) 𝛼 𝒆𝒒 (∃𝑦)(∃𝑥) 𝛼
 ¬(∃𝑥) 𝛼 𝒆𝒒 (∀𝑥)¬𝛼 (∃𝑥)𝛼[𝑥/𝑦] 𝒆𝒒 (∃𝑧)𝛼[𝑧/𝑦]
 (∀𝑥) 𝛼 𝒆𝒒 ¬(∃𝑥)¬𝛼 (∀𝑥) 𝛼 𝒆𝒒 𝛼 𝑠𝑖 𝑥 ∉ 𝐹𝑉(𝛼) Informalmente z∉ 𝐹𝑉(𝛼):
 (∃𝑥) 𝛼 𝒆𝒒 ¬(∀𝑥)¬𝛼 (∀𝑥)𝛼 𝒆𝒒 (∀𝑧)𝛼(𝑧)
(∃𝑥) 𝛼 𝒆𝒒 𝛼 𝑠𝑖 𝑥 ∉ 𝐹𝑉(𝛼) (∃𝑥)𝛼 𝒆𝒒 (∃𝑧)𝛼(𝑧)

Teorema 2.5.3 DISTRIBUCIÓN GENERALIZADA:

✓ (∀𝑥)(𝛼 ∧ 𝛽) 𝒆𝒒 (∀𝑥)𝛼 ∧ (∀𝑥)𝛽

✓ (∃𝑥)(𝛼 ∨ 𝛽) 𝒆𝒒 (∃𝑥)𝛼 ∨ (∀𝑥)𝛽
✓ (∀𝑥)(𝛼 ∨ 𝛽) 𝒆𝒒 (∀𝑥)𝛼 ∨ 𝛽 , si x ∉ 𝐹𝑉(𝛽)
✓ (∃𝑥)(𝛼 ∧ 𝛽) 𝒆𝒒 (∃𝑥)𝛼 ∧ 𝛽 , si x ∉ 𝐹𝑉(𝛽)
✓ (∀𝑥)(𝛼 → 𝛽) 𝒆𝒒 (∃𝑥)𝛼 → 𝛽, si x ∉ 𝐹𝑉(𝛽)
✓ (∃𝑥)𝛼 → 𝛽 𝒆𝒒 (∀𝑥)(𝛼 → 𝛽) , si x ∉ 𝐹𝑉(𝛽)
✓ (∀𝑥)(𝛼 → 𝛽) 𝒆𝒒 𝛼 → (∀𝑥)𝛽, si x ∉ 𝐹𝑉(𝛽)
✓ (∃𝑥)𝛼 → 𝛽 𝒆𝒒 (𝛼 → (∃𝑥)𝛽) , si x ∉ 𝐹𝑉(𝛽)

PROPIEDADES DE LA SUSTITUCIÓN:

1. Si z∉ 𝐹𝑉(𝑡) ⇒ 𝑡[𝑧/𝑥][𝑐/𝑧]
2. Si z no ocurre en 𝛼 entonces 𝛼[𝑐/𝑥] = 𝛼[𝑧/𝑥][𝑐/𝑧]
3. Sea t libre para x en 𝛼 y 𝛽 y 𝛽 libre para $ en 𝛼. Entonces 𝛼[𝛽/$] = 𝛼[𝑡/𝑥][𝛽[𝑡/𝑥]/$]

Teorema 2.5.6 de sustitución: sean 𝑠, 𝑡, 𝑡 ′ ∈ TERM, 𝛼, β, φ ∈ FORM tal que t y t’ están libres para x en 𝛼 y que 𝛼 𝑦 β
libres para $ en φ

 ⊨ 𝑡 =′ 𝑡 → 𝑠[𝑡/𝑥] =′ 𝑠[𝑡′/𝑥]
 ⊨ 𝑡 =′ 𝑡 → 𝛼[𝑡/𝑥] ↔ 𝛼[𝑡′/𝑥]
 ⊨ (𝛼 ↔ β) → φ[𝛼/$] ↔ φ[β/$]
Tema 3.3: DEDUCCION NATURAL DE PRIMER ORDEN
Caso base: derivación trivial (como en PROP)

Conectivos: mismas reglas de introducción y eliminación que en PROP

Cuantificadores: nuevas reglas 𝛿1 … 𝛿𝑛

𝛿1 … 𝛿𝑛

(∀𝑥)𝛼
𝛼 𝐸 ∀(∗𝑘 )
𝐼 ∀(∗𝑘 ) 𝛼[𝑡/𝑥]
(∀𝑥)𝛼
∗𝑘 para realizar la sustitución t debe estar libre para x en 𝛼
∗𝑘 x no ocurre libre en las hipótesis 𝛿1 … 𝛿𝑛 se pone “t está libre para x en 𝛼”

𝛿1 … 𝛿𝑛 𝛿1 … 𝛿𝑛 [𝛼]𝑛
𝛿1 … 𝛿𝑛

𝛼[𝑡/𝑥] (∃𝑥)𝛼 𝛽
(𝑛)
𝐼 ∃(∗𝑘 ) 𝐸 ∃(∗𝑘 )
(∃𝑥)𝛼 𝛽

∗𝑘 para realizar la sustitución t debe estar libre para x en 𝛼 ∗𝑘 x no ocurre libre ni en β ni en las hipótesis 𝛿1 … 𝛿𝑛
se pone “t está libre para x en 𝛼”

AXIOMAS:

1. (∀𝑥)𝑥 =′ 𝑥
2. (∀𝑥)(∀𝑦)𝑥 =′ 𝑦 → 𝑦 =′ 𝑥
3. (∀𝑥)(∀𝑦)(∀𝑧)(𝑥 =′ 𝑦 ∧ 𝑦 =′ 𝑧 → 𝑥 =′ 𝑧)
4. (∀𝑦1 )…(∀𝑦𝑛 )(∀𝑧1 )…(∀𝑧𝑛 )(
∧1≤𝑖≤𝑛 𝑦𝑖 =′ 𝑧𝑖 → 𝑡(𝑦𝑖 , … , 𝑦𝑛 ) =′ 𝑡(𝑧𝑖 , … , 𝑧𝑛 )
(∀𝑦1 )…(∀𝑦𝑛 )(∀𝑧1 )…(∀𝑧𝑛 )(
∧1≤𝑖≤𝑛 𝑦𝑖 =′ 𝑧𝑖 → 𝜑(𝑦𝑖 , … , 𝑦𝑛 ) ↔ 𝜑(𝑧𝑖 , … , 𝑧𝑛 )

𝑅𝐼 1 𝑡1 =′ 𝑠1 𝑡𝑛 =′ 𝑠𝑛
…
𝑡 =′ 𝑡
𝑅𝐼 4
𝑡[𝑡1 , … . , 𝑡𝑛 /𝑧1 , … . , 𝑧𝑛 ] =′ 𝑡[𝑠1 , … . , 𝑠𝑛 /𝑧1 , … . , 𝑧𝑛 ]
𝑡 =′ 𝑠
𝑅𝐼 2
𝑠 =′ 𝑡
𝑡1 =′ 𝑠1 … 𝑡𝑛 =′ 𝑠𝑛 𝜑[𝑡1 , … . , 𝑡𝑛 /𝑧1 , … . , 𝑧𝑛 ]
𝑅𝐼 4 ∗𝑘
𝑡 =′ 𝑠 𝑠 =′ 𝑟 𝜑[𝑠1 , … . , 𝑠𝑛 /𝑧1 , … . , 𝑧𝑛 ]
𝑅𝐼 3
𝑡 =′ 𝑟 ∗𝑘 para cada i ∈ [1..n] se tiene que ti y si estan libres para zi
se pone “ti y si están libres para zi en 𝜑 “

𝑡1 =′ 𝑠1 … 𝑡𝑛 =′ 𝑠𝑛 𝑃(𝑡1 , … . , 𝑡𝑛 )
𝑅𝐼 4′ ∗
𝑡1 =′ 𝑠1 … 𝑡𝑛 =′ 𝑠𝑛 𝑃(𝑠1 , … . , 𝑠𝑛 )
𝑅𝐼 4′
𝑓𝑗 (𝑡1 , … . , 𝑡𝑛 ) = 𝑓𝑗 (𝑠1 , … . , 𝑠𝑛 )
RESUMEN DE TODAS LAS DERIVACIONES (INCLUIDAS PROP)

𝛿1 … 𝛿𝑛 𝛿1 … 𝛿𝑛 𝛿1 … 𝛿𝑛 𝛿1 … 𝛿𝑛
𝛿1 … 𝛿𝑛 𝛿1 … 𝛿𝑛

𝛼 𝛽 𝛼 𝛽
𝛼∧𝛽 𝛼∧𝛽
𝐼∧ 𝐸 ∧1 𝐸 ∧2 𝐼 ∨1 𝐼 ∨2
𝛼∧𝛽 𝛼 𝛼∨𝛽 𝛼∨𝛽
𝛽

𝛿1 … 𝛿𝑛 𝛿1 … 𝛿𝑛 [𝛼]K 𝛿1 … 𝛿𝑛 [𝛽]K
𝛿1 … 𝛿𝑛 , [𝛼]K 𝛿1 … 𝛿𝑛 𝛿1 … 𝛿𝑛

𝛼∨𝛽 𝛿 𝛿
𝛽 𝛼→𝛽 𝛼
𝐸 ∨K
𝐼 →K
𝛼→𝛽 𝛽
𝐸→ 𝛿

𝛿1 … 𝛿𝑛 𝛿1 … 𝛿𝑛 𝛿1 … 𝛿𝑛 [𝛼]K 𝛿1 … 𝛿𝑛 𝛿1 … 𝛿𝑛
𝛿1 … 𝛿𝑛 [𝛽]K

𝛼↔𝛽 𝛼 𝛽 𝛼 𝛼↔𝛽 𝛽

𝐸↔ 𝐼 ↔K 𝛼
𝐸↔
𝛽 𝛼↔𝛽

𝛿1 … 𝛿𝑛 [𝛼]K 𝛿1 … 𝛿𝑛 𝛿1 … 𝛿𝑛 [¬𝛼]K
𝛿1 … 𝛿𝑛

⊥ 𝛼 ⊥
𝐼¬ K ¬𝛼
𝑅𝐴𝐴 K
¬𝛼
𝐸¬ 𝛼
⊥

𝛿1 … 𝛿𝑛
𝛿1 … 𝛿𝑛 𝛿1 … 𝛿𝑛

𝛼 (∀𝑥)𝛼 ⊥
𝐼 ∀(∗𝑘 ) 𝐸 ∀(∗𝑘 ) 𝐸⊥
𝛼
(∀𝑥)𝛼 𝛼[𝑡/𝑥]

∗𝑘 x no ocurre libre en las hipótesis 𝛿1 … 𝛿𝑛 ∗𝑘 para realizar la sustitución t debe estar libre para x en 𝛼
se pone “t está libre para x en 𝛼”
𝛿1 … 𝛿𝑛
𝑅𝐼 1
𝑡 =′ 𝑡
𝛼[𝑡/𝑥]
𝐼 ∃(∗𝑘 )
(∃𝑥)𝛼
𝑡 =′ 𝑠 𝑡 =′ 𝑠 𝑠 =′ 𝑟
∗𝑘 para realizar la sustitución t debe estar libre para x en 𝛼
𝑅𝐼 2 𝑅𝐼 3
se pone “t está libre para x en 𝛼” 𝑠 =′ 𝑡 𝑡 =′ 𝑟

𝑡1 =′ 𝑠1 … 𝑡𝑛 =′ 𝑠𝑛
𝛿1 … 𝛿𝑛 𝛿1 … 𝛿𝑛 [𝛼]𝑛 𝑅𝐼 4
𝑡[𝑡1 , … . , 𝑡𝑛 /𝑧1 , … . , 𝑧𝑛 ] =′ 𝑡[𝑠1 , … . , 𝑠𝑛 /𝑧1 , … . , 𝑧𝑛 ]

(∃𝑥)𝛼 𝛽
(𝑛)
𝐸 ∃(∗𝑘 ) 𝑡1 =′ 𝑠1 … 𝑡𝑛 =′ 𝑠𝑛 𝜑[𝑡1 , … . , 𝑡𝑛 /𝑧1 , … . , 𝑧𝑛 ]
𝛽
𝑅𝐼 4 ∗𝑘
∗𝑘 x no ocurre libre ni en β ni en las hipótesis 𝛿1 … 𝛿𝑛 𝜑[𝑠1 , … . , 𝑠𝑛 /𝑧1 , … . , 𝑧𝑛 ]
∗𝑘 para cada i ∈ [1..n] se tiene que ti y si estan libres para zi
se pone “ti y si están libres para zi en 𝜑 “
Tema 3.4: COMPLETITUD DE PRIMER ORDEN
Definiciones básicas.

𝛤 ⊆ 𝑆𝐸𝑁𝑇, 𝜑 ∈ 𝑆𝐸𝑁𝑇
Cálculo Correcto: 𝜞 ⊢ 𝝋 ⇒ 𝜞 ⊨ 𝝋
Cálculo Completo: 𝜞 ⊨ 𝝋 ⇒ 𝜞 ⊢ 𝝋
El Cálculo Definido 𝛤 ⊆ 𝑃𝑅𝑂𝑃, 𝜑 ∈ 𝑆𝐸𝑁𝑇 – Cumple las dos Propiedades: 𝜞 ⊨ 𝝋 ⇔ 𝜞 ⊢ 𝝋

𝜞 ⊨ 𝝋 definida como 𝜞 ⊨ 𝝋 ⇔ (∀ ℳ: 𝑒𝑡𝑎)(ℳ ⊨ 𝛤 ⇒ ℳ ⊨ φ)

ℳ ⊨ 𝛤 ⇔ (∀ 𝜔 ∈ 𝛤)(ℳ ⊨ 𝜔)

𝜞 ⊢ 𝝋 definida como 𝜞 ⊢ 𝝋 ⇔ (∃ 𝐷 ∈ 𝐷𝐸𝑅)𝐻(𝐷) ⊆ 𝛤 𝑦 𝐶(𝐷) = φ)

Como probar que:

𝜞⊢𝝋 𝜞 ⊬ 𝝋
opción 1: Construir Derivación opción 1: Aplicar Correctitud: 𝜞 ⊨ 𝝋
opción 2: Aplicar Correctitud: 𝜞 ⊨ 𝝋

𝜞⊨𝝋
𝜞⊭ 𝝋
opción 1: Aplicación definición consecuencia lógica
opción 1: aplicar definición consecuencia lógica
opción 2: Aplicar Completitud: 𝜞 ⊢ 𝝋
Conjunto Consistente. 𝛤 ⊆ 𝑆𝐸𝑁𝑇 𝜞𝒆𝒔 𝒄𝒐𝒏𝒔𝒊𝒔𝒕𝒆𝒏𝒕𝒆
Definición: 𝛤 es consistente ⇔ 𝛤 ⊬ ⊥ Encontrar ℳ: 𝑒𝑡𝑎 tal que ℳ ⊨ 𝛤
Condición Necesaria y Suficiente para la consistencia de Conjuntos
𝜞𝒆𝒔 𝒊𝒏𝒄𝒐𝒏𝒔𝒊𝒔𝒕𝒆𝒏𝒕𝒆
1. 𝛤 es consistente ⇔ 𝛤 ⊬ ⊥
2. 𝛤 es consistente ⇔ 𝛤 ⊭ ⊥ Derivar ⊥ a partir de 𝛤
3. 𝛤 es consistente ⇔ (∃ ℳ: 𝑒𝑡𝑎)(ℳ ⊨ 𝛤 𝑦 ℳ ⊭ ⊥)
4. 𝜞 es consistente ⇔ (∃ 𝓜: 𝒆𝒕𝒂)(𝓜 ⊨ 𝜞 )

Consistente MAXIMAL

𝛤 es CM ⇔ 𝛤 es consistente y (∀ ∆⊆ 𝑆𝐸𝑁𝑇)( 𝛤 ⊆ ∆, ∆ 𝑒𝑠 𝑐𝑜𝑛𝑠𝑖𝑠𝑡𝑒𝑛𝑡𝑒 ⇒ ∆= 𝛤)

𝛤 es CM ⇔ 𝛤 es consistente y (∀ ∆⊆ 𝑆𝐸𝑁𝑇)( 𝛤 ⊆ ∆, ∆ 𝑒𝑠 𝑐𝑜𝑛𝑠𝑖𝑠𝑡𝑒𝑛𝑡𝑒 ⇒ ∆= 𝛤)
𝛤 es CM ⇔ 𝛤 es consistente y (∀ ∆⊆ 𝑆𝐸𝑁𝑇)( 𝛤 ⊂ ∆ ⇒ ∆ 𝑒𝑠 𝑖𝑛𝑐𝑜𝑛𝑠𝑖𝑠𝑡𝑒𝑛𝑡𝑒)
𝛤 es CM ⇔ 𝛤 es consistente y (∀ 𝜑 ⊆ 𝑆𝐸𝑁𝑇)( 𝜑 ∉ 𝛤 ⇒ 𝛤 ∪ {𝜑} 𝑒𝑠 𝑖𝑛𝑐𝑜𝑛𝑠𝑖𝑠𝑡𝑒𝑛𝑡𝑒)
𝛤 es CM ⇔ 𝛤 es consistente y ¬(∃ 𝜑 ⊆ 𝑆𝐸𝑁𝑇)(𝜑 ∈ 𝛤 𝑦 𝛤{𝜑}𝑒𝑠 𝑒𝑠 𝑐𝑜𝑛𝑠𝑖𝑠𝑡𝑒𝑛𝑡𝑒)

TEORIA:

• 𝐶𝑂𝑁𝑆(𝛤) = { φ ∈ SENT | 𝛤 ⊢ φ }
• 𝜞 𝒆𝒔 𝑻𝑬𝑶𝑹𝑰𝑨 ⇔ 𝑪𝑶𝑵𝑺(𝜞) ⊆ 𝜞
o Por lo tanto 𝛤 ⊆ 𝐶𝑂𝑁𝑆 (𝛤) entonces 𝛤 𝑒𝑠 𝑡𝑒𝑜𝑟í𝑎 ⇔ 𝐶𝑂𝑁𝑆 (𝛤) = 𝛤
• Τ ⊆ 𝑆𝐸𝑁𝑇 entonces Τ es teoría ⇔ (Τ ⊢ φ ⇒ φ ∈ Τ)
• Axioma de una teoría - Τ una teoría
o 𝛤 es un conjunto de axiomas para Τ ⇔ Τ = CONS(𝛤)
• Extensiones de una teoría - ℒ ′ extencion de ℒ (lenguajes)
o Τ es teoría sobre un lenguaje de primer orden ℒ
o Τ′ es teoría sobre un lenguaje de primer orden ℒ ′
o Τ ′ es una extensión de Τ ⇔ Τ ⊆ Τ ′
o Τ ′ es una extensión conservativa de Τ ⇔ Τ ′ ∩ ℒ = Τ ′
▪ 𝜑 ∈ ℒ, ( Τ ′ ⊢ φ ⇒ Τ ⊢ 𝜑)
▪ No se agrega fórmulas del lenguaje original al extender
DEFINICIONES Y PROPIEDADES:

𝜞 es un conjunto de sentencias de cierto tipo de similaridad:

𝐌𝐨𝐝 (𝜞) ∶= {𝓜 ∣ (∀𝛂 ∈ 𝚪)𝓜 ⊧ 𝛂}

Es decir, es el conjunto de modelos que modelan a 𝜞 es decir entonces que modelan a todas sus 𝛂

𝒦 es una clase de estructuras para un tipo de similaridad:

𝐓𝐡 (𝓚): = { 𝛂 ∈ 𝑺𝑬𝑵𝑻 ∣ (∀𝓜 ∈ 𝓚)𝓜 ⊧ 𝛂 }
Es decir, es el conjunto de sentencias modelables por ciertas clases de estructuras para un tipo de similaridad.

Propiedades que surgen de la definición Mod y Th

𝛤 ⊆ Th(Mod(𝛤))

𝒦 ⊆ Mod(Th(𝒦))
𝐶𝑂𝑁𝑆(𝛤) = Th(Mod(𝛤))

Teorema de compacidad

𝛤 tiene modelo ⇔ (∀ ∆ ⊆𝑓 𝛤) ∆ tiene modelo.

𝐶𝑜𝑛𝑡𝑟𝑎𝑟𝑒𝑐𝑖𝑝𝑟𝑜𝑐𝑜: 𝛤 no tiene modelo ⇔ (∃ ∆ ⊆𝑓 𝛤) ∆ no tiene modelo.

𝛤 ⊨ 𝜑 ⇒ ⇔ (∃ ∆ ⊆𝑓 𝛤) (∆⊧ 𝜑)
1ra prueba: Usar Completitud
2da prueba: Usar compacidad en 𝛤 ∪ { 𝜑}

𝐸𝑗𝑒𝑚𝑝𝑙𝑜 𝐸𝑗𝑒𝑟𝑐𝑖𝑐𝑖𝑜: 𝑀𝑜𝑑(𝛤 ∪ ∆) = ∅ ⇒ 𝛤 𝑒𝑠 𝑖𝑛𝑐𝑜𝑛𝑠𝑖𝑠𝑡𝑒𝑛𝑡𝑒 𝑦 ∆ 𝑒𝑠 𝑖𝑛𝑐𝑜𝑛𝑠𝑖𝑠𝑡𝑒𝑛𝑡𝑒. FALSO

Construir Contraejemplo:
- Dar un tipo de similaridad
- Dar los conjuntos 𝛤 ∪ ∆ son sentencias de acuerdo al tipo
- Mostrar que 𝛤 ∪ ∆ es inconsistente
- Mostrar que 𝛤 o ∆ son consistente

Propiedad del práctico:

𝐓𝐡 (𝓜) 𝒆𝒔 𝒄𝒐𝒏𝒔𝒊𝒔𝒕𝒆𝒏𝒕𝒆 𝒎𝒂𝒙𝒊𝒎𝒂𝒍 𝒑𝒂𝒓𝒂 𝒄𝒖𝒂𝒍𝒒𝒖𝒊𝒆𝒓 𝒆𝒔𝒕𝒓𝒖𝒄𝒕𝒖𝒓𝒂 𝓜

𝛤 ⊨ 𝜑 ⇒ ⇔ (∃ ∆ ⊆𝑓 𝛤) (∆⊧ 𝜑)
1ra prueba: Usar Completitud
2da prueba: Usar compacidad en 𝛤 ∪ { 𝜑}