LEYES DE LOS OPERADORES LÓGICOS FUNDAMENTALES

ASIGNATURA: NÚMEROS COMPLEJOS Y MÉTODOS DE DEMOSTRACIÓN

MATEMÁTICA
MÉTODOS DE DEMOSTRACIÓN MATEMÁTICA 3 BGU
1. ¬ ( ¬ p ) ≡ p INVOLUTIVA

2. p ∨ ( q ∧ r ) ≡ ( p ∨ q ) ∧ ( p ∨r )

3. p ∧ ( q ∨ r ) ≡ ( p ∧ q ) ∨ ( p ∧r )

4. ¬ ( p ∧q ) ≡ ( ¬ p ∨ ( ¬ q ) )

5. ¬ ( p ∨q ) ≡ ( ¬ p ∧ ( ¬ q ) )

6. ( p ∨ ( ¬ p )) ≡1 TERCERO EXCLUÍDO

7. ( p ∧ ( ¬ p )) ≡ 0 CONTRADICCIÓN

8. ( p →q ) ≡ ( ¬ p ∨q )

9. ( ¬ p → q ) ≡ ( p ∨q )

10. ¬ ( p → ( ¬q ) ) ≡ ( p ∧ q )

11. ( p →q ) ≡ ( ¬ q → ( ¬ p )) CONTRAPOSITIVA

12. [ ( p →r ) ∧ ( q → r ) ] ≡ [ ( p ∨q ) → r ]

13. [ ( p →q ) ∧ ( p → r ) ] ≡ [ p → ( q ∧ r ) ]

14. [ ( p ∧q ) → r ] ≡ [ p → ( q → r ) ] EXPORTACIÓN

15. ( p →q ) ≡ [ ( p ∧ ( ¬q ) ) →0 ] REDUCCIÓN AL ABSURDO

16. ( p ↔q ) [ ( p → q ) ∧ ( q → p ) ] EQUIVALENCIA LÓGICA

17. ( p ↔q ) ≡ ( q ↔ p )

18. [ ( p →q ) ∧ p ] ⟹ q MODUS PONENS

19. [ ( p →q ) ∧ ( ¬q ) ] ⟹ ( ¬ p ) MODUS TOLLENS

20. [ ( p ∨q ) ∧ ( ¬ p ) ] ⟹ q SILOGISMO DISYUNTIVO

21. [ ( p →q ) ∧ ( r → s ) ] ⟹ [ ( p ∧r ) → ( q ∧s ) ] DILEMA CONSTRUCTIVO

 22. [ ( p →q ) ∧ ( r → s ) ] ⟹ [ ( p ∨r ) → ( q ∨s ) ] DILEMA CONSTRUCTIVO

IRENE CUENCA ALAVA