设：F（x）：x是有理数.G（x）：x是实数.P（x）：x是整数，原命题符号化为：前提：Ax（F（x）→G（x）），EX（F（X）AP Q（x）：x是有理数R（x）：x是实数1任意x（Q（x）--->R（x））。2存在x（Q（x）且非R（x））。（1）所有的有理数均可表成分数。Q（x）：x是有理...
如何将命题符号化？
设：F（x）：x是有理数.G（x）：x是实数.P（x）：x是整数，原命题符号化为：
前提：Ax（F（x）→G（x）），EX（F（X）AP Q（x）：x是有理数R（x）：x是实数1任意x（Q（x）--->R（x））。
2存在x（Q（x）且非R（x））。
（1）所有的有理数均可表成分数。
Q（x）：x是有理数，F（x）：x可表成分数Vx（Q（x）→F（x））
（2）有的有理数是整数。
Q（x）：x是有理数，Z（x）：x是整数3x（Q（x）AZ（x））
（3）凡偶数均能被2整除F（x）：x是偶数，G（x）：x能被2整除Vx（F（x）→G（x））
（4）存在着偶素数
F（x）：x是偶数，G（x）：x是素数3x（F（x）AG（x））
扩展资料：
在谓词逻辑中，命题符号化必须明确个体域，无特别说明认为是全总个体域。一般地，使用全称量词"，特性谓词后用®；使用存在量词$，特性谓词后用Ù。
命题逻辑通常又作为一个独立的系统先研究，而在谓词逻辑部分则集中研究由非命题成分组成的命题形式和量词的逻辑性质与规律。只包含个体谓词和个体量词的谓词逻辑称为一阶谓词逻辑，简称一阶逻辑，又称狭义谓词逻辑。
参考资料来源：百度百科-谓词逻辑
2023-12-17
