一个推理形式有效，当且仅当，具有此推理形式的任一推理都不会出现____而结论假的情形。
前提真 推理形式是有效的指的是假设其前提是真的，则其结论一定是真的。凡是具有此推理形式的任一推理，都不会出现前提真而结论假的情况。
一个推理形式有效，当且仅当，具有此推理形式的任一推理都不会出现____而结论假的情形。
前提真 推理形式是有效的指的是假设其前提是真的，则其结论一定是真的。凡是具有此推理形式的任一推理，都不会出现前提真而结论假的情况。
