设P(x)：x是金子，Q(x)：x闪光，则命题“没有不闪光的金子”形式化为(53)。 -题库考试答案搜索网

设P(x)：x是金子，Q(x)：x闪光，则命题“没有不闪光的金子”形式化为(53)。

单选题

2022-03-03 09:45

查看答案

正确答案

试题解析

解析：在命题形式化时，如果用全总个体域，则对每一个个体变元的变化范围用特性谓词加以限制。一般地，对于全称量词，特性谓词应以条件式的前件加入：对于存在量词，特性谓词应以合取式的合取项加入。对于复杂的命题，在翻译时尽量按命题的语序进行翻译，然后可以利用逻辑等价变换进行化简。本题既测验翻译又测验等价变换。试题求解过程如下：［*］“没有不闪光的金子”按语序可形式化：［*］因此，“没有不闪光的金子”也可翻译为：

标签：

感兴趣题目

已知集合P={x|0 ≤x ≤5,x∈Z},Q={y|y=|x2-1|,x∈P},则P∩Q中元素的个数是( ).

设X是随机变量，已知P（X≤1）=p，P（X≤2）=q，则P（X≤1，X≤2）等于（）．

若y2（x）是线性非齐次方程y′+P（z）y=Q（x）的解，y1（x）是对应的齐次方程y′+P（x）y=0的解，则下列函数中哪一个是y′+P（z）y=Q（x）的解？（）

设y1（x）是方程y′＋P（x）y＝f1（x）的一个解，y2（x）是方程y′＋P（x）y＝f2（x）的一个解，则y＝y1（x）＋y2（x）是方程____的解。

设y1(x)是方程y′+P(x)y=f1(x)的一个解，y2(x)是方程y′+P(x)y=f2(x)的一个解，则y=y1(x)+y2(x)是方程____的解.

设y1（x）是方程y′＋P（x）y＝f1（x）的一个解，y2（x）是方程y′＋P（x）y＝f2（x）的一个解，则y＝y1（x）＋y2（x）是方程（　　）的解。

设谓词P（x）：x是奇数，Q（x）：x是偶数，谓词公式∃x（P（x）∨Q（x））在哪个个体域中为真？（　　）

令x和y是正整数，P（x）：x 是奇数，Q（x）：x是素数，R（x，y）：x+y 是偶数。写出下列汉语命题的符号化命题公式：（1）所有正整数都是奇数。（2）有的正整数是素数。（3）对任意正整数x，存在正整数y，其和为偶数。（4）存在正整数y，对任意正整数x，其和为偶数。

已知a>1，设命题p：a（x-2）+1>0，命题q：（x-1）2>a（x-2）+1。试寻求使得p、q都是真命题的x的集合。

若y2（x）是线性非齐次方程y′+P（x）y=Q（x）的解，y（x）是对应的齐次方程y′+P（x）y=0的解，则下列函数中哪一个是y′+P（x）y=Q（x）的解（）？

设函数f(x)=x|x|，x∈(-∞,+∞)，则（　　）。

设f(x)=(x^2+x-2)|x(x^2+x-2)|，则f(x)不可导点的个数是（　　）。