Está en la página 1de 1

Conectores y Tablas de Verdad

Conjuncin Disyuncin Inclusiva Disyuncin Exclusiva Bicondicional o Equivalencia


a

V
F

Condicional o Implicacin
Directo
a
b
a

A Partir del Directo Se Generan Otras 3 Proposiciones:

Recproco: b

ba
ab

Contrarecproco:
Contradirecto:

Propiedades de la Lgica Proposicional


1. CONMUTATIVA

(a
(a

b)
b)

(b
(b

2. ASOCIATIVA

a)

(a

a)

(a

5. DOBLE NEGACIN

(a)

(a

F)
V)

c)
c)

a
a

(b
(b

c)
c)

3. DISTRIBUTIVA

(a
(a

b)
b)

(b
(b

c)
c)

6. DE MORGAN

(a
(a

9. DOMINACIN

(a

b)
b)

(a

(a

b)
b)

(a
(a

4. IDEMPOTENCIA

c)

(a

c)

(a

a)

a)
a)

a
a

8. CONTRADICCIN

(a

a)

11. ABSORCIN

V) a
(a F) a

(a

(a

7. DICOTOMA

(a b)
(a b)

10. ELEMENTO NEUTRO

a
a

(a
(a

b)
b)

a
a

12. LEYES DEL CONDICIONAL Y BICONDICIONAL

a)

(a

b)

(a

b) (a b)
b) (a b)

c) (a
d) (a

b) (b a)
b) [(a b) (b

Circuitos

e)
a)]

(a

b)

[(a

b)

(b

a)]