判断题 归纳推理为演绎推理提供前提。

判断题 “并非贾某不可能犯罪”等值于“贾某必然犯罪”。

判断题 “禁止三代以内的旁系血亲结婚”属于真值模态判断。