„Negáció” változatai közötti eltérés
[ellenőrzött változat] | [ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
Nincs szerkesztési összefoglaló |
a →A klasszikus logikában: dupla szóköz; and angolul és |
||
34. sor:
* Egy <math>P\wedge\neg P</math> alakú kifejezés azonosan hamis (ellentmondás elve)
* A [[De Morgan-szabályok]] alapján a negáció disztributív a konjunkcióra és a diszjunkcióra:
:<math>\neg(P \lor Q) \equiv (\neg P \land \neg Q)</math>,
:<math>\neg(P \land Q) \equiv (\neg P \lor \neg Q)</math>.
|