Mind map
Reasoning
Map content
Reasoning
Propositional logic
- Syntax
- Semantics
First order logic
Foundations
- Relations
- Reflexive
- Total/Linear
- Transition
- Ordering
- Strict ordering: Transitive Irreflexive
- Minimal element
- smallest
- Well-founded
- >: no infinite decreasing chain (X,>) is well-founded iff every non-empty subset Y of X has a minimal element
- Lexicographic Combination
- Multi-sets
- repetition no order
- Relations
Information
- Description
- Mind Map on Reasoning, created by Wen Feifei on 23/05/2015.
- Created by
- Wen Feifei
- Views
- 0
- Rating