只用p, q 以及 V 和 ┐的组合代替问号的地方。
答案就是 ┐(p V ┐q)这是这个真值对应的最简单的命题公式了
你对这个回答的评价是?
三种情况下真值相同另一種情况下不同,这和p→q相似
再经过分析发现这是┐(q→p)
然后我们用联结词化归的基本等值式,将上面那个式子变化成只含有v和 ┐的式子:
(以上这些术语出自北京大学的《离散数学题》你们的教材上的名字可能会有不同)
你对这个回答的评价是?
┐(p V ┐q) 可以看北京大学的《離散数学题》P13f5就是了
你对这个回答的评价是?
然后可以用联接词化归将上面那个式子变化成 ┐( ┐pv ┐q)v ┐(pvq)
你对这个回答的评价是?