No (˺, ̅ )
Una sentencia que es modificada con el conectivo NO, es llamada la negación de la sentencia original.
|
P
|
˺
P
|
|
F
|
V
|
|
V
|
F
|
Y (^)
La conjunción de P, Q es denotada como P^Q.
La conjunción es verdad solo si P y Q son verdaderas.
|
P
|
Q
|
P^Q
|
|
F
|
F
|
F
|
|
F
|
V
|
F
|
|
V
|
F
|
F
|
|
V
|
V
|
V
|
O (v)
La disyunción de P,Q es denotada como PvQ. La disyunción es verdadera si al menos uno de sus elementos es verdadero.
|
P
|
Q
|
PvQ
|
|
F
|
F
|
F
|
|
F
|
V
|
V
|
|
V
|
F
|
V
|
|
V
|
V
|
V
|
Implicación (→)
Para dos declaraciones P,Q, decimos P implica a Q y se escribe P→Q. La preposición P es llamada la hipótesis o antecedente de la implicación .Q es llamada la conclusión o consecuente de la implicación.
|
P
|
Q
|
P→Q
|
|
F
|
F
|
V
|
|
F
|
V
|
V
|
|
V
|
F
|
F
|
|
V
|
V
|
V
|
Si y solo si o doble implicación (↔)
Otra declaración común en matemáticas es P si y solo si Q, o simbólicamente ↔. Esto es llamado la equivalencia de 2 proposiciones si P entonces Q y si Q entonces P, Q es condiciona necesaria y suficiente para P.
|
P
|
Q
|
P↔Q
|
|
F
|
F
|
V
|
|
F
|
V
|
F
|
|
V
|
F
|
F
|
|
V
|
V
|
V
|
Ejercicio
|
P
Q R
|
QvR
|
P→(QvR)
|
P→(QvR)
|
|
V
V V
|
V
|
V
|
V
|
|
V
V F
|
V
|
V
|
V
|
|
V
F V
|
V
|
V
|
V
|
|
V
F F
|
F
|
V
|
V
|
|
F
V V
|
V
|
V
|
V
|
|
F
V F
|
V
|
V
|
V
|
|
F
F V
|
V
|
V
|
V
|
|
F
F F
|
F
|
F
|
F
|
No hay comentarios.:
Publicar un comentario