离散数学笔记(命题逻辑、谓词逻辑)

 求解主析取范式的方法，主合取范式类似

例题：

 

例题 

 例题:设P(x,y)为x整除y,Q(x)为x<2，个体域为{1，2}求(∀x)(∃y)P(x,y)→Q(x)的真值。

 原则：先消去存在量词，将个体域中取值分别带入用∨连接，再消去全称量词用∧连接。

谓词演算的推理理论：