用“p→q=~p∨q”证明：（p→q）∧（q→r）=> p→r
=（~p∨q）∧（~q∨r）
=[~p∧（~q∨r）]∨[q∧（~q∨r）]
=[（~p∧~q)∨（~p∧r）]∨[(q∧~q）∨(q∧r）]
=（~p∧~q)∨（~p∧r）∨0∨(q∧r）
=（~p∧~q)∨（~p∧r）∨(q∧r）
=（~p∧~q)∨[（~p∨q)∧r]
={~p∨[（~p∨q)∧r]}∧{~q∨[（~p∨q)∧r]}
={[~p∨(~p∨q)]∧（~p∨r）}∧{[~q∨（~p∨q)]∧(~q∨r)}
=[（~p∨q)∧（~p∨r）]∧1∧(~q∨r)
=[（~p∨q)∧（~p∨r）]∧(~q∨r)
=[（~p∨q)∧(~q∨r)]∧（~p∨r）
=[（p→q）∧（q→r）]∧（ p→r）
即有
(p→q)∧（q→r）=[（p→q）∧（q→r）]∧（ p→r）
所以
[(p→q)∧（q→r）]}∨（ p→r）
{[（p→q）∧（q→r）]∧（ p→r）}∨（ p→r）
={~[（p→q）∧（q→r）]}∨[~（ p→r）]∨（ p→r）
=1
即（p→q）∧（q→r）=> p→r 恒成立 证毕
...设命题公式G=┐(P→Q)∨(Q∧(┐P→R)),求G的主析取范式
解法一：G=┐（P→Q）∨（Q∧（┐P→R））=┐（┐P∨Q）∨（Q∧（P∨R））=（P∧┐Q）∨（（Q∧P）∨（Q∧R））=（P∧┐Q）∨（Q∧P）∨（Q∧R）=（（P∧┐Q）∧（┐R∨R））∨（（Q∧P）∧（┐R∨R））∨（（Q∧R）∧（┐p∨p））=（P∧┐Q∧┐R）∨（P∧┐...
通过等值演算证明((p∨q)∧(p→r)∧(~r))→q为永真式
((p→q)∧(q→r))→(p→r) ??((p→q)∧(q→r))∨(p→r) 变成 合取析取 ??((?p∨q)∧(?q∨r))∨(?p∨r) 变成 合取析取 ?(?(?p∨q)∨?(?q∨r))∨(?p∨r) 德摩根定律 ?((p∧?q)∨(q∧?r))∨(?p∨r) 德摩根定律 ?(p∧?q)∨(q∧?
懂离散的进 P∧(P→Q)=>Q??
你的推演过程没有问题。但是“P∧(P→Q)=>Q”是要说明“P∧(P→Q)”可推出“Q”。至于“P∧(P→Q)”可推出“P”其实是不用列出的，因为有“P∧X=>P”就足够了（“P∧(P→Q)”也属于“P∧X”型，因此可以直接推出P）
特殊符号大全的意思是什么?
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z [\\]^_` a b c d e f g h i j k l m n o p q r s t u v w x y z {|}～￠￡￢~￤ 符号特殊符号意思3 特殊符号是符号的一种,比如说圆圈(○)、叉号(、、)、五角星(★、☆)、勾号(、) [1] 。 “...
法律逻辑学, 以“(p→q)→r”和“~r”为前提,可必然推出结论( )
1、E 以“（p→q）→r”和“~r”为前提，构成充分条件假言推理的否定后件式，可得出结论对前件的（p→q）否定，即（p→q）为假，而（p→q）为假可推出p真但q假。所以结论为E。2、以“~p”和“p←（q←r）”为前提，构成必要条件假言推理的否定前件式，可得出结论对后件的（q←r）...
...TAT教我答案... (1)使用归谬法判定公式((p∧q)→r)→(p→(q...
是，因为中间的蕴含，可以换成等于的
逻辑学:[p( )q]^p→q,在括号内填入联结词,使其成为有效的推理形式...
括号内填入“→”，读作“蕴涵”，构成充分条件假言直言推理中的肯定前件式，为有效式。
离散数学 等值演算 p→q→r<=>(p→ q)→(p→r)
楼主，这个等值演算应该不成立，比如p=0,q=1,r=0时前面为假，后面为真。下面我给你它的等值演算吧！p—>q—>r经过演算得m1@m3@m4@m5@m7 @代表是离散数学的吸取或张开符号。而(p—>q)—>(p—>r)非(非p@q)@(非p@r) <=>(p^非q)@（非p@r) <=>(P^非q)^(非r@r))@...
求命题公式 A=(p→q)→((q→r)→(p→r))的真值表
因为(0→0)=1,(0→1)=1,(1→0)=0,(1→1)=1 所以真值表如下图：因为真值恒为1，所以是真命题。
((p➡️q)^p)➡️q在逻辑学中是什么意思
是充分条件假言直言推理的肯定前件式，即通过肯定假言前提的前件，推出肯定假言前提的后件为结论，为有效的推理形式。
诗泪阿莫：[答案] 证:(p→q)∧(q→r) =(~p∨q)∧(~q∨r) =[~p∧(~q∨r)]∨[q∧(~q∨r)] =[(~p∧~q)∨(~p∧r)]∨[(q∧~q)∨(q∧r)] =(~p∧~q)∨(~p∧r)∨0∨(q∧r) =(~p∧~q)∨(~p∧r)∨(q∧r) =(~p∧~q)∨[(~p∨q)∧r] ={~p∨[(~p∨q)∧r]}∧{~q∨[(~p∨q)∧r]} ={[~p∨(~p...
贺州市15628401104： 用“p→q=~p∨q”证明:(p→q)∧(q→r)=> p→r - ？
诗泪阿莫： 证:(p→q)∧(q→r) =(~p∨q)∧(~q∨r) =[~p∧(~q∨r)]∨[q∧(~q∨r)] =[(~p∧~q)∨(~p∧r)]∨[(q∧~q)∨(q∧r)] =(~p∧~q)∨(~p∧r)∨0∨(q∧r) =(~p∧~q)∨(~p∧r)∨(q∧r) =(~p∧~q)∨[(~p∨q)∧r] ={~p∨[(~p∨q)∧r]}∧{~q∨[(~p∨q)∧r]} ={[~p∨...
贺州市15628401104： 证明P→(Q→R)=(P^Q)→R - ？
诗泪阿莫： (1){1}P→(Q→R) /∴ Q→(P←R)(2){1}~P∨(~Q∨R)(3){1}~P∨~Q∨R(4){1}~Q∨~P∨R(5){1}~Q∨(~P∨R)(6){1} Q→(P→R)大概题有误
贺州市15628401104： 证明(P→Q)→R等价(P∨R)∧(┐Q∨R) - ？
诗泪阿莫： P→Q<=>┐PvQ 所以(P→Q)→R<=>┐(┐PvQ)vR<=>(P∧┐Q)vR<=>(P∨R)∧(┐Q∨R),求采纳!
贺州市15628401104： 关于离散数学的几个问题证明P→Q=>┐P∨Q证明┐P∨(P∧Q)=>P→(P∧Q)R→┐R是什么? - ？
诗泪阿莫：[答案] 应该是P→Q ┐P∨Q, 这个太简单了,一般是用真值表证明的,你来试试…….有了它,下面这个也就证明了:┐P∨(P∧Q) P→(P∧Q).
贺州市15628401104： 逻辑学中,如何证明(p→q)∨(q→p) - ？
诗泪阿莫： 很简单的啊,只要明白“蕴含”(→)的等价式,即 p→q =¬p∨q 同理,q→p =¬q∨p 因此,(p→q)∨(q→p) =(¬p∨q)∨(¬q∨p) =(¬p∨p)∨(q∨¬q) =T∨T =T 即这是一个恒真式
贺州市15628401104： 证明:P→(Q→R)⇔Q→(P→R) - ？
诗泪阿莫： 证明: P → (Q → R) ⇔ ┐P ∨ (Q → R);“条件”转换为“或”; ⇔ ┐P ∨ (┐Q ∨ R);“条件”转换为“或”; ⇔ ┐P ∨ ┐Q ∨ R;“或”的结合律; ⇔ ┐Q ∨ ┐P ∨ R;“或”的交换律; ⇔ ┐Q ∨ (┐P ∨ R) ;“或”的结合律; ⇔ ┐Q ∨ ...
贺州市15628401104： p→(q→r)←→(p∧q)→r - ？
诗泪阿莫： P→Q等价于:(┐P)∨QP∨(Q∧R)→(P∧Q∧R)等价于:(┐P∨(Q∧R))∨(P∧Q∧R)后面无非就是一些化简方法:比如(Q∧R)=[(┐P)∧(Q∧R)]∨[P∧(Q∧R)]之类┐P=[(┐P)∧(Q∧R)]∨[(┐P)∧(┐Q∧R)]∨[(┐P)∧(Q∧┐R)]∨[(┐P)∧(┐Q∧┐R)]另一范式雷同
贺州市15628401104： 证明下列公式的等值式(p→q)→r<=>(p∨r)∧(¬p∨r) - ？
诗泪阿莫： ((p→q)∧(q→r))→(p→r) ⇔¬((p→q)∧(q→r))∨(p→r) 变成 合取析取 ⇔¬((¬p∨q)∧(¬q∨r))∨(¬p∨r) 变成 合取析取 ⇔(¬(¬p∨q)∨¬(¬q∨r))∨(¬p∨r) 德摩根定律 ⇔((p∧¬q)∨(
贺州市15628401104： 离散数学,判断公式类型:(p→q)<=>p - ？
诗泪阿莫： 可满足式啊 p→q<=>pV非q 当p为F q为F 时 左边为T 右边为F 当p为T 不管q为多少 左右都为T 所以可满足
