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.

Popular posts from this blog

Converting Array to List in Scala

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

Null-aware operators in Dart