用欧拉图表示下列概念之间的关系：亚洲人（A），上海人（B），中国人（C）。

用真值表来验证（（p→q）∧￢p）├￢q是否为有效式。

“人”和“机器人”这两个概念外延之间的关系是

若一个充分条件假言判断的前件、后件恰好是另一个充分条件假言判断的后件、前件．则这两个充分条件假言判断

“若p，则¬q”假，当且仅当

“并非有的S不是P”等值于

从并非SEP可以推出

如果一个有效三段论的结论是SEP，小前提也是E命题，则大前提只能是

不可以得到“近朱者赤，近墨者黑”这个结论的推理方法是

若“p→¬q”真与“q”真，则