HanghangzZ的博客

谓词的概念与表示法命题函数与量词谓词公式与翻译变元的约束谓词演算的等价式与蕴含式谓词演算的推理理论

在反自反性那里的R上是有一个斜杠的，不知道为什么从OneNote复制过来的时候没掉了/(ㄒoㄒ)/~~

永真蕴含式等价式

命题常元：表示确定的命题｛T，F｝。命题变元：以真假为其变域之变元，或没有指定真值的命题。常用大写英文字母Ａ…Ｚ表示。（1）定义：由命题变元、常元、联结词、括号，以规定的格式联结起来的字符串。命题公式可按下述法则来生成：1）孤立的命题变元是一个命题公式。2)若A是命题公式，¬Ａ也是命题公式。3）若A、B是命题公式，则（AΛB）、（A∨B）、（A→B）、（A↔B）均为命题公式4）当且仅当有限次使用（１）（２）（３）所生成的公式才是命题公式。例如：(¬(P ∨.

定义：具有唯一真值的陈述句叫命题。命题可以是真的，也可以是假的，但不能同时为真又为假命题分类：（1)原子命题（基本命题、本源命题）：一个命题，不能分解成为更简单的命题。例：我是一位学生。（2）分子命题(复合命题)：若干个原子命题使用适当的联结词所组成的新命题。例：我是一位学生和他是一位工人。命题联结词：（1）否定词：（否定运算、非运算 ）符号 ¬ ,读作“非”，“否定”设命题为Ｐ，则在Ｐ的前面加否定词¬ ，变成¬Ｐ， ¬Ｐ读做“Ｐ的否定”或“非Ｐ”..