设A为一个命题,对于任意一个命题B而言,若要使"只有A,才B"为真,则A的真假值必须是()。 A、真值B、假值C、真值或者假值D、真值并且假值
设A为一个命题,对于任意一个命题B而言,若要使"只有A,才B"为真,则A的真假值必须是()。
A、真值
B、假值
C、真值或者假值
D、真值并且假值
相关考题：
66、用递归是可以定义语言的。如表述命题逻辑的一种语言可以如下定义： （1)一个命题是其值为真或假的一个判断语句； （2)如果X是一个命题，Y也是一个命题，则X and Y，X or Y, not X也是一个命题； （3)如果X是一个命题，则（X)也是一个命题，括号内的命题运算优先； （4)命题由以上方式构造。 若X，Y，Z，M等均是一个命题，问不符合上述递归定义的语句是_____。A．(X and Y not Z)B．XC．(X)D．((X and Y) or (not Z)) and (not M)
用递归是可以定义语言的。如表述命题逻辑的一种语言可以如下定义： （1)一个命题是其值为真或假的一个判断语句； （2)如果X是一个命题，Y也是一个命题，则X and Y，X or Y, not X也是一个命题； （3)如果X是一个命题，则（X)也是一个命题，括号内的命题运算优先； （4)命题由以上方式构造。 若X，Y，Z，M等均是一个命题，问不符合上述递归定义的语句是_____。A．(X and Y not Z)B．XC．(X)D．((X and Y) or (not Z)) and (not M)
设x是某个体域Ω中的一个个体，F（x)和G（x)是两个关于x的命题，则命题∃x（F（x)∨G（x))的含义是____。A．必有一个y∈Ω，使得命题F(y)∨G(y)为真B．必有一个y∈Ω，使得命题F(y)为真或G(y)为真C．必有一个y∈Ω，使得命题 F(x)∧ G(x)为假D．对所有的x∈Ω，命题F(x)∨G(x)都为真
设x是某个体域Ω中的个体，F（x)和G（x)都是关于x的命题，则对命题∃x（F（x)∨G（x))的理解正确的是____。A．存在一个x∈Ω，使得F(x)为真或G(x)为真B．存在一个x∈Ω，使得F(x)为真且G(x)为真C．对所有x∈Ω，命题F(x)为真或G(x)为真D．对所有x∈Ω，命题F(x)为真且G(x)为真
如果命题“非（p∨q)”是真命题，则正确的是（) A．p、q均为真命题 B．p、q中至少有一个为真命题 C．p、q均为假命题 D．p、q中至多有一个为真命题