Lgica de enunciados.

El sistema PM. La lgica de enunciados como sistema axiomtico.

(Tomado con modificaciones menores de A. Deao Introduccin a la lgica formal Madrid 1990 Ed.
Alianza. Pgina 119 y siguientes) .

A) Signos elementales.
1. Variables proposicionales: p,q,r,s,t,p1,q1,r1,s1,t1,......,pn,qn,rn,sn,tn.
2. Conectivas o functores de enunciado: , .
3. Signos de puntuacin: parntesis diversos como ( ) ,[ ] , { } ,etc.

B) Signos definidos.
( ) X Y = Df .( X Y )
( )X Y = Df .X Y
( )X Y = Df .[(X Y ) ( Y X ) ]

C) Reglas de formacin.
RF1. Una variable proposicional sola es una expresin bien formada del clculo, ebf.
RF2. Si X es una ebf, entonces X , tambin lo es.
RF3. Si X e Y son ebfs, entonces X Y , tambin lo es.
RF4. Estas son todas las Reglas de Formacin del clculo.

D) Axiomas.
A1.( p p ) p
A 2,q ( p q )
A3.( p q ) (q p )

[ (
A 4. p q r ) ] [q ( p r ) ]
A 5.(q r ) [ (p q ) (p r ) ]

E). Reglas de transformacin.

RT.1. Dada una tesis del clculo, en el que aparecen variables proposicionales, el resultado de sustituir
una, algunas o todas esas variables por frmulas bien formadas del clculo ser tambin una tesis del
clculo. Y ello con una nica restriccin, si bien importante: cada variable ha de ser sustituida siempre
que aparece, y siempre por el mismo sustituto.
(Regla de sustitucin)
RT.2. Si X es una tesis del clculo, y lo es tambin la expresin X Y , entonces Y es una
tesis del sistema. (Regla de separacin o modus ponendo ponens).
(RT. 3. Transitividad del condicional)

F) Teoremas.