我也答一下（因为觉得以上有些回答不够专业，也有些错误，呵呵）： 1、不等值。是差等关系。甲说SAP，乙说非SEP（等值于SIP），SAP与SIP是差等关系。 2、工程师说，P→Q。工人说，~P∧Q。二者并不矛盾。因为~（P→Q）等值于P∧~Q。 3、无效。因为它运用的是充分条件假言命题推理的肯定后件式，这是一个无效的推理形式。 4、无效。因为它运用的是相容选言命题推理的肯定否定式，这是一个无效的推理形式。 5、丁是冠军。推导过程如下：题中A说甲∨乙；B说~丙→~丁；C说~甲。其中，A、C不可能同假，因为A假即是说（~甲∧~乙）真，C假即是说（甲）真，同时说甲和非甲，自相矛盾。由此，A、C必有一真，所以B假，也就是说，（~丙∧丁）真，所以，丁是冠军。补充题： 1、这样的甲乙二人是不存在的。用类似于真值表的方法。甲乙的取值范围是集合｛1，0｝，甲乙的取值组合只可能有10、01、11、00四种情况，这对应于甲说的四句话，由题目可知这四句话或者全真或者全假，但是无论这四句话全真或全假都自相矛盾，所以可得结论。 2、A。
内容全部来源于网络收集，如有侵权，请联系网站删除：QQ：24596024