“如果机器更新,那么生产就能发展;A公司的生产没能发展;所以,A公司的机器没有更新。”这个推理形式是()。
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
C. 充分必要条件假言;p↔q
D. 联言命题;p∧q
“人不犯我,我不犯人;人若犯我,我必犯人。” 这是(),它的逻辑形式是()。
A. 充分条件假言命题;p→q
B. 充分条件假言推理;((p→q)∧p)→q
C. 充分必要条件假言命题;p↔q
D. 充分必要条件假言推理;((p↔q)∧¬p)→¬q