negacja 2
rzeczownikdomena: myślenierejestr: specj.
Słowosieć [ver.5.0]
PolskiDefinicja
w logice - funktor "NOT", któremu w języku naturalnym odpowiada "nie", "nieprawda, że".
Przykłady
- 1.Negacja przekształca każde zdanie na zdanie o przeciwnej wartości logicznej.
- 2.W klasycznym rachunku zdań negacja pojawia się w szeregu tautologii, tj. formuł prawdziwych zawsze, bez względu na prawdziwość zdań składowych. Odpowiadają im pewne tożsamości opisujące dopełnienie zbioru.
