单项选择题
下列命题形式中，属于重言式的是（）。
A.（（A→B）∧（C→D）∧（B∨C））→（A∨D）B.（（A→B）∧（（～A∧C）→D）∧（～A∧D））→～BC.（（A∨B）∧（A→C）∧（B→D））→（～C→D）D.～（A∨～A）
单项选择题 下列命题公式中，属于重言蕴涵的是（）。
多项选择题 已知四个概念M、N、S、P之间具有以下关系：（1）如果M不真包含于N，那么S与P不全异；（2）只有N与P全异，N才不真包含于P；（3）N与P相容，但S与P不相容。由此可以得出（）。
多项选择题 运用综合推理，由上述已知前提能必然得出（）。（1）（R∧S）→T（2）～R→～P（3）～T∧～U（4）V→（P∧Q）（5）～U→（Q→S）
