8/18/2019 Las Dieciséis Operaciones de La Lógica Proposicional)

1/1

 

LAS DIECISÉIS OPERACIONES DE LA LÓGICA PROPOSICIONAL 1) 0 Contradicción lógica

2) p.q Conjunción: “p.q”  Son cisnes y son blancos

3) -p.q No implicación recíproca: “q D p”  No son cisnes y son blancos

4) p.-q No implicación: “p D q” Son cisnes y no son blancos

5) -p.-q Negación conjunta: “p ! q”  No son cisnes y no son blancos

6) (p.q) v (-p.q) Afirmación q respecto de p “q [p]”  Son cisnes y son blancos o no soncisnes y son blancos

7) (p.q) v (p.-q) Afirmación p respecto de q “p [q]”  Son cisnes y son blancos o son cisnesy no son blancos

8) (p.q) v (-p.-q) Bicondicional o equivalencia “p = q”  Son cisnes y son blancos o no soncisnes y no son blancos

9) (-p.q) v (p.-q) Disyunción exclusiva “p ^ q”  No son cisnes y son blancos o soncisnes y no son blancos

10) (-p.q) v (-p.-q) Afirmación no -p respecto de q “-p [q]”  No son cisnes y son blancos o no soncisnes y no son blancos

11) (p.-q) v (-p.-q) Afirmación no -q respecto de p “-q [p]”  Son cisnes y no son blancos o no soncisnes y no son blancos

12) (p.q) v (-p.q) v (p.-q) Disyunción inclusiva: “p v q”  Son cisnes y blancos o no son cisnesy blancos o son cisnes y no blancos

13) (p.q) v (p.-q) v (-p.-q) Implicación recíproca “q ) p”  Son cisnes y blancos o cisnes y noblancos 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 cisnesy no blancos o no cisnes y no blancos

15) (p.q) v (-p.q) v (-p.-q) Condicional o implicación material: “p ) q”  Son cisnes y blancos o no cisnes yblancos o no cisnes y no blancos

16) (p.q) v (-p.q) v (p.-q) v (-p.-q) Afirmación completa: “p * q”  Son cisnes y blancos o no cisnes yblancos o cisnes y no blancos o nocisnes y no blancos

P Q 0 p.q qDp pDq p!q q[p] p[q] p=q p^q -p[q] -q[p] pvq q ) p p I q p ) q p*qV V 0 V F F F V V V F F F V V F V V

V F 0 F F V F F V F V F V V V V F V

F V 0 F V F F V F F V V F V F V V V

F F 0 F F F V F F V F V V F V V V V