Logica matematica

Solo disponible en BuenasTareas
  • Páginas : 2 (254 palabras )
  • Descarga(s) : 0
  • Publicado : 4 de febrero de 2012
Leer documento completo
Vista previa del texto
LEYES DE LAS PROPOSICIONES | EQUIVALENCIAS LOGICAS |
LEY DE IDEM POTENCIA P v P <=> P P ʌ P<=> P | 1. p → q <=> ¬p v q 2. p ↓ q <=> ¬p ʌ ¬q 3. ¬(p → q) <=> p ʌ ¬q4. (p ṿ q) <=> (p v q) ʌ ¬(p ʌ q) 5. p ↔ q <=> (p → q) ʌ (q → p) 6. p → q <=>¬q → ¬p 7. p ṿ q <=> ¬(p ↔ q) 8. ¬(p ↓ q) <=> p v q 9. p v q <=> ¬p → q |LEYES ASOCIATIVAS(P v Q) v R <=> P v (Q v R)(P ʌ Q) ʌ R <=> P ʌ (Q ʌ R) | |
LEYESCONMUTATIVASP v Q <=> Q v PP ʌ Q <=> Q ʌ P | |
LEYES DISTRIBUTIVASP v (Q ʌ R) <=> (P vQ) ʌ (P v R)P ʌ (Q v R) <=> (P ʌ Q) v (P ʌ R) | |
LEYES DE IDENTIDADP v F <=> PP v V<=> VP ʌ F <=> FP ʌ V ↔P | |
LEYES DE ABSORCIONP v (P ʌ Q) <=> PP ʌ (P v Q)<=> P | |
LEYES DE COMPLEMENTOP v ¬P <=> VP ʌ ¬P <=> F¬ ¬ P <=> P¬V <=> F¬F<=> V | |
LEYES DE MORGAN¬ (P v Q) <=> ¬P ʌ ¬Q¬ (P ʌ Q) <=> ¬P v ¬Q | |
tracking img