susumu 12.C 命題論理3 命題・真理値