„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
dulikátum ki |
halmazelméleti megfgelelő |
||
30. sor:
A háromértékű logikában két tagadás van: a gyenge és az erős. A kettő abban különbözik, hogy az erős tagadás megőrzi a preszuppozíciókat.
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á.
A tagadószó megjelenése azonban nem feltétlenül jelent negációt. A természetes nyelv „nem” szava ennél sokoldalúbb:
| |||