普通逻辑：用真值表验证（﹁q∨p）|— ( p→q)是否为有效式。
下面图中是我写的，前面几步都有把握的，最后一步不会，估摸着题目中的式子应该是有效式，所以写了四个1。题目有不清楚的地方可以问我。谢谢了！
第1个回答 2012-07-08
这是一个无效式。最后一列错了，应当是1011. ( ⊙ o ⊙ )本回答被提问者采纳
第2个回答 2012-07-08
|— 这个是啥符号
前面的没问题，就是不知道这个符号啥意思
数理逻辑我记得有析取、合取、非、蕴含等，但是这个|— 不认识本回答被网友采纳
前面的没问题，就是不知道这个符号啥意思
数理逻辑我记得有析取、合取、非、蕴含等，但是这个|— 不认识本回答被网友采纳
相似回答
