我们将那些作为推理依据的已知命题称为推理的_________。