Académique Documents
Professionnel Documents
Culture Documents
Lgica Simblica
Prof. Luis Eduardo Falcn
ITESM Campus Guadalajara
Apuntes del Prof. Luis Eduardo Falcn
Proposicin Lgica
o simplemente
Proposicin:
Los conectivos lgicos se utilizan para combinar proposiciones y obtener nuevas proposiciones. Simples o Atmicas Proposiciones Compuestas
Apuntes del Prof. Luis Eduardo Falcn
Negacin
P
0 1
~P
1 0
Conjuncin
P
0 0 1 1
Q
0 1 0 1
PQ
0 0 0 1
Disyuncin
P
0 0 1 1
Q
0 1 0 1
PQ
0 1 1 1
Condicional
P
0 0 1 1
Q
0 1 0 1
PQ
1 1 0 1
Condicional o Implicacin
Se lee:
Si P entonces Q
PQ
Bicondicional
P
0 0 1 1
Q
0 1 0 1
PQ
1 F F 1
PQ
Definicin: P Q P Q Q P
Se lee:
Disyuncin Excluyente
P
0 0 1 1
Q
0 1 0 1
PQ
0 1 1 0
P Q , P Q, P Q, P Q
tambin son frmulas bien formadas. 4. Todas las frmulas bien formadas se obtienen aplicando las reglas 1, 2 y 3.
Apuntes del Prof. Luis Eduardo Falcn
Tautologa y Equivalencia
Una fbf se dice que es una tautologa si es verdadera para cualquier valor de verdad de sus tomos. Dos fbf A y B se dice que son equivalentes si A B es una tautologa, y se denota A B
Reglas de Inferencia
Deduccin Natural [Gentsen, 60s]
(b)
-Intro ~
-Elim
(d)
~ -Elim (Regla de la
~~
Intro
Elim
Identidades Lgicas
()
(b) Contraposition Law: (c) Distributive Laws: (i) v ( ) ( v ) ( v ) (ii) ( v ) ( ) v ( ) (e) DeMorgans Laws: (i) ( v ) (ii) ( ) v
Identidades Lgicas
()
(b) Contraposition Law: (c) Distributive Laws: (i) v ( ) ( v ) ( v ) (ii) ( v ) ( ) v ( ) (e) DeMorgans Laws: (i) ( v ) (ii) ( ) v
Formas Normales
Una frmula F est en forma normal conjuntiva si tiene la forma
f2 f 2 f m
donde cada f k es una fbf constituida por disyunciones de proposiciones atmicas y/o sus negaciones. Una frmula F est en forma normal disyuntiva si tiene la forma
f2 f 2 f m
donde cada f k es una fbf constituida por conjunciones de proposiciones atmicas y/o sus negaciones..
Apuntes del Prof. Luis Eduardo Falcn