从直值表来验证[（p→q）∧非p]→非q是否为有效式

如题所述

神马归谬我不会，但是我用其它的方法做。

看（p→q），只有肯定前件式和否定后件式，就是只有p→q和乛q→乛p两种，其余没有。所以说（（p→q）∧q→p是错误的。同理，另一个也是错误的。

2.如果要“非p并且非q”为真，那么，p和q均为假，这样的话，就和前面的“非q→p矛盾”。我也觉得有问题。

3.神马也不能推出，详看1。

4.题目符号化：（1）E→A∨C     (2)乛B→ 乛A    (3)C→B   (4)    D∨E   (5)D

推理：因为4和5，所以E；因为E，所以A∨C；因为C，所以B；所以B在现场。

不懂追问。