要检验一个命题是否是矛盾式，即以该命题作为前提进行推导，看看能否推导出（）。

用真值表检验重言式与矛盾式需要针对所讨论的命题建立一个（）。 以“凡正确的推理都是前提和推理形式都正确的推理”这个命题作前提进行演绎推理，不能必然推出的结论是（）。 根据不矛盾律，可以由一个命题为假，推出其矛盾命题或者反对命题为真。 根据不矛盾律，可以由一个命题为假，推出其矛盾命题或者反对命题为真。 如果三段论的前提中有一个否定命题，则它的结论应是（）命题。如果前提中有一个特称命题，则它的结论应是（）命题。 从狭义上讲,论证时一个命题序列,其一个命题被称为结论,其余命题被称为前提（） 若一命题永远无法被证明，则该命题就是一个错误命题。（） 若一命题永远无法被证明，则该命题就是一个错误命题（） 当永远无法证明某个命题时，该命题就是一个错误的命题（） 前提或结论中有一个为合取命题 条件命题是指一个命题为真是另一个命题为真的充分条件的命题。（） 条件命题是指一个命题为真是另一个命题为真的充分条件的命题。（） 如果甲命题与乙命题是矛盾关系，乙命题与丙命题也是矛盾关系，那么甲命题与丙命题是（） 一个命题为真是另一个命题为真的充分条件的命题是() 一个命题为真是另一个命题为真的充分条件的命题是()。 在一个正确的三段论中，如果结论是特称命题，那么前提中必有一个特称命题 以下命题公式中，（）是矛盾式 为什么结论是否定命题的三段论有效式的大前提不能是I命题？ 以“（p∨q）→（r∧s）”为一个前提进行演绎推理，若加上前提（）。 对不对与推不推，对一个命题来说是一回事。（）