多项选择题
关于真值形式，下列说法正确的是（）。
A.一个真值形式A是重言式，当且仅当它的否定～A是矛盾式B.一个命题推理有效，当且仅当它的真值形式是一个重言式C.一个命题推理有效，当且仅当它的真值形式是一个可真式D.一个真值形式A是可真式，当且仅当它的否定～A不是重言式
单项选择题 下列命题形式中，属于重言式的是（）。
单项选择题 下列命题公式中，属于重言蕴涵的是（）。
多项选择题 已知四个概念M、N、S、P之间具有以下关系：（1）如果M不真包含于N，那么S与P不全异；（2）只有N与P全异，N才不真包含于P；（3）N与P相容，但S与P不相容。由此可以得出（）。
