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