Crossword clue: (logic) a proposition that is true if and only if another proposition is false
1 answer found in Letterora's clue database (Wikidata facts, Open Trivia DB, WordNet and Webster definitions — all licensed sources).
Possible answers
(logic) a proposition that is true if and only if another proposition is false