LAS DIECISIS OPERACIONES DE LA LGICA PROPOSICIONAL

1)

Contradiccin lgica

2)

p.q

Conjuncin: p.q

3)

-p.q

No implicacin recproca: q D p

No son cisnes y son blancos

4)

p.-q

No implicacin: p D q

Son cisnes y no son blancos

5)

-p.-q

Negacin conjunta: p ! q

6)

(p.q) v (-p.q)

Afirmacin q respecto de p q [p]

Son cisnes y son blancos o no son

cisnes y son blancos

7)

(p.q) v (p.-q)

Afirmacin p respecto de q p [q]

Son cisnes y son blancos o son cisnes

y no son blancos

8)

(p.q) v (-p.-q)

Bicondicional o equivalencia p = q

Son cisnes y son blancos o no son

cisnes y no son blancos

9)

(-p.q) v (p.-q)

Disyuncin exclusiva p ^ q

No son cisnes y son blancos o son

cisnes y no son blancos

10)

(-p.q) v (-p.-q)

Afirmacin no -p respecto de q -p [q]

No son cisnes y son blancos o no son

cisnes y no son blancos

11)

(p.-q) v (-p.-q)

Afirmacin no -q respecto de p -q [p]

Son cisnes y no son blancos o no son

cisnes y no son blancos

12)

(p.q) v (-p.q) v (p.-q)

Disyuncin inclusiva: p v q

Son cisnes y blancos o no son cisnes

y blancos o son cisnes y no blancos

13)

(p.q) v (p.-q) v (-p.-q)

Implicacin recproca q ) p

Son cisnes y blancos o cisnes y no

blancos o no son cisnes y no blancos.

14)

(-p.q) v (p.-q) v (-p.-q)

Incompatibilidad: p I q

No son cisnes y son blancos o cisnes

y no blancos o no cisnes y no blancos

15)

(p.q) v (-p.q) v (-p.-q)

16)

(p.q) v (-p.q) v (p.-q) v (-p.-q)

Son cisnes y son blancos

No son cisnes y no son blancos

Condicional o implicacin material: p ) q Son cisnes y blancos o no cisnes y

blancos o no cisnes y no blancos

Son cisnes y blancos o no cisnes y

blancos o cisnes y no blancos o no
cisnes y no blancos

Afirmacin completa: p * q

P Q
V V

0
0

p.q
V

qDp
F

pDq
F

p!q
F

q[p]
V

p[q]
V

p=q
V

p^q -p[q] -q[p] pvq

F
F
F
V

q)p pIq p)q

V
F
V

p*q
V

V F

F V

F F