(p蕴含q)合取(q蕴含r)的主析取范式

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

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、p->q前提引入2、p附加前提引入（结论为蕴含式时可以用）3、q1、2假言推理.4.pvq2,3附加律所以就可以证出前提是p蕴含q结论是p蕴含(p且q).再问：结论是p合取q不是p析取q?再答：哦

你是不是要证明：P↔Q,Q=>P,哪个是条件?P↔Q?还是P↔Q,

是合取具体意思就是┒P成立并且P∨Q成立（p成立或者q成立）则一定能推出q成立原因是p或q有一个成立,现在p不成立,则一定能推出q成立

主合取范式:若干个极大项的合取.主析取范式:若干个极小项的析取.例,求公式(p∧q)∨r的主析取范式及主合取范式.主析取范式:(p∧q)∨r(p∧q∧(r∨┐r))∨((p∨┐p)∧(q∨┐q)∧r)

“P为0,Q为1,P→Q为1”解释为“如果天下雨,那么草木枯黄”,这句话为真,所以P→Q为1.下雨就能不枯黄了?发大水了照样可以枯黄,所以可以推出.“P为1,Q为0,P→Q为0”解释为“如果天不下雨,

本题的实质是,当实数p,q取遍[-1,1]的所有值时,x的范围为多少,即为所求并集x^2+px+q=0求根公式x1=(-p+√(p^2-4q))/2x2=(-p-√(p^2-4q))/2即-p尽可能大

不太对吧,你的第二步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构成的析取范式）.

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否定肯定式

p{1,2,3,4,5,6},Q{1,2,3,4}如果有5或6,p存在,而Q不存在

P蕴含Q我也说不清楚.我觉得这句话可以解释为：除非是P,不然就都不是Q,也就是说,只有属于P的才可能属于Q,不属于P的都不在Q里,说明Q都在P里面.或者把p和q的表述变换一下来进行验证.Q蕴含P肯定是

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

三点共线则PQ和PR斜率相等(q^3-p^3)/(q-p)=(r^3-p^3)/(r-p)q^2+pq+p^2=r^2+pr+p^2q^2+pq=r^2+prq^2-r^2+pq-pr=0(q-r)(

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

P∨Q→R=>P∧Q→R方法一：用CP规则(1)P∧QP(附加前提)（2）PT（1）I（3）P∨QT（2）I（4）P∨Q→RP（5）RT（3）（4）I（6）P∧Q→RCP方法二；要证明P∨Q→R=>P

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

画三个互相有并集的圈圈分别用图形表示（p^r^q)v(非r^q)和p^q会发现是一样的再问：谢谢您再答：满意请采纳哦—U—

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