first-order logic (Q4055684)

From Wikidata
Jump to: navigation, search
formal system; uses quantified variables over non-logical objects and allows the use of sentences that contain variables; quantifies only variables that range over individuals (elements of the domain of discourse)
  • first-order predicate calculus
  • predicate logic
edit
Language Label Description Also known as
English
first-order logic
formal system; uses quantified variables over non-logical objects and allows the use of sentences that contain variables; quantifies only variables that range over individuals (elements of the domain of discourse)
  • first-order predicate calculus
  • predicate logic

Statements

Identifiers