一个论证要是好的，需要满足（）。