Leyes Lógicas (2 parte)

Vista previa del material en texto

Ley de la disyunción excluyente
(p  q)  ( p  ¬q)  (q  ¬p) 
Juan trabaja o estudia, pero no ambas cosas
Juan trabaja pero no estudia, o estudia pero no trabaja
Ley asociativa de la disyunción excluyente
(p  q)  r  p  ( q  r)
 O 4 es par o impar , o 4 es primo
O 4 es par o , 4 es impar o primo
Ley de la condicional 
 
(p  q)  ¬ p  q 
 Si llueve , entonces las calles se mojan
No llueve o las calles se mojan
Ley de contrarecíproca
(p  q)  (¬q  ¬p) 
 Si llueve , entonces las calles están mojadas
Si las calles no están mojadas, no está lloviendo
Ley de negación de la condicional
¬(p  q)  p  ¬q 
 No es cierto que, si visto de rojo, llueve.
Visto de rojo y no llueve
Ley de la bicondicional
(p  q)  (p  q) (q  p) 
 8 es par si y solo si es divisible en 2
Si 8 es par es divisible en dos y , si 8 es divisible en 2 entonces es par
Ley de la negación de la bicondicional 
¬(p  q)  ( p  ¬q)  (q  ¬p) 
 No es cierto que, 9 es primo si y solo si es impar
9 es primo y no es impar o , 9 es impar y no es primo