必要条件假言推理的有效形式是()。
A. 肯定前件式
B. 否定前件式
C. 否定后件式
D. 肯定后件式
充分必要条件假言推理的有效形式是()。
A. 肯定前件式
B. 否定前件式
C. 否定后件式
D. 肯定后件式
下列属于有效的推理形式的是()。
A. ((p←q)∧q)→p
B. ((p←q)∧¬p)→¬q
C. ((p→q)∧¬q)→¬p
D. ((p↔q)∧¬p)→¬q
假言推理有三种,即()。
A. 充分必要条件假言推理
B. 必要条件假言推理
C. 充分条件假言推理
D. 充分必要条件假言命题