Changes

2 bytes removed ,  02:36, 22 March 2008
revise lead
Line 1: Line 1: −
'''''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 calculusOne 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 logicThe 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.
12,080

edits