Zeroth-order logic

Zeroth-order logic is a branch of logic without variables or quantifiers. Some authors use the phrase "zeroth-order logic" as a synonym for 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 and compact.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.