Mapa mental
Reasoning
Contenido del 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
Información
- Descripción
- Mapa Mental sobre Reasoning, creado por Wen Feifei el 23/05/2015.
- Creado por
- Wen Feifei
- Visitas
- 0
- Valoración