Difference between revisions of "Logic Live"

MyWikiBiz, Author Your Legacy — Friday November 15, 2024
Jump to navigationJump to search
('''NB.''' This page will be used as a '''focal node''' or a branch point for a collection of related articles.)
(+ rough outline of raw materials)
Line 1: Line 1:
{{DISPLAYTITLE:Logic Live}}
+
'''NB.'''  This page will be used as a '''focal node''' or a branch point for a collection of related articles.
 +
 
 +
For the time being, the following will serve as a rough inventory of raw materials that will be developed as time goes by.
 +
 
 +
==Syllabus==
  
'''NB.'''  This page will be used as a '''focal node''' or a branch point for a collection of related articles.
+
===Logical operators===
 +
 
 +
{{col-begin}}
 +
{{col-break}}
 +
* [[Exclusive disjunction]]
 +
* [[Logical conjunction]]
 +
* [[Logical disjunction]]
 +
* [[Logical equality]]
 +
{{col-break}}
 +
* [[Logical implication]]
 +
* [[Logical NAND]]
 +
* [[Logical NNOR]]
 +
* [[Logical negation|Negation]]
 +
{{col-end}}
 +
 
 +
===Related topics===
 +
 
 +
{{col-begin}}
 +
{{col-break}}
 +
* [[Ampheck]]
 +
* [[Boolean domain]]
 +
* [[Boolean function]]
 +
* [[Boolean-valued function]]
 +
{{col-break}}
 +
* [[Logical graph]]
 +
* [[Logical matrix]]
 +
* [[Minimal negation operator]]
 +
* [[Peirce's law]]
 +
{{col-break}}
 +
* [[Propositional calculus]]
 +
* [[Truth table]]
 +
* [[Universe of discourse]]
 +
* [[Zeroth order logic]]
 +
{{col-end}}

Revision as of 14:28, 6 April 2010