上一讲中出现的有效推理形式，在命题演算公理系统L中：

在公理系统中任何非公理命题都不能（）加以引用，没有经过（）的命题都不能作为演绎推导的前提。 下列说法是否正确：“要保证结论是真命题，就必须同时保证：（1）推理所用的是有效推理形式，（2）前提是真命题。” 根据压力倦怠与正能量激发这一讲，职业耗竭的表现有（） 下列各项推理中，推理形式有效的是（） 制度具有。（第一讲） 一个推理形式有效，当且仅当，具有此推理形式的任一推理都不会出现_____而结论假的情况。 一个推理形式有效，当且仅当，具有此推理形式的任一推理都不会出现__而结论假的情况 一个推理形式有效，当且仅当，具有此推理形式的任一推理都不会出现________而结论假的情形。 最直接体现三段论公理的推理形式是 设F是属性组U上的一组函数依赖，下列哪一条属于Armstrong公理系统中的基本推理规则（） 设F是属性组U上的一组函数依赖，下列哪一条属于Armstrong公理系统中的基本推理规则（） 下列五个推理形式中，是有效推理的有 属于《异形数独进阶上》这一讲次的重点的是（） 属于《异形数独进阶上》这一讲次的难点的是（） 通过有效推理形式，以下哪种情况不可能出现： 下列推理形式中，有效式是 下列推理形式中，有效式是（） 讲一讲平行下托辊的主要用途。 下列关于《异形数独进阶上》这一讲次说法错误的是（） 属于《异形数独进阶上》这一讲次课程目标的是（）