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

名词解释
公理
答案：多是基于人类长期反复实践的验证众所公认其真实性，无需其他命题证明而不证自明的命题。
名词解释
函应
答案：作为数学中函数关系在逻辑领域中的推广和具体运用，函数称为函应（函项），变量称为变项，而变项所取的值并非是数值而是真值或假...
名词解释
能行方法
答案：能行方法是一种机械的判定方法。一种判定方法所以能行必须满足三个条件：
（1）判定程序的每一步都事先给出确定的操...
名词解释
简单断定（原子命题）
答案：
原子命题是不含和自身命题不同命题的命题。
名词解释
定义过宽
答案：定义项的外项大于被定义项的外延。