下列公式中为矛盾式的是
A、(¬n→m)↔(n→¬m)
B、m→(n→m)
C、(¬n→m)∨(n∧¬m)
D、n∧(n→m)∧(m→¬n)
发布时间：2024-10-18 10:09:34
请在 下方输入 要搜索的题目：
推荐参考答案 (
由 搜搜题库网 官方老师解答 )
答案：
