Logic Live

☞ This page will serve as a focal node for a collection of related articles.

Participants

• Interested parties may add their names on this page.

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-break

• Logic Live @ NetKnowledge

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

Relational concepts

Template:Col-break

• Logic of relatives
• Relation
• Relation composition

Template:Col-break

• Relation construction
• Relation reduction
• Relation theory

Template:Col-break

• Relative term
• Sign relation
• Triadic relation

Template:Col-end

Related articles

• Jon Awbrey, “Propositional Equation Reasoning Systems”

• Jon Awbrey, “Differential Propositional Calculus”

• Jon Awbrey, “Differential Logic : Introduction”