问题标题：
离散数学（修订版）高等教育出版社耿素云屈婉玲编著的第10页,倒数第5行为什么写着p→(r→q)不是合式公式?我觉得p→(r→q)是合式公式啊
问题描述：
离散数学（修订版）高等教育出版社耿素云屈婉玲编著的
第10页,倒数第5行
为什么写着p→(r→q)不是合式公式?
我觉得p→(r→q)是合式公式啊
潘孝仁回答：
书上的意思,大概是只有(p→(r→q))才是合式公式,而p→(r→q)不是.为什么呢?假设p→(r→q)是合式公式,那么我们用~来代表否定：请问,p→(r→q)是什么意思?它否定的是p呢,还是全体呢?就是说,应该是[(~p)→(r→q)]呢,还...
查看更多
