2.1.3命题符号化 与命题逻辑中的命题的符号化不同,我们是 在谓词逻辑或一阶逻辑中将命题符号化,它要求 必须使用谓词 在谓词逻辑中将命题符号化,首先找出所给 命题中的所有个体常量,并用a1,b,c,表示;其 次是确定在给定个体域中应该选用的所有谓词, 特别注意特性谓词的选取;再次是确定量词;最 后通过找出联结词将所给命题符号化 在谓词逻辑中将命题符号化是本章的重点内 容之一,这种形式化方法和技巧在软件测试、软 件工程及软件理论等研究中是至关重要的.2.1.3 命题符号化 与命题逻辑中的命题的符号化不同，我们是 在谓词逻辑或一阶逻辑中将命题符号化，它要求 必须使用谓词. 在谓词逻辑中将命题符号化，首先找出所给 命题中的所有个体常量，并用ai ,bi ,ci ,…表示；其 次是确定在给定个体域中应该选用的所有谓词， 特别注意特性谓词的选取；再次是确定量词；最 后通过找出联结词将所给命题符号化. 在谓词逻辑中将命题符号化是本章的重点内 容之一，这种形式化方法和技巧在软件测试、软 件工程及软件理论等研究中是至关重要的