早教吧 育儿知识 作业答案 考试题库 百科 知识分享

¬(P↔Q)怎么推出(P∧¬Q)∨(¬P∧Q).古典逻辑.真值树系统推论的一步一步过程详细点.例子:¬(P→Q)等值于P∧¬Q¬(P→Q)=¬(¬P∨Q)=P∧¬Q

题目详情
¬(P↔Q)怎么推出(P∧¬Q)∨(¬P∧Q).古典逻辑.真值树系统
推论的一步一步过程详细点.
例子:¬(P→Q)等值于P∧¬Q
¬(P→Q)
=¬(¬P∨Q)
=P∧¬Q
▼优质解答
答案和解析
P→Q=¬P∨Q
这个可以看真值表它们在p真q假时不成立其他情况都成立
¬(¬P∨Q)=P∧¬Q
这是德摩根定律非(P 或 Q)=(非 P)且(非 Q)