Changes

Line 356: Line 356:  
* [[Boolean function]]
 
* [[Boolean function]]
 
* [[Boolean-valued function]]
 
* [[Boolean-valued function]]
 +
* [[Differential logic]]
 
{{col-break}}
 
{{col-break}}
* [[Continuous predicate]]
   
* [[Logical graph]]
 
* [[Logical graph]]
 +
* [[Minimal negation operator]]
 
* [[Multigrade operator]]
 
* [[Multigrade operator]]
 
* [[Parametric operator]]
 
* [[Parametric operator]]
 +
* [[Peirce's law]]
 
{{col-break}}
 
{{col-break}}
 +
* [[Propositional calculus]]
 
* [[Sole sufficient operator]]
 
* [[Sole sufficient operator]]
 
* [[Truth table]]
 
* [[Truth table]]
12,080

edits