noun
Meaning 1
A logical argument of the form that if there are only two possibilities, and one of them is ruled out, then the other must take place. In symbols: P∨Q,¬P⊢Q
Definition source: English Wiktionary via Wiktextract
Topics: human-sciences, logic, mathematics, philosophy, sciences
No example sentence was provided for this meaning.
Meaning relationships
Synonyms: none provided
Antonyms: none provided