首页
›
答案
›
题库
›
知到智慧树
›
未分类
有些Tarski s’World 必然真语句不是()。
有些Tarski s’World 必然真语句不是()。
A.可满足式
B.逻辑真语句
C.重言式
D.矛盾式
正确答案:逻辑真语句;重言式;
矛盾式
标签:
重言
语句
逻辑
上一条:
如果S是一个重言式,那么它也是()语句。
下一条:
没有前提的一个证明表明它是系统的一条()。