Reglas de formación y de transformación de Lógica proposicional

Lógica proposicional

Elementos del cálculo lógico:

ü Variables: letras enunciativas: p, q, r, s…

ü Elementos auxiliares: ( ), [ ]…

ü Conectivas lógicas:

 
-Negador ¬ no

 
-Conjuntor ^ y

 
-Disyuntor V o

 
-Implicador ---> Si…entonces…

 
-Coimplicador <--->  <----->Si y sólo si…

ü Reglas de formación de fbf.

1.- Una letra enunciativa es una fbf.

2.- Si A es una fbf, entonces ¬A es una fbf.

3.- Si A y B son fbf, A&;B, AVB, A--->B y A<--->B, también lo son.

ü Reglas básicas de trasformación del cálculo lógico. 

Introducción de la doble negación. A -------- ¬¬A IDN	Eliminación de la doble negación ¬¬A ------ A EDN
Introducción del conjuntor A B ----- A&B IC	Eliminación del conjuntor A&B A&B A EC B EC
Introducción del disyuntor A AVB ID	Eliminación del disyuntor AVB A C B C C
Introducción del implicador A B A®B	Eliminación del implicador o Modus Ponens A®B A B
Introducción del coimplicador A®B B®A A®B	Eliminación del coimplicador A«B A®B & B®A