Changes

MyWikiBiz, Author Your Legacy — Monday November 18, 2024
Jump to navigationJump to search
164 bytes added ,  14:18, 29 April 2010
→‎Syllabus: standardize
Line 281: Line 281:  
* [[Boolean function]]
 
* [[Boolean function]]
 
* [[Boolean-valued function]]
 
* [[Boolean-valued function]]
 +
* [[Differential logic]]
 
{{col-break}}
 
{{col-break}}
 
* [[Logical graph]]
 
* [[Logical graph]]
* [[Logical matrix]]
   
* [[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]]
{{col-break}}
   
* [[Relation construction]]
 
* [[Relation construction]]
 
* [[Relation reduction]]
 
* [[Relation reduction]]
 +
{{col-break}}
 
* [[Relation theory]]
 
* [[Relation theory]]
{{col-break}}
   
* [[Relative term]]
 
* [[Relative term]]
 
* [[Sign relation]]
 
* [[Sign relation]]
12,080

edits

Navigation menu