Changes

67 bytes added ,  01:06, 6 April 2010
→‎Syllabus: standardize
Line 260: Line 260:  
* [[Boolean domain]]
 
* [[Boolean domain]]
 
* [[Boolean function]]
 
* [[Boolean function]]
 +
* [[Boolean-valued function]]
 
{{col-break}}
 
{{col-break}}
* [[Boolean-valued function]]
   
* [[Logical graph]]
 
* [[Logical graph]]
 +
* [[Logical matrix]]
 
* [[Minimal negation operator]]
 
* [[Minimal negation operator]]
 +
* [[Peirce's law]]
 
{{col-break}}
 
{{col-break}}
* [[Peirce's law]]
   
* [[Propositional calculus]]
 
* [[Propositional calculus]]
 +
* [[Truth table]]
 +
* [[Universe of discourse]]
 
* [[Zeroth order logic]]
 
* [[Zeroth order logic]]
 
{{col-end}}
 
{{col-end}}
12,080

edits