第2章 一阶逻辑（5）.ppt

2.5 例题选解 【例2.5.1】 在高等数学中极限 定义为：任给小正数ε，则存在正数δ，使得当 0＜|x-a|＜ε时，恒有|f（x）-b|＜δ成立。 将上述定义用一阶逻辑公式表示。 分析 因为高等数学中的极限概念是在实数范围内给出的，所以不妨设定个体域为实数域。观察整个定义，只有一种“小于”关系，这应当用一个二元谓词表示；而“差的绝对值”是一个运算，应当用运算符表示。 解 设L（x，y）：x＜y，g（x，y）：|x-y|，则定义可表示为： ε（L（0，ε）→ δ（L（0，δ）∧ x（（L（0，g（x，a））∧L（g（x，a），δ）） →L（g（f（x），b），ε）））） 【例2.5.2】 设个体域为{a，b，c}，消去下列公式中的量词。 ? （1） xF（x）∧yG（y） （2） xy（F（x）∧G（y）） （3） xy（F（x，y）→G（y）） （1） xF（x） yG（y） （F（a）∧F（b）∧F（c））∧（F（a） ∨F（b）∨F（c）） （2） xy（F（x）∧G（y））  y（F（a）∧G（y））∧y（F（b）∧G（y））∧y（F（c）∧G（y）） （（F（a）∧G（a））∨（F（a）∧G（b））∨（F（a）∧G（c）））∧（（F（b）∧G（a））∨（F（b）∧G（b））∨（F（b）∧G（c）））∧ （（F（c）∧G（a））∨（F（c）∧G（b））∨（F（c）∧G（c））） （3） xy（F（x，y）→G（y））  y（F（a，y）→G（y））∧y（F（b，y）→G（y））∧y（F（c，y）→G（y）） （（F（a，a）→G（a））∨（F（a，b）→G（b））∨（F（a，c）→G（c）））∧ （（F（b，a）→G（a））∨（F（b，b）→G（b））∨（F（b，c）→G（c）））∧ （（F（b，a）→G（a））∨（F（b，b）→G（b））∨（F（b，c）→G（c））） 【例2.5.4】 构造下面推理的证明： 前提 xF（x）∨ xG（x） 结论 x（F（x）∨G（x）） 证明 （1） xF（x）∨ xG（x） 前提引入 （2） x y（F（x）∨G（y）） （1）置换 （3） y（F（t）∨G（y）） （2）UI （4）F（t）∨G（t） （3）UI （5） x（F（x）∨G（x）） （4）UG 习 题 二 1．在一阶逻辑中将下列命题符号化。 （1）天下乌鸦一般黑。 （2）没有不散的筵席。 （3）闪光的未必是金子。 （4）有不是奇数的素数。 （5）有且仅有一个偶素数。 （6）猫是动物，但并非所有的动物都是猫。 （7）骆驼都比马大。 （8）有的骆驼比所有的马都大。 （9）所有的骆驼都比某些马大。 （10）有的骆驼比某些马大。 2．取个体域为实数集R， 函数f在点a处连续的定义是：f在a点连续，当且仅当对每一个小正数ε，都存在正数δ，使得对所有的x，若|x-a|＜δ，则|f（x）-f（a）|＜ε。把上述定义用符号的形式表示。 3．在整数集中，确定下列命题的真值，运算·是普通乘法。? （1） xy（x·y=0） （2） xy（x·y=1） （3）y x（x·y=1） （4）y x（x·y=x） 4．给定谓词如下，试将下列命题译成自然语言。P（x）：x是素数。 E（x）：x是偶数。O（x）：x是奇数。D（x，y）：x整除y。? （1）E（2）∧P（2） （2） x（D（2，x）→E（x）） （3）x（E（x）∧D（x，6）） （4） x（E（x）→D（2，x）） （5） x（E（x）→ y（D（x，y）→E（y））） （6） x（O（x）→ y（P（y）→D（x，y））） （7） x（P（x）→y（E（y）∧D（x，y））） （8）x（E（x）∧P（x）∧y（E（y）∧P（y）∧x≠y