Definition:Subcontrary Statements

From ProofWiki
Jump to navigation Jump to search


Two statements are said to be subcontrary if they can both be true, but they cannot both be false.


Let the Universe of Discourse be fruit.

The statements:

There exists some mango that is delicious.
There exists some mango that is not delicious.

are subcontrary.

Also known as

Subcontrary statements can also be referred to as disjunct, which arises from the definition of the logical disjunction operator.

Also see