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
B--> A ----------- A<---->B |
No hay comentarios:
Publicar un comentario