„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
Kripke-szemantika., szleng |
→Tulajdonságai: Bevezetése és kivezetése |
||
47. sor:
A Kripke-szemantikában, ahol a lehetséges világok határozzák meg a logikai formulák értékét, a tagadás a halmazelméleti komplementer megfelelője.
==Bevezetése és kivezetése==
A természetes dedukcióban, ha <math>P</math> és <math>Q</math> állítások, és a <math>P</math> állításból következik <math>Q</math> és <math>\neg Q</math>, akkor következik <math>\neg P</math>. Ezt úgy nevezik, hogy [[reductio ad absurdum]]. A tagadás kivezetése az a szabály, hogy <math>P</math> és <math>\neg P</math>-ből következik <math>Q</math>. Ezt úgy is nevezik, hogy ''ex falso quodlibet''. A kettős tagadás kivezetése az a szabály, hogy <math>\neg \neg P</math>-ből következik <math>P</math>.
==Halmazelméleti megfelelő==
Halmazelméleti megfelelője a komplementerképzés. Vagyis, ha az alaphalmaz <math>U</math>, és <math>A</math> éppen az a halmaz, melynek elemeire az állítás teljesül, és semmi más elemre nem, akkor az állítás tagadását éppen <math>U \setminus A</math> halmaz elemei teszik igazzá.
| |||