已知：如果甲出席论坛，那么乙和丙也都会出席。现已确认丙没有出席论坛。由此可以推出…
已知：如果甲出席论坛，那么乙和丙也都会出席。现已确认丙没有出席论坛。由此可以推出：
A. 乙没有出席论坛
B. 乙和丙都没出席
C. 甲和乙都出席了
D. 甲没有出席论坛
答案与解析
正确答案：D
花生十三讲解
用翻译推理解题。题干翻译：甲出席→（乙出席且丙出席）。已知丙没出席，则联言命题'乙且丙出席'为假。由'否后必否前'的逆否规则：后件为假，前件必假，故甲没有出席，D正确。乙是否出席无法确定（否前不确定），A、B不必然成立；C说甲出席与逆否结论直接矛盾。确认答案为D。
原解析
“甲出席→乙出席且丙出席”。丙没出席，则“乙且丙出席”为假，由逆否可知甲没有出席。乙是否出席无法确定，A、B不必然，C与推理矛盾。