下载APP
【简答题】
试用等值演算法证明:命题公式 (¬p∧q) →q 是永真式(重言式) (命题联结词:¬、∧、∨、→、↔) 注:为方便起见,可用"<=>"或"=”表示“等值” (做作业时,可先将解题过程写在作业本上,并清晰写好自己的学号和姓名,然后拍照上传)
参考答案：
参考解析：
刷刷题刷刷变学霸
举一反三
【单选题】下列命题公式中为重言式的是 Ⅰ．((p∨q)→r┌ →((p→r)∧(q→r)) Ⅱ．(p→(q∨r))→((p→q)∧(p→r)) Ⅲ．((p→q)∧(P→r))→((p→r) Ⅳ．((p∨q)∧(p→r))→(p→r)
A.
Ⅲ
B.
Ⅰ和Ⅲ
C.
Ⅰ和Ⅱ
D.
Ⅰ、Ⅱ、Ⅲ和Ⅳ
【单选题】下面哪一个命题公式是重言式
A.
（P∨R）∧（P ® Q ）
B.
P ® （Q∨R）
C.
（P∨Q） « （Q∨R）
D.
（P ® （Q ® R ）） ® （P ® Q ） ® （P ® R ）