Zeroth-order logic is first-order logic without quantifiers. A finitely axiomatizable zeroth-order logic is isomorphic to a propositional logic. Zeroth-order logic with axiom schema is a more expressive system than propositional logic. An example is given by the system Primitive recursive arithmetic, or PRA.
Read more about Zeroth-order Logic: Example, Relation To General First-order Logic
Famous quotes containing the word logic:
“It is the logic of our times,
No subject for immortal verse—
That we who lived by honest dreams
Defend the bad against the worse.”
—Cecil Day Lewis (1904–1972)