First-Order Logic System

From GM-RKB
(Redirected from first-order logic)
Jump to: navigation, search

A First-Order Logic System is a Predicate Logic System that allows the representation of logic terms, predicate symbols, function symbols, constant symbols, and of Quantification over Variables.



References

2018

2015

2014

2013

2011


  • http://www.chemistrydaily.com/chemistry/First-order_logic
    • A first-order theory is a theory that can be axiomatised as an extension of first-order logic by adding a recursive set of first-order sentences as axioms.
  • http://encyclopedia.kids.net.au/page/fi/First-order_predicate_calculus
    • Permits the formulation of quantified statements such as "there exists an x such that..." () or "for any x, it is the case that...", where x is a member of the domain of discourse.
  • CYC Glossary http://www.cyc.com/cycdoc/ref/glossary.html
    • first-order predicate calculus (FOPC): A formal language incorporating predicate symbols, function symbols, constant symbols, variables, logical connectives and quantifiers, which can be used to express facts about a world. Unlike propositional logic, FOPC can express general statements or statements about existence, by using quantified variables. "First-order" means that statements which quantify over predicate and function symbols are not allowed.