12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Tuesday April 15, 2025
Jump to navigationJump to search→Syllabus: standardize
Line 281:
Line 281:
* [[Logical matrix]]
{{col-break}}
{{col-break}}
* [[Boolean function]]
* [[Boolean function]]
* [[Boolean-valued function]]
* [[Boolean-valued function]]
+* [[Differential logic]]
{{col-break}}
{{col-break}}
* [[Logical graph]]
* [[Logical graph]]
−* [[Minimal negation operator]]
* [[Minimal negation operator]]
+* [[Multigrade operator]]
+* [[Parametric operator]]
* [[Peirce's law]]
* [[Peirce's law]]
{{col-break}}
{{col-break}}
* [[Propositional calculus]]
* [[Propositional calculus]]
+* [[Sole sufficient operator]]
* [[Truth table]]
* [[Truth table]]
* [[Universe of discourse]]
* [[Universe of discourse]]
Line 297:
Line 300:
{{col-begin}}
{{col-begin}}
{{col-break}}
{{col-break}}
+* [[Continuous predicate]]
+* [[Hypostatic abstraction]]
* [[Logic of relatives]]
* [[Logic of relatives]]
+* [[Logical matrix]]
+{{col-break}}
* [[Relation (mathematics)|Relation]]
* [[Relation (mathematics)|Relation]]
* [[Relation composition]]
* [[Relation composition]]
−* [[Relation construction]]
* [[Relation construction]]
* [[Relation reduction]]
* [[Relation reduction]]
+{{col-break}}
* [[Relation theory]]
* [[Relation theory]]
−* [[Relative term]]
* [[Relative term]]
* [[Sign relation]]
* [[Sign relation]]
