# Definition:Subcontrary Statements

Jump to navigation
Jump to search

## Definition

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

## Example

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

- Definition:Categorical Statement
- Definition:Contradictory Statements
- Definition:Contrary Statements
- Definition:Square of Opposition

## Sources

- 1965: E.J. Lemmon:
*Beginning Logic*... (previous) ... (next): Chapter $2$: The Propositional Calculus $2$: $3$ Truth-Tables: $\text {(ii)}$ - 1995: Merrilee H. Salmon:
*Introduction to Logic and Critical Thinking*: $\S 10.2$