[FOM] Terminology

Alasdair Urquhart urquhart at cs.toronto.edu
Wed Nov 28 10:30:41 EST 2012

In Section 15 of his Introduction to Mathematical
Logic, Alonzo Church uses the word "contradiction"
for a propositional formula that is false under
all assignments to its variables.  This terminology
seems perfectly satisfactory to me.

More information about the FOM mailing list