MyWikiBiz, Author Your Legacy — Sunday December 14, 2025
Jump to navigationJump to search
17 bytes added
, 17:24, 20 May 2007
| Line 1: |
Line 1: |
| | ---- | | ---- |
| − | <font size=4>'''Propositional Equation Reasoning Systems'''</font> | + | <font size=4>'''Propositional Equation Reasoning Systems'''</font><br> |
| − | <br> | |
| | ---- | | ---- |
| | | | |
| Line 3,479: |
Line 3,478: |
| | | | |
| | ===Related concepts and topics=== | | ===Related concepts and topics=== |
| − | {| | + | |
| − | | valign=top |
| + | {{col-begin}} |
| | + | {{col-break}} |
| | * [[Ampheck]] | | * [[Ampheck]] |
| | * [[Boolean algebra]] | | * [[Boolean algebra]] |
| Line 3,490: |
Line 3,490: |
| | * [[Entitative graph]] | | * [[Entitative graph]] |
| | * [[Existential graph]] | | * [[Existential graph]] |
| − | | valign=top |
| + | {{col-break}} |
| | * [[Graph (mathematics)|Graph]] | | * [[Graph (mathematics)|Graph]] |
| | * [[Graph theory]] | | * [[Graph theory]] |
| Line 3,500: |
Line 3,500: |
| | * [[Logical NAND]] | | * [[Logical NAND]] |
| | * [[Logical NNOR]] | | * [[Logical NNOR]] |
| − | | valign=top |
| + | {{col-break}} |
| | * [[Minimal negation operator]] | | * [[Minimal negation operator]] |
| | * [[Multigrade operator]] | | * [[Multigrade operator]] |
| Line 3,510: |
Line 3,510: |
| | * [[Truth table]] | | * [[Truth table]] |
| | * [[Zeroth order logic]] | | * [[Zeroth order logic]] |
| − | |}
| + | {{col-end}} |
| | | | |
| | ==External links== | | ==External links== |