Single Idea 9532

[catalogued under 4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / b. Terminology of PL]

Full Idea

If A and B are expressible in propositional calculus notation, they are 'subcontrary' if they are never both false, which may be tested by the truth-table for A∨B, which is a tautology if they are subcontrary.

Gist of Idea

'Subcontrary' propositions are never both false, so that A∨B is a tautology

Source

E.J. Lemmon (Beginning Logic [1965], 2.3)

Book Reference

Lemmon,E.J.: 'Beginning Logic' [Nelson 1979], p.69