| Line 348: |
Line 348: |
| | |} | | |} |
| | | | |
| − | ==Related topics== | + | ==Syllabus== |
| | + | |
| | + | ===Focal nodes=== |
| | + | |
| | + | {{col-begin}} |
| | + | {{col-break}} |
| | + | * [[Inquiry Live]] |
| | + | {{col-break}} |
| | + | * [[Logic Live]] |
| | + | {{col-end}} |
| | + | |
| | + | ===Peer nodes=== |
| | + | |
| | + | * [http://beta.wikiversity.org/wiki/Minimal_negation_operator Minimal Negation Operator @ Beta Wikiversity] |
| | + | * [http://mywikibiz.com/Minimal_negation_operator Minimal Negation Operator @ MyWikiBiz] |
| | + | * [http://www.netknowledge.org/wiki/Minimal_negation_operator Minimal Negation Operator @ NetKnowledge] |
| | + | |
| | + | ===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-begin}} |
| Line 370: |
Line 402: |
| | * [[Zeroth order logic]] | | * [[Zeroth order logic]] |
| | {{col-end}} | | {{col-end}} |
| | + | |
| | + | ===Relational concepts=== |
| | + | |
| | + | {{col-begin}} |
| | + | {{col-break}} |
| | + | * [[Continuous predicate]] |
| | + | * [[Hypostatic abstraction]] |
| | + | * [[Logic of relatives]] |
| | + | * [[Logical matrix]] |
| | + | {{col-break}} |
| | + | * [[Relation (mathematics)|Relation]] |
| | + | * [[Relation composition]] |
| | + | * [[Relation construction]] |
| | + | * [[Relation reduction]] |
| | + | {{col-break}} |
| | + | * [[Relation theory]] |
| | + | * [[Relative term]] |
| | + | * [[Sign relation]] |
| | + | * [[Triadic relation]] |
| | + | {{col-end}} |
| | + | |
| | + | ===Related articles=== |
| | + | |
| | + | * [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Propositional_Equation_Reasoning_Systems Jon Awbrey, “Propositional Equation Reasoning Systems”] |
| | + | |
| | + | * [http://planetmath.org/encyclopedia/DifferentialPropositionalCalculus.html Jon Awbrey, “Differential Propositional Calculus”] |
| | + | |
| | + | * [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Differential_Logic_:_Introduction Jon Awbrey, “Differential Logic : Introduction”] |
| | | | |
| | ==Resources== | | ==Resources== |