Desarrollo axiomático del cálculo proposicional

 Padre fundador: Aristóteles

 Semántica: estudio del significado
 Sintaxis: estudio de las reglas y principios de como escribir expresiones

Tipos de formulas

 Formulas primas: Son las variables proposicionales también llamadas átomos del
sistema
 Formulas compuestas: Cualquier fórmulas que resulte de combinar fórmulas
primas, conectores y otras fórmulas compuestas

El sistema axiomático para el cálculo proposicional, al que nos referiremos en adelante

como Sistema P contiene a los siguientes elementos

 Símbolos o alfabeto: variables, paréntesis, conectores lógicos

 Reglas de formación: Las reglas de formación nos permite construir otros
elementos de P, llamadas las fórmulas del sistema P, partiendo única y
exclusivamente de los símbolos de P.
 Axiomas
 Reglas de inferencia

Axiomas esquema

Los axiomas esquemas son proposiciones esquemas que se aceptan como verdaderas, que
al combinarlas con los demás elementos de P servirán para construir otras fórmulas (13
AXIOMAS)

Reglas de inferencia

El objeto de la inferencia, es obtener una nueva fórmula llamada conclusión, a partir de

fórmulas ya conocidas llamadas premisas.

 MODUS PONENDO PONENS (MPP)…..solo es necesario en el sistema P

si se cumple el antecedente, entonces también se cumple el consecuente:

A , A → B ; concluimos B

 Demostraciones y deducciones
El sistema P provee mecanismos para construir cualquier fórmula a partir de sus
elementos básicos, pero será preciso demostrarlas . Para eso utilizaremos
demostraciones y deducciones.
Llamamos DEMOSTRACION, a toda secuencia finita de fórmulas A 1 ,A 2, …, A n tal
que:
Cada fórmula A i
es un axioma esquema, o Se deriva de dos fórmulas precedentes
por MODUS PONENS
Si A 1 ,A 2, …, A n es una demostración, entonces será una
demostración de su última fórmula A n

Si B es una fórmula y existe una demostración para ella, decimos que

B es demostrable o la denominaremos TEOREMA.

DEDUCCION
 Cada formula Ai: es un axioma
 SiA1,A2, ...An, es una deducción a partir de sus hipótesis h1,h2, ...hm, entonces será
una deducción de su última fórmula An.
 El concepto de deducción incluye al concepto de demostración, pues toda
demostración no es más que una deducción con cero hipótesis.

Otras reglas de INFERENCIA

 MODUS TOLLENDO TOLLEN (MTT)

negando el consecuente, se puede negar el antecedente del condicional

A → B ; ∧−B; concluimos− A

 DISYUNCION LOGICA (DL)

 Sentido incluyente
 Sentido excluyente
 MODUS TOLLENDO PONENS (MTP)

Negando un miembro de una disyunción se afirma el otro miembro

A ∨ B ;−B ; concluimos A ;

A ∨ B ;− A ; concluimos B

 ADJUNCIÓN (AD)
Se suponen dadas dos proposiciones como premisas A, B
Si ambas proposiciones son verdaderas, entonces se podrían juntar en una
proposición utilizando el termino de enlace
A∧B
 SIMPLIFICACION (S)
De igual forma si se cumple P ^ Q, podemos afirmar que se cumple tanto P
como Q

P ∧Q ; concluimos P

P ∧Q ; concluimosQ

 DOBLE NEGACION (DN)

−−P ; concluimos P
P ; concluimos−−P

Leyes de Morgan

Certeza lógica
Una certeza lógica es una fórmula que es verdadera independientemente
de la certeza o entonces falsedad de cada premisa.(1=1)

Lógica de identidad
Para indicar que nombran o se refieren a la misma cosa: Si se dice que X es
igual a Y (28 de julio= fiestas patrias)