A. p→q B. p←q C. p ↔ q D. p∨q
A. ((p→q)∧q)→p B. ((p←q)∧q)→p C. ((p→q)∧﹁p)→﹁q D. ((p←q)∧﹁p)→﹁q
A. ((p→q)∧﹁q)→﹁p B. ((p→q)∧p)→q C. ((p←q)∧p)→q D. ((p←q)∧﹁p)→﹁q
A. 肯定前件式 B. 否定前件式 C. 肯定后件式 D. 否定后件式
A. 充分条件假言;p→q B. 必要条件假言;p←q C. 充分必要条件假言;p↔q D. 联言命题;p∧q
A. 充分条件假言命题;p→q B. 充分条件假言推理;((p→q)∧p)→q C. 充分必要条件假言命题;p↔q D. 充分必要条件假言推理;((p↔q)∧¬p)→¬q
A. 有效的,因为它遵守了充分条件假言推理的规则:肯定前件就要肯定后件。 B. 有效的,因为它遵守了必要条件假言推理的规则:肯定前件就要肯定后件。 C. 无效的,因为它违反了充分条件假言推理的规则:肯定后件不能肯定前件。 D. 无效的,因为它违反了必要条件假言推理的规则:肯定前件不能肯定后件。
A. 有效的,因为它遵守了充分条件假言推理的规则:否定前件就要否定后件。 B. 有效的,因为它遵守了必要分条件假言推理的规则:否定前件就要否定后件。 C. 无效的,因为它违反了充分条件假言推理的规则:否定前件不能否定后件。 D. 无效的,因为它违反了必要条件假言推理的规则:肯定前件不能肯定后件。