逻辑学名词解释每日一练(2019.10.15)

名词解释
普遍有效的公式
答案：不论其中变项取什么值，其结果总是真的公式。简称普效式。
名词解释
直言命题
答案：也叫性质命题，它是无条件地直接地断定思维对象具有或不具有某种性质的简单命题。一般来说，直言命题是由四个部分构成的，即主项...
名词解释
间接证明
答案：就是通过证明与原论题相关的其他论题为假，从而推出原论题为真的证明。特点是论题的真实性不是从论据的真直接推出的，而是从其他...
名词解释
反证法
答案：通过证明反论题（与原论题具有矛盾关系或下发对关系的命题）为假，从而根据排中律，推出原论题为真的证明方法。
名词解释
逻辑常项
答案：思维形式结构中不变的部分，它决定着思维形式结构的类型。