多項(xiàng)選擇題

下列假言推理為有效式的有()。

A.(﹁p→q)∧p├﹁q
B.(p→﹁q)∧q├﹁p
C.(﹁p←﹁q)∧﹁p├q
D.(p←﹁q)∧﹁q├p
E.(p→﹁q)∧p├﹁q

微信掃碼免費(fèi)搜題