Logic Live

NB. This page will be used as a focal node or a branch point for a collection of related articles.

Participants

• Interested parties may add their names on this subpage.

Syllabus

For the time being, the following will serve as a rough inventory of raw materials that will be developed as time goes by.

Focal node

• Inquiry Live

Peer nodes

Template:Col-break

• Logic Live @ Beta Wikiversity

Template:Col-break

• Logic Live @ MyWikiBiz

Template:Col-end

Logical operators

Template:Col-break

• Exclusive disjunction
• Logical conjunction
• Logical disjunction
• Logical equality

Template:Col-break

• Logical implication
• Logical NAND
• Logical NNOR
• Negation

Template:Col-end

Related topics

Template:Col-break

• Ampheck
• Boolean domain
• Boolean function
• Boolean-valued function

Template:Col-break

• Logical graph
• Logical matrix
• Minimal negation operator
• Peirce's law

Template:Col-break

• Propositional calculus
• Truth table
• Universe of discourse
• Zeroth order logic

Template:Col-end

Related articles

• Jon Awbrey, “Propositional Equation Reasoning Systems”

• Jon Awbrey, “Differential Propositional Calculus”

• Jon Awbrey, “Differential Logic : Introduction”