前提非(P合取Q)并取P,r指向s,非s,p,结论非q-搜答案-智慧作业帮

附加前提证明法1S附加前提引入2S→P前提引入3P12假言推理4P→(Q→R)前提引入5Q→R34假言推理6Q前提引入7R56假言推理再问：3P12假言推理不懂啊附加前提法是怎么回事？再答：那你就需要

是恒等的,你在某个地方算错了.为了简单一点,我推一下(PQ)换成((P∧Q)V(非P∧非Q))后等价于((P->Q)∧(Q->P))下面的等号表示等价于PQ=(P∧Q)V(非P∧非Q)=[(P∧Q)V

前提:┐(p∧(┐q)),┐q∨r,┐r┐q∨r,┐r=>┐q----1┐(p∧(┐q))=>┐p∧q-----2由1,2得┐q&┐p∧q=>┐p结论为┐p

证明：①p→q前提引入②非q前提引入③非p①②拒取式④非r→p前提引入⑤r③④拒取式

1>t合取r规则p；2》t规则p由1》化简；3》r规则p由1》化简；4》s等值于t规则p；5》t蕴含s规则t由4》等值6》s规则t由2》5》假言推论7》q等值s规则p8》s蕴含q规则t由7》等值9》q

用反证法也就是归谬法.1┐(s∨r)否定前提引入2┐s∧┐r1置换3┐s2化简4p→s前提引入5┐p34拒取式6┐r2化简7q→r前提引入8┐q67拒取式9┐p∧┐q58合取10┐(p∨q)9置换11

P-(P-Q)={x|x∈P,且x属于Q}Q-(Q-P)={x|x∈P,且x属于Q}二者等价

1.非q或r至少其一成立,非r成立,即r不成立,所以非q成立非q推出p所以结论为p交非r2.有效原命题等于其逆否命题由题意知,天晴或下雨必须且只能选其一,天晴推出看电影,看电影推出不看书所以看书推出不

Q非空所以k+1≤2k-1k≥2Q包含于P则-2≤k+12k-1≤5k≥-3,k≤3综上2≤k≤3

不太对吧,你的第二步P∧（┐P∨Q）(P∧┐P)∨(P∧Q)P∧Q【回答补充】：你看,化成这样之后就可以写范式了因为：P(P∨Q)∧(P∨┐Q)Q(P∨Q)∧(┐P∨Q)所以P∧Q((P∨Q)∧(P∨

合取范式是由简单析取式组成的合取式,┐p∨q是由一个简单析取式┐p∨q构成的合取范式（它同时也是由二个简单合取式┐p与q构成的析取范式）.

百度搜索就找到了《离散数学》模拟试题（四）-mnst4

p合取q应是p析取q吧.证明如下：1、p析取q前提2、p蕴含非r前提3、s蕴含t前提4、非s蕴含r前提5、非t前提6、非s35否定后件式7、r46肯定前件式8、非p27否定后件式9、q18否定肯定式

我看了你的追问,有2,3合取引入,就可以得pvq.因为p真值为1,q的真值也为1,所以p∧q的真值也是1,就可以得到p∧q.我发现你第二题也好像打错啦?qs应该改为ps,或者是p->q改为q->p,要

排中律是P∨～P,矛盾律是～(P∧～P)打个比方,你既是学生又不是学生→两可,这是违背矛盾律的.你既非学生又非不是学生→两不可,这是违背排中律的.希望对你有所帮助.

符号没有搞明白,那是析取吗?如果是析取的话,合取范式就是它自身

x^2-4>0x^2>4得到解集是x>2或x

我们这里从定义出发.简单析（合）取式：仅由有限个文字构成的析（合）取式合取范式：由有限个简单析取式构成的合取式析取范式：由有限个简单合取式构成的析取式（PVQ）VR不是合取范式,因为“合取式”条件不满

PQRPVQRVQ(P∨Q)→(R∨Q)00000100101没弄对其,应该能看懂吧~然后主析取范式为（-P∧-Q∧-R）V(-P∧-Q∧再问：看不懂哟，好像不对

P∪Q=Q,说明P包含于Q,Q∩R=Q,说明Q包含于R所以P包含于Q包含于R,则P包含于R

前提 非(P合取Q)并取P,r指向s,非s,p,结论 非q