附加前提引入時(shí)有的加否定
謂詞演算的推理中,附加前提引入有什么規(guī)則?為什么在推理過程中用到附加前提,有的前提要加否定,有的不加呢?
例：前提：w→(˥(r∧s)→˥q),w,˥s
結(jié)論：˥q
˥(˥q) P（附加前提）
為什么要加否定?
證明：A→(B→C),˥D∨A,B˫D→C
D P(附加前提)
這個(gè)D是哪個(gè)D?是˫之前的D還是之后D→C中的D?
3.證明：(∀x)(G(x)∨Q(x)) ˫ (∀x)G(x)∨(∃x)Q(x)
：
(1) ˥((∀x)G(x)∨(∃x)Q(x)) P(附加前提)
(2) .....
這個(gè)附加前提，是 ˫ 符號后面的結(jié)論嗎？為什么要加否定？
4.證明：(∀x)(G(x) ∨Q(x)) ˫ ˥(∀x)G(x) →(∃x)Q(x)
（1）˥(∀x)G(x) P（附加前提）
（2）......
這個(gè)（1）步中的附加前提是 ˫ 符號后的結(jié)論中的˥(∀x)G(x)還是前提(∀x)(G(x) ∨Q(x))演化過來的？如果是˫ 符號后的結(jié)論中的前提為什么這個(gè)沒有加否定呢？