2.1.3命题符号化 将命题符号化的思路:在谓词逻辑中的 命题,除了要分清是原子命题还是复合命题 外,在命题符号化中还要明确个体域.在不 同的个体域中,命题符号化的形式可能不 样,如果事先没有给出个体域就认为全 总个体域,此时要引入谓词以指明个体的 取值范围.一般地,对命题符号化时,对全 称量词,引入谓词常做条件式的前件;对 存在量词,引入谓词常取合取式2.1.3 命题符号化 将命题符号化的思路：在谓词逻辑中的 命题,除了要分清是原子命题还是复合命题 外，在命题符号化中还要明确个体域.在不 同的个体域中，命题符号化的形式可能不 一样，如果事先没有给出个体域就认为全 总个体域，此时要引入谓词以指明个体的 取值范围.一般地，对命题符号化时，对全 称量词，引入谓词常做条件式的前件；对 存在量词，引入谓词常取合取式