用推理方法判断命题是真命题时,能用来作为推理依据的有命题的设_____等