Changes

MyWikiBiz, Author Your Legacy — Friday November 08, 2024
Jump to navigationJump to search
try to clarify usage a bit
Line 1: Line 1:  
<font size="3">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]].
 
<font size="3">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]].
   −
'''''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.
+
'''''Zeroth order logic''''' is an inform term that is sometimes used to indicate 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.
    
==Propositional forms on two variables==
 
==Propositional forms on two variables==
12,080

edits

Navigation menu