命题逻辑题「(P∧Q)∨(「Q∧R)的主要连接词为什么是∨,而不是「直接子句式为什么是「(P∧Q）和(「Q∧R),而不是(P∧Q)∨(「Q∧R)呢

命题逻辑题「(P∧Q)∨(「Q∧R)的主要连接词为什么是∨,而不是「直接子句式为什么是「(P∧Q）和(「Q∧R),而不是(P∧Q)∨(「Q∧R)呢 命题逻辑 [[[（p∧q )∧r ]∨[（p∧q）∧¬r]]∨¬q ] →s化简上课的时候我写了一遍,化出了答案.0 0回家之后再化简一遍就化不出来了 在命题逻辑中构造下面推理的证明 前提:p→s,q→r,┐r,p∨q,结论s 命题逻辑 how many rows are needed for the truth table of the compound statement(p∨¬q)↔[（¬r∧ s) → t] where p q r s and t are primitive statements 等价公式中吸收律的含义是什么?补充：命题逻辑中的等价公式，其中有吸收律P∧(P∨Q)=P，P∨(P∧Q)=P，这个吸收律是什么含义？ (┐p∨q∨r)∧(┐p∨q∨┐r)∧(┐p∨┐q∨r)∧(p∨┐q∨r)∧(p∨q∨┐r)∧(p∨┐q∨┐r)是如何变成(┐p∧┐q∧┐r)∨(p∧q∧r)的? 离散数学命题逻辑求析取范式?求析取范式?主析取范式?再用主析取范式求主和取范式?1、(p^q)Vr 2、(p->q)^(q->r)求下列公式的主和取范式,再用主和取范式求主析取范式?1、(p^q)->q2、(p->q)->r3、┐(r- 一道 推理理论的题目,前提：(p∧q)－>r,「s∨p,q,s结论：r用推理理论证明.我是这么做的：1.(p∧q)－>r //前提引入2.q－>r //化简3.q //前提引入4.r我想问的是：我这么做对么?一共四个前提,我只用 离散数学证明题：证明((Q∧R)-->S) ∧(R-->(P∨S))(R∧(P-->Q))-->S 证明(P→Q)→R等价(P∨R)∧(┐Q∨R) 求命题公式(p∨(q∧r))→(p∧q∧r)的主合取范式 求命题公式(p∨(q∧r))→(p∧q∧r)的主析取范式 急 证明：P∨Q→R 蕴含（两横的箭头）P∧Q→R 求下列公式的主析取和主合取范式,(p∧┐q)∨(q∧r) 关于离散数学的几个问题证明P→Q＝>┐P∨Q证明┐P∨（P∧Q）＝>P→（P∧Q）R→┐R是什么? 已知p：2+2=5,q：3>2,下列判断错误的是A.“p∨q”为真命题,“「 q”为假命题B.“p∧q”为假命题,“「 q”为真命题C.“p∧q”为假命题,“「 q”为假命题D.“p∧q”为假命题,“p∨q”为真命题 (┐p∨r)∧(p→q)的成假赋值(p→q)∧(┐(p∧r)∨p)的成假赋值 用“p→q=~p∨q”证明：（p→q）∧（q→r）=> p→r