1 propositional theory: 명제적 이론