A、前提
B、条件
C、全称量词
D、谓词
A、布尔
B、罗素
C、笛卡尔
D、哥德尔
A、必然真
B、可能真
C、必然假
D、可能假