Mapa mental
COMPLETENESS
Contenido del mapa
COMPLETENESS
Propositional Logic
- Uses letters to symbolize entire propositions. Doesn't separate the subject and predicate. The entire statement is represented by one symbol
- PROVING COMPLETENESS: 1) Start from a consistent set
- Uses letters to symbolize entire propositions. Doesn't separate the subject and predicate. The entire statement is represented by one symbol
Predicate Logic
- Separates the subject and predicate. We can use predicate logic to say things about a set of formulas using quantifiers
Información
- Descripción
- Philosophy Mapa Mental sobre COMPLETENESS, creado por Danielle Celone el 12/03/2017.
- Creado por
- Danielle Celone
- Visitas
- 0
- Valoración