(非P->q)(非qVp)的主析取范式和主合取范式

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

p或q：Л是有理数或者是无理数p且q：Л是有理数而且是无理数非p：Л不是有理数

∨表示逻辑“或”的关系,所以非Q或非P有一个正确,则整体正确.P:所有有理数都是实数——正确,即非P错误；Q:正数的对数都是负数——错误,即非Q正确.所以非Q∨非P正确.实数由有理数和无理数组成,所以

(1)P：所有有理数都是实数非P:"并非所有有理数都是实数"或"存在不是实数的有理数"(2)q:正数的对数都是负数非q:并非所有正数的对数都是负数

有个非P的话就是（非P）Q

1,非（q->非q)^非p=非（非qV非p)^非p=q^(p^非p)=q^F=F2,.(p^q)V(非pVr)=(p^q)V非pVr=(pV非p)^(qV非p)Vr=qV非pVr我不是很会打数学符号,

合论易知）2.P成立并且Q不成立PQ均是指命题P和Q当然是命题,不知你如何理解.你要是在学集合论或数理逻辑书上该有证明.你可按集合论理解,命题理解为集合.命题P成立理解为存在x属于集合P.“P=>

可以用维恩图解释,就是那种饼饼,还有交叉的,你去试试就知道了比如这样：A={1,2,3,4,5}B={4,5,6,7}非（A且B）=非({4,5})={1,2,3,6,7}验证定理：（非A）或（非B）

∵非P且非Q的否定是假命题∴非P且非Q是真命题∴非P和非Q都是真命题∴P和Q都是假命题

1.“P=>Q”的否定是“P且非Q”（从集合论易知）2.P成立并且Q不成立PQ均是指命题P和Q当然是命题,不知你如何理解.你要是在学集合论或数理逻辑书上该有证明.你可按集合论理解,命题理解为集合.命题

前面是指两个中的一个再答：后面有满足两个条件再问：p或q和p且q呢？再答：一样再答：不过前面的里面有非再答：即否再答：谢谢好评

首先要理解其中的本质非p的形式是对结论的否定这道题目中"有一个锐角三角形"是题设,而"钝角三角形"是结论,所以不是钝角三角形就是对结论的否定,就是非p拉

不太确定你所说的矛盾式在这里是否是指命题的否定,如果是,请看下面的推导：p-->q的否定p-->q)p-->q)pvq)(pvq)p^q（非p且非q）这里指否定,即“非”)或者,更简单的方法,如果你知

是若p则非q

p或q表示p和q两个的并集p且q表示p和q两个的交集非p表示除了p以外的其他范围比如p表示0到10q表示7到20p或q（p||q）表示0到20p且q（p&&q）表示7到10非p（!p）表示负无穷到0以

只有p才q这样的语言翻译成逻辑语言为q推出p,所以选B再问：D应该算是假言命题转化成联言命题吧，如果从这个角度，D也应是正确的吧。对吗？再答：D不正确啊，你看它很B的真值是不一样的。非q->非p，只有

(┐p→q)→(┐q∨p)┐(┐┐p∨q)∨(┐q∨p)(┐p∧┐q)∨(┐q∨p)(┐p∨(┐q∨p))∧(┐q∨(┐q∨p))1∧(┐q∨p)(p∨┐q)M1(主合取范式)m0∨m2∨m3(主析取

非p且q等值于非p且q且（r或非r）等值于（非p且q且r）或（非p且q且非r）(非p或q或非r)且非p且q等值于（非p且q且非p）或（非p且q且q）或（非p且q且非r）等值于（非p且q）或（非p且q且

C,非P或者Q只要证明非P和Q不同时为假.假设非P假,即P为真,由如果P则Q,知道Q为真假设Q假,即非Q为真,由如果非Q则非P,知道非P为真即证明了非P和Q必有一个为真,所以非P或者Q必为真

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