WordNet: negaatio

Sanatista
(logic) a proposition that is true if and only if another proposition is false



negaatio