Changes

'''''Zeroth order logic''''' is a term in popular use among practitioners for the subject matter otherwise known as [[boolean function]]s, [[monadic logic|monadic predicate logic]], [[propositional calculus]], or sentential calculus.  One of the advantages of this terminology is that it institutes a higher level of abstraction in which the more inessential differences between these various subjects can be subsumed under the pertinent [[isomorphism]]s.

'''''Zeroth order logic''''' is a term in popular use among practitioners for the common principles underlying the [[algebra of sets]], [[boolean algebra]], [[boolean function]]s, [[logical connective]]s, [[monadic predicate calculus]], [[propositional calculus]], and sentential logic.  The term serves to mark a level of abstraction in which the more inessential differences among these subjects can be subsumed under the appropriate [[isomorphism]]s.

By way of initial orientation, Table 1 lists equivalent expressions for the sixteen functions of concrete type ''X'' × ''Y'' → '''B''' and abstract type '''B''' × '''B''' → '''B''' in a number of different languages for zeroth order logic.

By way of initial orientation, Table 1 lists equivalent expressions for the sixteen functions of concrete type ''X'' × ''Y'' → '''B''' and abstract type '''B''' × '''B''' → '''B''' in a number of different languages for zeroth order logic.