1번~ : 논리명제