Monday, January 13, 2003

First-Order Predicate Logic

First-order logic permits reasoning about the propositional connectives (as in propositional logic) and also about quantification ("all" or "some"). RDF is, if I'm not mistaken (and I'm going down a path I've only begun to study) a FOPL language.

Post a Comment


I'm probably required to say that the views expressed in this blog are my own, and do not necessarily reflect those of my employer. Also, except as otherwise noted, the content of this page is licensed under the Creative Commons Attribution 3.0 License, and code samples are licensed under the BSD License.