要由推理获得一个真结论，不仅要求推理是形式有效的，而且要求推理的( )也必须都是真的。