推理规则
:在证明的任何
步骤上,都可引入前提。
:在证明的任何
步骤上,所证明的结论都可以
作为后续证明的前提。
htlp:
推理规则
:在证明的任何步骤上
命题公式中的任何子命题公式都可
以用与之等值的命题公式置换。
在以下的推理规则中,用A,
A2,AkFB表示B是AnA2,A的
逻辑结论,在证明的序列中,若己
有A1,A2,,Ak,
推理定律可得下面推理规则
假言推理规则:A→B,AFB
: A FAVB
:A∧BHA
:A→B,~BF~A
:A→B,B→CHA→C
:AVB,-BFA
:A→B,C→D
A∨CFB∨D
:A,BHA∧B
单前提推理(推理规则)
>p→p
~p→p
>p/q→p
>p/q→q
>p→p∨q
>q→pVq
中P→p→q*附加规则*
(p→q)→p
p∧(p→q)→q
→p∧(p∨q)→q
啼~q∧(p→>q)→p
(p→q)∧(q→n)→p→r
(p>q)→(p→q)∧(q→少p)
(p√q)∧(p→r)∧(q→s)→r∨S
(p√q)∧(p→r)∧(q→r)→r
多前提基本推理
>(a)p,p→q→q
>(b)~q,p-q→~p
(c)~q,pVq→p
>(d)p→q,q→r→p→→r
>(e)p∨q,p→r,q→s→rVs
>(fp∨q,p→r,qr→r
例,构造下列推理的论证
→q,r→q,rVs,s→~q→p
S→~C
前提
②
前提
③
rVs
前提
④4-q
①②③构造性二难
⑤p>q
前提
⑥-p
④⑤拒取式
8
附加前提证明法
A,A2,4n→A→B
A→B
知道你过去的人固然可怕,但有你过去照片的人更可怕! 来自淘豆网m.daumloan.com转载请标明出处.
