Sistemas Formales e Introducción a la

Demostración (BORRADOR)

Leonardo Jimenez Moscovitz

ljmoscovitz@yahoo.es
Fundación Universitaria Konrad Lorenz
22 de abril de 2008

Resumen
Sistemas Formales. Demostración

1. Sistema Formal para Cálculo Proposicional

Clásico (Sistema de Rosser)
Se puede establecer un sistema de cálculo proposicional clásico a partir de
la siguiente base axiomática:

Definición 1.1 (Alfabeto) Conjunto enumerable de símbolos que consta de

los siguientes elementos:

1. Letras proposicionales: p, q, r, ...

2. Dos conectivos proposicionales primitivos: Conectivo unario ¬ (negación),
y conectivo binario ∧ (Conjunción).
3. Paréntesis, izquierdo y derecho: ( y )
4. Conectivos proposicionales no primitivos: ∨, ⊃, ≡ .

Definición 1.2 (Conectivos no Primitivos) Sean α y β fbfs. A partir de los

conectivos primitivos, se definen los siguientes conectivos binarios:

1. (∨) Disyunción. α ∨ β ≡ ¬(¬α ∧ ¬β)

2. (⊃) Implicación material. α ⊃ β ≡ ¬(α ∧ ¬β), donde α es el antecedente
y β el consecuente.
3. (≡) Equivalencia. (α ≡ β) ≡ (α ⊃ β) ∧ (β ⊃ α)

1
Regla 1.1 (Reglas de formación de fbfs) Una cadena de símbolos es una
fbf si se obtiene mediante la aplicación de una de las siguientes reglas:

1. Las letras proposicionales son fbfs.

2. α es una fbf, entonces ¬(α) es una fbf.
3. α y β son fbfs, entonces (α) ∧ (β) es una fbf.
4. Nada más es una fbf.

Axioma 1.1 (Rosser 1) p ⊃ p ∧ p

Axioma 1.2 (Rosser 2) p ∧ q ⊃ p

Axioma 1.3 (Rosser 3) (p ⊃ q) ⊃ (¬(q ∧ r) ⊃ ¬(r ∧ p))

Regla 1.2 (Sustitución Uniforme) Sean α, β fbfs de P r, con α una tau-

tología que contiene la variable p. Si α
= α(p/β), esto es, α
es la fórmula
que resulta de sustituir en α, todas las ocurrencias de p por β , entonces α

tautología.

Regla 1.3 (Modus Ponens o Regla de Separación) Si se tiene α y (α ⊃

β) entonces  β

Al conjunto de axiomas y teoremas de una lógica L se le llamarán las tesis de

L. La selección de los tres axiomas de Rosser bien se hubiera podido sustituir por
otro conjunto mínimo de axiomas que permitieran que el sistema fuera completo
y consistente. Los tres axiomas suministrados forman la base del Sistema de
Rosser (Pr ). Las dos reglas de inferencia del sistema lógico son las que le
proporcionan los mecanismos deductivos.
En el proceso deductivo, un conjunto de premisas premisa Γ es un conjunto
de fbf de las cuales se quieren obtener deducciones.

Definición 1.3 (Deducción Formal) Dado una lógica L, una sucesión finita
de fbfs α1 , a2 , ..., an de L se llama deducción formal, si para todo ai , 1 ≤ i ≤ n,
se tiene una de las condiciones siguientes:

1. ai es un axioma, ó
2. ai se obtiene a partir de alguna de las fbfs anteriores (a1 , ..., ai−1) mediante
la aplicación de una de las reglas de inferencia del sistema.

Se dice entonces que la sucesión α1 , α2 , ..., αi−1 es una prueba de αi y se

escribe α1 , α2 , ..., αi−1  αi o Γ  αi . Si Γ = φ se dice que αi es un teorema.

Teorema 1.1 (Deducción) Sea Γ un conjunto posiblemente vacío de premisas.

Si Γ, α  β, entonces Γ  α ⊃ β

2
 Luego si α1 , α2 , ..., αi−1  αi entonces α1 ⊃ (α2 ⊃ (... ⊃ (αi−1 ⊃ αi )...)) es
un teorema, por aplicación reiterada del teorema de la deducción.

Definición 1.4 (Valuación) Si P es un conjunto de letras proposicionales,

una valuación de P es una función v : P −→ Ω, donde Ω es un conjunto de
elementos distintos llamados valores de verdad. Para la lógica clásica bivaluada
Ω = {V, F } . Gracias a las reglas de formación se permite extender de manera
natural una valuación v a una función v̄ en el conjunto (P ) de las fórmulas
cuyas letras proposicionales estan en P , así:

1. v̄ [α] = v [α] si α ∈ P
2. v̄ [¬α] = 1 − v̄ [α]
3. v̄ [α ∧ β] = Min(v̄ [α] , v̄ [β])
4. v̄ [α ∨ β] = Max(v̄ [α] , v̄ [β])
5. v̄ [α ⊃ β] = M ax(1 − v̄ [α] , v̄ [β])

Definición 1.5 (Tautología) Se dice que una fórmula α es una tautología, o

que es válida, y se denota
α, si v̄ [α] = V para toda valuación definida en las
variables proposicionales que la conforman. Si α es una tautología en una lógica
L, se denota
L α.

Teorema 1.2 (Validez) Si L α entonces
L α. En una lógica L, todo teorema

es una tautología.

Teorema 1.3 (Completitud) Si
L α entonces L α. En una lógica L, toda

tautología es demostrable.

Definición 1.6 (Consistencia) Sea Γ una colección de fbfs de una lógica L.

Se dice que Γ es consistente si no existe α tal que Γ L α y Γ L ¬α. Si Γ no
cumple esta condición, se dice que es inconsistente.

Afirmaciónt 1.1 El sistema de Rosser, Pr , es consistente y completo.describe

el sistema formal para el Cálculo Proposicional Clásico según Rosser, que se
denotará como la Lógica de Rosser LR .

1.1. Principios Universales

Definición 1.7 Principio de no contradicción: −(α ∧ −α)

Definición 1.8 Principio del tercio excluido: α ∨ −α

Definición 1.9 Principio de identidad: α = α

Las "leyes lógicas universales"se pueden separar en dos grandes grupos:

3
 1. Aquellas que dependen únicamente de la estructura proposicional de las
expresiones, haciendo referencia particularmente a los conectivos (por ej.
CPC).
2. Las que dependen de una estructura más compleja, asociada con el análisis
sujeto-predicado y los cuantificadores (por ej. los silogismos).

2. Aplicación
Ejemplo 2.1 Demostrar que  p ⊃ p

Ejemplo 2.2 Demostrar que  p ∧ q ⊃ q

Ejemplo 2.3 Demostrar que q  p ⊃ q

Ejemplo 2.4 Demostrar que −p  p ⊃ q

Ejemplo 2.5 ¿Se pueden demostrar los principios univerales dentro del sistema
de Rosser Pr ?

Ejercicio 2.1 ( p ⊃ p) Se tiene un sistema Px de la lógica proposicional clási-

ca, equivalente a Pr . Difiere de éste último en los axiomas, ya que posee 9 axi-
omas en vez de 3. Los axiomas son:

1. p ⊃ (q ⊃ p)
2. (p ⊃ (q ⊃ r)) ⊃ ((p ⊃ q) ⊃ (p ⊃ r))
3. ...(el resto no son necesarios para esta demostración)

Se propone resolverlo de tres maneras diferentes: la demostración básica sin

premisas, la demostración utilizando premisas y la demostración mediante
el Teorema de la Deducción.

Demostración sin Uso de Premisas. Se utilizarán exclusivamente las

reglas de inferencia vistas:
1 (p ⊃ (q ⊃ r)) ⊃ ((p ⊃ q) ⊃ (p ⊃ r)) (Ax 2)
2 (p ⊃ (q ⊃ p)) ⊃ ((p ⊃ q) ⊃ (p ⊃ p)) (SU 1 r/p)
3 (p ⊃ ((p ⊃ p) ⊃ p)) ⊃ ((p ⊃ (p ⊃ p)) ⊃ (p ⊃ p)) (SU 2 q/ (p ⊃ p))
4 p ⊃ (q ⊃ p) (Ax 1)
5 (p ⊃ ((p ⊃ p) ⊃ p)) (SU 4 q/ (p ⊃ p))
6 ((p ⊃ (p ⊃ p)) ⊃ (p ⊃ p)) (MP 3,5)
7 p ⊃ (p ⊃ p) (SU 4 q/p)
8 (p ⊃ p) (MP 6,7)
Luego  p ⊃ p.
Demostración con Uso de Premisas. Se utilizará el mismo esquema
pero permitiendo el uso de premisas:

4
 1 p ⊃ (q ⊃ p) (Ax 1)
2 p ⊃ (p ⊃ p) (SU 1 q/p)
3 p P
4 (p ⊃ p) (MP 2,3)
Luego  p ⊃ p.
Demostración mediante Teorema de la Deducción. Este tipo de
demostración en trivial en este caso
1 p P
2 p L1
Luego p  p. y aplicando el TD se tiene  p ⊃ p

Ejercicio 2.2 (Demostrar que la regla Modul Tollendo Ponens es válida según el sistema Px )