Conectores y Tablas de Verdad
Conjuncin
a b a bF F F
F V F
V F F
V V V
Disyuncin Inclusiva
a b a bF F F
F V V
V F V
V V V
Disyuncin Exclusiva
a b a Y bF F F
F V V
V F V
V V F
Bicondicional o Equivalencia
a b a bF F V
F V F
V F F
V V V
Condicional o Implicacin
a b
Directo
a = bF F V
F V V
V F F
V V V
A Partir del Directo Se Generan Otras 3 Proposiciones:
Recproco: baContrarecproco:baContradirecto: ab
Propiedades de la Lgica Proposicional
1. CONMUTATIVA 2. ASOCIATIVA 3. DISTRIBUTIVA 4. IDEMPOTENCIA
(a b) (b a) (a b c) a (b c) (a b) c a (b c) (a b) (a c) (a a) a(a b) (b a) (a b c) a (b c) (a b) c a (b c) (a b) (a c) (a a) a
5. DOBLE NEGACIN 6. DE MORGAN 7. DICOTOMA 8. CONTRADICCIN
(a) a (a b) (a b) (a a) V (a a) F(a b) (a b)
9. DOMINACIN 10. ELEMENTO NEUTRO 11. ABSORCIN
(a F) F (a V) a a (a b) a(a V) V (a F) a a (a b) a
12. LEYES DEL CONDICIONAL Y BICONDICIONAL
a) (a b) (a b) c) (a b) (b a) e) (a b) [(a b) (b a)]b) (a b) (a b) d) (a b) [(a b) (b a)]
Circuitos