首页
›
答案
›
题库
›
知到智慧树
›
未分类
有一些Tarski s’World 必然真语句是()。
有一些Tarski s’World 必然真语句是()。
A.永假式
B.矛盾式
C.可满足式
D.重言式
正确答案:重言式
标签:
重言
语句
矛盾
上一条:
S是一个重言式当且仅当S的真值表的每一行的真值()。
下一条:
如果S是一个重言式,那么S是()。