相关试题
【判断题】
在命题的演算中,每个最小联结词组至少有两个联结词
【判断题】
命题联结词集{﹁,∧,∨}是最小联结词集
【判断题】
命题联结词集{↑}和{↓}都是最小联结词集
【判断题】
A是命题公式,A与(A*)*互为对偶式
【判断题】
任一命题公式的主析取范式和它的主合取范式互为对偶式
【判断题】
任一命题公式都可以表示成与其等值的若干极小项的析取式
【判断题】
在谓词公式中,一个变量只能是自由变量或约束变量中的一种
【判断题】
公式 (x)(P(x)→Q(x) )R(y) 中量词x的作用域为P(x)
【判断题】
同一谓词公式,指定不同的论域,其真值不一定相同
【判断题】
谓词公式(x)P(x)(y)﹁P(y)是矛盾式
【判断题】
(x)(P(x)→Q(x) )→((x)P(x)→(x)Q(x) )为真
【判断题】
对公式(z)(P(z)∧Q(x,z)∧M(z,y))∨R(z)中自由变量进行代入后,有(z)(P(z)∧Q(a,z)∧M(z,b))∨R(z)
【判断题】
(x) (y) (P(x)→Q(y) )(x)P(x)→(y)Q(y)
【判断题】
P(x)、Q(x)表示谓词,P表示命题,有(x) (P(x)→P)(x)P(x)→P
【判断题】
(x) (A(x)∧B(x) )(x)A(x)∧(x)B(x)
【判断题】
(x) (A(x)→B(x) )(x)A(x)∧(x)B(x)
【判断题】
公式(x)P(x)→(y)Q(x,y)的前束范式为(x) (y) (P(x)→Q(x,y) )
【判断题】
公式(x)(﹁(y)P(x,y)→((z)Q(z)→R(x)))的前束范式为(x) (y) (z) (P(x,y)∨﹁Q(z) ∨R(x))
【判断题】
对公式(z)(P(z)∧Q(x,z)∧M(z,y))∨R(z)中约束变量z改名后,得到的等价公式为:(t)(P(t)∧Q(x,t)∧M(t,y))∨R(t)
【判断题】
{Φ}∈{Φ,{Φ}}且{Φ}{Φ,{Φ}}
【判断题】
设A={Φ},B=P(P(A)),则有{Φ}∈B,且{Φ}B
【判断题】
设A、B是集合,则命题AB 和A∈B可能同时成立
【判断题】
设A、B是任意集合,若{A∩B,B-A}是A∪B的一个划分,则有A-B=Φ
【判断题】
设A、B是两个非空集合,若{A-B,B-A}是A∪B的一个划分,则有A∩B=Φ
【判断题】
设A、B是任意集合,若{A∩B, A-B,B-A}是A∪B的一个划分,则有A∩B=Φ,A-B=Φ,B-A =Φ
【判断题】
设A、B是任意集合,若{A∩B }是A∪B的一个划分,则有A-B=B-A =Φ
【判断题】
集合A={1,2,3}的任何关系R都不可能既是对称的,又是反对称的
【判断题】
集合A={a,b,c}上的关系R={<a,b>,<a,c>}是不可传递的
【判断题】
若R和S是集合A上的任意两个自反关系,则RS也是自反的
推荐试题
【判断题】
汉字标准化要求就是定量、定形、定音、定序。
【判断题】
散文《拣麦穗》主要描写了农村的艰苦生活。
【判断题】
刘向是西汉著名的经学家、目录学家和文学家。
【判断题】
从宋代至清代,小说、诸宫调、北杂剧、南戏都曾被人称为"传奇"。
【判断题】
《月下小景》写主人公微妙的心理灵动时采用了写实的方法。
【判断题】
《战国策》的思想价值在于它反映了战国时代"士"阶层的崛起,反映出士人精神的张扬。
【判断题】
《茶馆》三幕戏分别写了建国初期、文化革命、改革开放三个时期。
【判断题】
郭沫若抗战前夕成功创作了长篇叙事诗《屈原》。
【判断题】
曹操反映时代乱离和人民疾苦的诗歌被称为"汉末实录"。
【判断题】
朱自清以美文的创作实绩,彻底打破了白话不能作美文的说法。
【判断题】
苏轼诗歌最突出的特色就是"以文为诗"。
【判断题】
唐传奇的出现标志着白话短篇小说的成熟。
【判断题】
《茶馆》按历史顺序写了旧中国半个世纪的历史变迁。
【判断题】
王安石为宋代诗文革新运动提出了系统的文学主张。
【判断题】
我国第一部文人词总集《花间集》的编者是赵崇祚。
【判断题】
《楚辞》开创了中国诗歌现实主义的创作道路。
【判断题】
现代汉语普通话语音标准是以北方语音为标准音。
【判断题】
《古诗十九首》的作者都是东汉时的著名诗人。
【判断题】
从象征的角度看,《狂人日记》中的"狂人"是一个反封建的战士。