P∨Q,P→R,Q→R=>R里的逗号表示什么?怎么证明呢?
来源:百度知道 编辑:UC知道 时间:2024/05/16 07:38:44
急等解决
逗号是用来把前提间隔了一下,也就是说有三个前提P∨Q,P→R和Q→R
证明:
① P→R 前提引入
② ┐P∨R ①置换
③ Q→R 前提引入
④ ┐Q∨R ③置换
⑤ (┐P∨R)∧(┐Q∨R) ②④合取
⑥ ┐(P∨Q)∨R ⑤置换
⑦ (P∨Q)→R ⑥置换
⑧ P∨Q 前提引入
⑨ R ⑦⑧假言推理
上面的“置换”指的是使用等值式
也可以用反证法证明
┐(P∨Q→┐R)=(┐P∨Q)∧R如何证明
q+r=p+s,p+r>q+s,s>p
((p∨q)→r)←→s如何证明是永假式、永真式还是可满足式?
对于任意正整数p,q,r,s,如果p+q=r+s,则有ap+aq=ar+as
初2数学题直角三角形三边为p,q,r其中r为斜边,若(p+q+r)÷(p+r)=根号2,S⊿为2,求它的周长?
P(3,-6)Q(-5,2)。R的纵坐标9,P,R,Q共线,则R的横坐标是多少
P.R.C ???? P.R.C. ????
已知等差数列的前n项和Sn=pn^2-2n q(p,q∈R,n∈R).求q的值
S比P重,P和R比Q和S重,Q和R与P和S一样重,怎么判断这死人的体重呢?
已知p,q都是r的必要条件,s是r的充分条件,q是s的充分条件,