Zeroth-order logic is
first-order logic without
variables or
quantifiers. Some authors use the phrase "zeroth-order logic" as a synonym for the
propositional calculus,
[.] but an alternative definition extends propositional logic by adding constants, operations, and relations on non-Boolean values.
[.] Every zeroth-order language in this broader sense is
complete
Complete may refer to:
Logic
* Completeness (logic)
* Completeness of a theory, the property of a theory that every formula in the theory's language or its negation is provable
Mathematics
* The completeness of the real numbers, which implies t ...
and
compact.
References
{{Portal bar, Philosophy
Propositional calculus
Systems of formal logic