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

Popular posts from this blog

I ported a JavaScript app to Dart. Here's what I learned.

Converting Array to List in Scala

Minification is not enough, you need tree shaking