1 propositional reasoning: 명제 추리