一个推理形式有效,当且仅当,具有此推理形式的任一推理都不会出现______而结论假的情形。