Negación
Una sentencia que es modificada con el conectivo no es llamada negacion de la sentencia original.
NEGACION
|
|
P
|
᷆P
|
F
|
V
|
V
|
F
|
Conjunción
La conjuncion de P,Q es denotada como P^Q y la conjuncion sera verdadera si y solo si P y Q son verdaderas.
CONJUNCION
|
||
P
|
Q
|
P ^ Q
|
F
|
F
|
F
|
F
|
V
|
F
|
V
|
F
|
F
|
V
|
V
|
V
|
Disyunción
Sera verdadera si al menos uno de sus elementos es verdadero.
DISYUNCION
|
||
P
|
Q
|
P ¥ Q
|
F
|
F
|
F
|
F
|
V
|
V
|
V
|
F
|
V
|
V
|
V
|
V
|
Implicacion →
La proposicion P es llamada la hipotesis o antecedente de la replicacion. Mientras que Q es llamada consecuencia de la implicacion.
IMPLICACION →
|
||
P
|
Q
|
P→Q
|
F
|
F
|
V
|
F
|
V
|
V
|
V
|
F
|
F
|
V
|
V
|
V
|
Doble Implicacion
Es la equivalencia de 2 proposiciones (si y solo si).
DOBLE IMPLICACION ↔
|
||
P
|
Q
|
P ↔ Q
|
F
|
F
|
V
|
F
|
V
|
F
|
V
|
F
|
F
|
V
|
V
|
V
|
0 comentarios :
Publicar un comentario