多项选择题
关于真值形式，下列说法正确的是（）。
A.一个真值形式A是重言式，当且仅当它的否定～A是矛盾式
B.一个命题推理有效，当且仅当它的真值形式是一个重言式
C.一个命题推理有效，当且仅当它的真值形式是一个可真式
D.一个真值形式A是可真式，当且仅当它的否定～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 -
多项选择题
已知四个概念M、N、S、P之间具有以下关系：（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
