[FOM] Terminology

[MartDowd at aol.com]

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>