MyWikiBiz, Author Your Legacy — Monday November 18, 2024
Jump to navigationJump to search
164 bytes added
, 14:18, 29 April 2010
Line 281: |
Line 281: |
| * [[Boolean function]] | | * [[Boolean function]] |
| * [[Boolean-valued function]] | | * [[Boolean-valued function]] |
| + | * [[Differential logic]] |
| {{col-break}} | | {{col-break}} |
| * [[Logical graph]] | | * [[Logical graph]] |
− | * [[Logical matrix]]
| |
| * [[Minimal negation operator]] | | * [[Minimal negation operator]] |
| + | * [[Multigrade operator]] |
| + | * [[Parametric operator]] |
| * [[Peirce's law]] | | * [[Peirce's law]] |
| {{col-break}} | | {{col-break}} |
| * [[Propositional calculus]] | | * [[Propositional calculus]] |
| + | * [[Sole sufficient operator]] |
| * [[Truth table]] | | * [[Truth table]] |
| * [[Universe of discourse]] | | * [[Universe of discourse]] |
Line 297: |
Line 300: |
| {{col-begin}} | | {{col-begin}} |
| {{col-break}} | | {{col-break}} |
| + | * [[Continuous predicate]] |
| + | * [[Hypostatic abstraction]] |
| * [[Logic of relatives]] | | * [[Logic of relatives]] |
| + | * [[Logical matrix]] |
| + | {{col-break}} |
| * [[Relation (mathematics)|Relation]] | | * [[Relation (mathematics)|Relation]] |
| * [[Relation composition]] | | * [[Relation composition]] |
− | {{col-break}}
| |
| * [[Relation construction]] | | * [[Relation construction]] |
| * [[Relation reduction]] | | * [[Relation reduction]] |
| + | {{col-break}} |
| * [[Relation theory]] | | * [[Relation theory]] |
− | {{col-break}}
| |
| * [[Relative term]] | | * [[Relative term]] |
| * [[Sign relation]] | | * [[Sign relation]] |