A.一個(gè)真值形式A是重言式，當(dāng)且僅當(dāng)它的否定～A是矛盾式
B.一個(gè)命題推理有效，當(dāng)且僅當(dāng)它的真值形式是一個(gè)重言式
C.一個(gè)命題推理有效，當(dāng)且僅當(dāng)它的真值形式是一個(gè)可真式
D.一個(gè)真值形式A是可真式，當(dāng)且僅當(dāng)它的否定～A不是重言式
您可能感興趣的試卷
你可能感興趣的試題
A.（（A→B）∧（C→D）∧（B∨C））→（A∨D）
B.（（A→B）∧（（～A∧C）→D）∧（～A∧D））→～B
C.（（A∨B）∧（A→C）∧（B→D））→（～C→D）
D.～（A∨～A）
A.（（A∨B）→B）
B.（A→（A∧B））
C.（（A→～B）∧B）→A
D.（（A→～B）∧B）→～A
已知四個(gè)概念M、N、S、P之間具有以下關(guān)系：
（1）如果M不真包含于N，那么S與P不全異；
（2）只有N與P全異，N才不真包含于P；
（3）N與P相容，但S與P不相容。
由此可以得出（）。
A.M真包含N
B.N與S全異
C.P真包含M
D.P真包含N
運(yùn)用綜合推理，由上述已知前提能必然得出（）。
（1）（R∧S）→T
（2）～R→～P
（3）～T∧～U
（4）V→（P∧Q）
（5）～U→（Q→S）
A.Q→S
B.S→P
C.～P∨～Q
D.～U∧～V
由下列前提運(yùn)用綜合推理能必然推出結(jié)論（）。
（1）A→B
（2）～C→D
（3）（～A∧C）→E
（4）～（E∧F）
（5）F
A.B
B.B∨D
C.B∧D
D.A∨～C
最新試題
由一個(gè)假言判斷為前提，直接推出結(jié)論的推理叫假言直接推理。
進(jìn)行充分必要條件的假言三段論推理時(shí)，肯定前件就要肯定后件。
在必要條件的假言判斷做前提進(jìn)行假言三段論推理時(shí)，肯定前件，就要肯定后件。
全稱肯定判斷（A）與全稱否定判斷（Ｅ）之間的對當(dāng)關(guān)系是反對關(guān)系。
斷定幾個(gè)選言肢中至少有一個(gè)選言肢真，并且可以同真的選言判斷是相容的選言判斷。
兩個(gè)前提中有一個(gè)是相容選言判斷，并且根據(jù)相容選言聯(lián)結(jié)項(xiàng)的邏輯性質(zhì)推出結(jié)論的選言推理是相容選言推理。
特稱否定判斷不能進(jìn)行換位的直接推理。
在三段論中，前提有一個(gè)是否定的，結(jié)論必然是否定的。
不相容選言推理要求，肯定一個(gè)選言肢，就要否定其余的選言肢。
改變充分條件假言判斷前件和后件的真值，就要把聯(lián)結(jié)項(xiàng)改為必要條件的假言判斷聯(lián)結(jié)項(xiàng)。