首先检证逻辑(confirmation logic)被定义为一个恰当的检证理论所需的 (量化)逻辑,而一个检证理论是恰当的(adequate)如满足以下四条件:(i)该理论能解决检证吊诡(the...
基于12个网页-相关网页
检证逻辑
Verification logic
以上为机器翻译结果,长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动