填空题

设A(x),B(x)均为含x自由出现的公式,则公式的类型为()。

【参考答案】

永真式
<上一题 目录 下一题>
热门 试题

问答题
给定图G=〈V,E〉,其中V={v1,v2,…vn},定义G的距离矩阵D是: 对图中的有向图,试用邻接矩阵A求出距离矩阵D。
问答题
问{0,2,4}与+6,{0,2,4}与×6集合及集合上的运算是否构成以上3个代数结构的子代数。
相关试题
  • 对任意集合A,B 和C,试证明A×(B∪C)=...
  • 求¬P∨(Q∧R)的合取范式与主合取范式。
  • 设图G=,V={v1,v2,v3,v4},E=...
  • 设关系R的关系图如下,试(1)写出R的关系...
  • 设个体域D={1,2,3,4},则谓词公...