如果在前提是真实的任何情况下结论必须是真的，则称论证是（）