Mindmap
COMPLETENESS
Inhalt der Mindmap
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
Informationen
- Beschreibung
- Philosophy Mindmap am COMPLETENESS, erstellt von Danielle Celone am 12/03/2017.
- Erstellt von
- Danielle Celone
- Aufrufe
- 0
- Bewertung