过不过就看这作业了.希望谁能给我这些逻辑学问题的答案.•(1)用三段论规则说明:有效三段论的两个前提不能都是特称判断.•(2)依据直言对当关系和换位规则,从ØPIS能否推导SOP?•(3)用三段论规则和文恩图判定三段论2-IEO式是否有效.•(4)用归谬赋值法和真值表方法判定公式(p® (p®q)) ®(p®q)是否为重言式.•(5)某部连长接到一紧急任务,要在代号A,B,C,D,E五个战士中挑选两个深入敌后,人选的配备需注意如下几点:•一、如果B不去,则A也不去.•二、只有当C去,则B才能跟着去.(注意:只有p…才q,可形式化为q ®p)•三、若D去,则E也去.•四、A去或D去.•问:连长应该挑选哪两个战士执行任务?写出推理过程.•

问题描述:

过不过就看这作业了.希望谁能给我这些逻辑学问题的答案.
•(1)用三段论规则说明:有效三段论的两个前提不能都是特称判断.•
(2)依据直言对当关系和换位规则,从ØPIS能否推导SOP?•
(3)用三段论规则和文恩图判定三段论2-IEO式是否有效.•
(4)用归谬赋值法和真值表方法判定公式(p® (p®q)) ®(p®q)是否为重言式.
•(5)某部连长接到一紧急任务,要在代号A,B,C,D,E五个战士中挑选两个深入敌后,人选的配备需注意如下几点:•
一、如果B不去,则A也不去.
•二、只有当C去,则B才能跟着去.(注意:只有p…才q,可形式化为q ®p)
•三、若D去,则E也去.
•四、A去或D去.•问:连长应该挑选哪两个战士执行任务?写出推理过程.•

请告知您的邮箱(可私信方式留言),有些内容在word上编辑容易些,
另外,®具体是指什么符号?是合取、析取,还是蕴含?