Mapa mental
Reasoning
Conteúdo do mapa
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
Informações
- Descrição
- Mapa Mental sobre Reasoning, criado por Wen Feifei em 23-05-2015.
- Criado por
- Wen Feifei
- Visualizações
- 0
- Avaliação