“所有與非典患者接觸的人都被隔離了，所有被隔離的人都與小李接觸過”，如果這個命題是真的，那么以下也為真的命題是()。
C
暫無解析
“(p→q)∧(r→s)∧(p∨r)→q∨s”這一推理式是（）
SIP與SOP之間的關系是（）
由“s必然是p為真”，可推出()。
已知某有效三段論的大前提為O判斷，試證明：(1)其小前提必為A判斷;(2)該三段論為第三格OAO式。
