A.等价式B.否定式C.析取式D.合取式
单项选择题以下哪一个是正则集a(ba)*对应的文法?()
A.B.C.D.
单项选择题以下文法对应的语言是()。(以下出现的n均为整数)
单项选择题令P(x)为“x是质数”,E(x)为“x是偶数”,O(x)为“x是奇数”,D(x,y)为“x除尽y”,翻译命题:()任何质数不能除尽任何质数。
A.∀x(O(x)→∀y(P(y)→¬D(x)))B.∀x(O(x)→∃y(P(y)∧¬D(x)))C.∃x(O(x)∧∃y(P(y)∧¬D(x)))D.∃x(O(x)→∀y(P(y)→¬D(x)))
单项选择题令P(x)为“x是质数”,E(x)为“x是偶数”,O(x)为“x是奇数”,D(x,y)为“x除尽y”,翻译命题:()对所有x,若x是偶数,则对所有y,若x除尽y,则y是偶数。
A.∀x(E(x)→∀y(D(x,y)→E(x)))B.∀x(E(x)→∀y(D(x,y)∧E(x)))C.∃x(E(x)→∃y(D(x,y)→E(x)))D.∃x(E(x)∧∃y(D(x,y)→E(x)))
单项选择题令P(x)为“x是质数”,E(x)为“x是偶数”,O(x)为“x是奇数”,D(x,y)为“x除尽y”,翻译命题:()对所有x,若x不是偶数,则x不能被2除尽。
A.∀x(¬E(x)→¬D(2,x))B.∀x(¬E(x)∧¬D(2,x))C.∃x(¬E(x)→¬D(2,x))D.∃x(¬E(x)∧¬D(2,x))