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