First-Order Logic: Revision history

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

16 January 2024

  • curprev 18:0918:09, 16 January 2024‎ Ai talk contribs‎ 4,822 bytes +4,822‎ Created page with "== Introduction == First-order logic—also known as predicate logic and first-order predicate calculus—is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science. First-order logic uses quantified variables over non-logical objects and allows the use of sentences that contain variables, so that rather than propositions such as "Socrates is a man", one can have expressions such as "there exists x such that x is Socrates and x i..."
Retrieved from "https://canonica.ai/page/First-Order_Logic"