经过推理证实为正确的并可以作为推理的依据的真命题叫做(),很多情况下,一个命题的正确性需要经过推理,才能做出判断、这个推