F论证所使用的推理中所有前提（包括未表达前提）必须是真的或可接受的