[FOM] Terminology

MartDowd at aol.com MartDowd at aol.com
Fri Nov 30 11:25:50 EST 2012

In computer science, the word "unsatisfiable" has been in wide use for such 
 formulas for quite some time.
- Martin Dowd
In a message dated 11/29/2012 9:21:02 A.M. Pacific Standard Time,  
botocudo at gmail.com writes:

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20121130/3eff2c70/attachment.html>

More information about the FOM mailing list