Symbolic logic equivalency (logic, firstorderlogic)
Why can't this logical statement be proved? (logic, firstorderlogic)
Converting Sentences into first Order logic (nlp, firstorderlogic)
Software Engineering Homework question  Specification  FirstOrder Theory (mergesort, firstorderlogic)
first order logic & prolog (prolog, firstorderlogic)
HElp with converting to first order logic (logic, predicates, firstorderlogic)
Prolog  what sort of sentences can't be expressed (prolog, logic, logicprogramming, firstorderlogic)
First Order Logic (artificialintelligence, firstorderlogic)
Alloy expression failed to be typechecked (logic, modeling, specification, firstorderlogic, alloy)
Determining what logic set contains a specific statement: DL, FOL, SecondOrder (ontology, firstorderlogic, descriptionlogic)
What's this boolean law called (boolean, logic, booleanlogic, booleanexpression, firstorderlogic)
Logic simplification in sml (patternmatching, expression, sml, firstorderlogic)
How to translate a firstorder logic sentence into a restriction in Protègè with string matching? (stringmatching, ontology, protege, firstorderlogic)
How can a coq Set or Type be a proposition (types, set, coq, booleanexpression, firstorderlogic)
cryptarithmetic prolog test fails recursion idea (prolog, artificialintelligence, swiprolog, firstorderlogic)
Propositional Theorem Proving [closed] (logic, breadthfirstsearch, theoremproving)
How to get the first rows after order (order)
Order of Growth for Functions (order)
How does a programmer think? [closed] (logic)
Using Boolean operators (logic)
