martes, 1 de noviembre de 2016

ESQUEMAS Hª DE LA FILOSOFÍA

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