1 propositional subsystem: 명제적 하위체계