You are on page 1of 1

A Flowchart on Logical Properties

Keith Burgess-Jackson
14 October 2016

All four logical propertiestautologousness, self-contradictoriness, contingency, and self-consistencyare accounted


for in this flowchart. Let X represent a propositional form. The symbol is the possibility operator. It is to be read
as It is possible that. The expression X? is to be read as Is it possible for X to be true?
X?
Yes.

No.

X is self-consistent.

X is self-contradictory.

X?
Yes.
X is contingent.

No.
X is tautologous.

See the handout entitled Logical Properties of Propositional Forms for definitions and examples.

You might also like