Mapa mental
COMPLETENESS
Conteúdo do 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
Informações
- Descrição
- Philosophy Mapa Mental sobre COMPLETENESS, criado por Danielle Celone em 12-03-2017.
- Criado por
- Danielle Celone
- Visualizações
- 0
- Avaliação