逻辑学推理用归谬赋值法判断推理（（p→q）∧（r→s）∧（q∧s））→（p∧q）是否有效

请写明详细步骤谢谢！

2.若要使“只有p才非q”与“非p并且非q”均真，那么p与q的取值情况为？
（这个题本人觉得好像有问题）
3.如果我们以（乛p→乛q）→r和r为前提进行推理可以推出的结论是？
4.某地发生一起案件：侦查人员掌握了以下情况：（1）如果E在现场那么A和C不会都不在现场（2）如果B不在现场那么A也不会在现场（3）如果C在现场，那么B在现场（4）除非E在现场D才会在现场（5）D在现场。请根据侦查人员掌握的上述情况，推断B是否在现场，写出推理过程

神马归谬我不会，但是我用其它的方法做。
1.看（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在现场。
不懂追问。

4.假设B在现场，则 DE都在现场， 由（3）得出C在现场， 由（1）得出A可能在现场，且B在现场，故A在现场，成立。 假设B不在现场，则 DE都在场， 由（3）得出C 不在现场， 由（2）得出A不在现场， 既AC都不在场， 可是由（1）得出AC至少有一个在场， 但是B不在场，AC都在场， 所以，此假设不成立，既B在现场。

由（5）（4）得DE都在现场 由（1）得AC都在现场，反过来解释如果E在现场那么A和C（不）会都（不）在现场。两“不”否定词抵消。 将得到的ACDE都在现场带入（2）（3）验证，得B也在现场，ABCDE都在现场。

1.是无效的. 2.若要使“只有p才非q”与“非p并且非q”均真，那么p与q的取值情况是：只要保证┐（┐Q∧┐P)为真即可． 3.对于充分条件肯定后件是不能必然推出结论的,或者说是推不出结论的. 4.(1)E→A∨C (2)┐B→┐A (3)C→B (4)D→E (5)D (6)┐B（假设） (7)┐A (根据2与6推出） (8)┐C（根据3与6推出） (9)┐A∧┐C（7与8合取） (10)A∨C（根据1与9推出） (11)┐(┐A∧┐C)（根据10变形得出） (12)(┐A∧┐C)∧┐(┐A∧┐C)（9与11合取得出） (13)B（根据1．2．3．4．5．6．12得出．即否定词消去规则） 也就是说B在现场．