Mind map
COMPLETENESS
Map content
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
Information
- Description
- Philosophy Mind Map on COMPLETENESS, created by Danielle Celone on 12/03/2017.
- Created by
- Danielle Celone
- Views
- 0
- Rating