First-Order Predicate Logic

http://www.rbjones.com/rbjpub/logic/log019.htm

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

Popular posts from this blog