表达语句的判断，称为_____。

传统逻辑称性质判断为_____。

根据推理中前提和结论之间的逻辑关系，可以把推理分为_________和或然性推理。

同一素材的性质判断之间的真假关系，称为_____。

特称判断的主项都_____。

当SAP和SIP同真时，S和P外延之间的关系是_________。

模态判断可分为_____和必然模态状态。

在论证中，_____是间接论证的逻辑依据。

判断都有所_________或者有所否定。

找到推理形式相同，但前提明显为_________，结论明显为假的“反例”，是揭示一个演绎推理无效的重要手段。