... 句子,命题 sentence 永真命题 tautology 前束标准型 prenex normal form ...
基于16个网页-相关网页
永真命题
Eternally true proposition
以上为机器翻译结果，长、整句建议使用 人工翻译 。
罗素为解决休谟问题而提出归纳原则。金岳霖等人力图证明归纳原则是永真命题，但未对可能命题作出语义解释。
Other philosopher such as Jin Yulun tried hard to confirm that inductive principle was a tautology proposition, but didn't give semantic interpretation for possible proposition.
youdao
应用推荐
模块上移
模块下移
不移动