以“如果所有A是B，那么所有A是C”和“有A不是C”为前提进行推理，能必然推出结论（）。

[填空题] 以“倘若所有A是B，便会有C是B”和“所有B不是C”为前提进行假言推理，能必然推出的结论是（）。

[多选题] 以“所有P是M，所有S不是M”为前提进行三段论推理，可必然推出（）。A . SEPB . SAPC . SIPD . SOPE . 没有S不是P

[多选题]以“所有P是M”和“所有S不是M”为大、小前提进行三段论推理，可必然推出（）。A.所有S不是PB.所有S是PC.有S是PD.有S不是PE.没有S不是P

[多选题]以“所有P是M”和“所有S不是M”为大、小前提进行三段论推理，可必然推出（）。A.所有S不是PB.所有S是PC.有S是PD.有S不是PE.没有S不是P

[填空题] 以“如果p那么q”和“如果r那么s”为假言前提进行二难推理，则推出的结论可以是（）或（）。

[单选题]以“A并且B”和“非B或者C”为前提进行演绎推理，可得出的结论是（）。A . A并且非BB . B并且非CC . B并且CD . A并且非C

[多选题] “所有A都不是B，所有B都是C”为前提，进行三段论推理，其正确结论是（）。A .有的C不是AB .所有C不是AC .有的A不是CD .并非所有C是A

[单选题]以SAP为前提进行换位法推理，推出正确的结论是（）。A . PASB . PISC . PISD . PIS

[多选题] 以“有S是M，所有P不是M”为前提进行三段论推理，将所得结论再进行变形法直接推理，可得出的结论有（）.A . 有非P是SB . 有P不是SC . 所有P不是SD . 有S是PE . 有S是非P

[多选题] 以（﹁p∨﹁q）∧（r∧s）为前提进行推理，可以有效推出的结论有（）。A . ﹁r∨﹁sB . r∧sC . ﹁p∧﹁qD . ﹁p∨﹁qE . r∨s