命题符号化

举例说明：设p：天下大雨，q：我骑自行车上班。

命题“除非天下大雨，否则我骑自行车上班”的符号化形式为：┐q→p。

命题的符号化是任何语言命题的逻辑论证，化归为符号数学计算的先决条件。

用p，q，r……等英文小写字母表示符号命题，任一语言命题的符号化，只需给符号命题赋予具体的内容，则被赋予具体内容的符号命题即代表了该命题，符号化过程即告结束。

扩展资料命题联结词最常用的有五个：（1）否定联结词：“并非”，符号表示为“┐”。

意义是对某个命题的否定。

在日常用语中的“非”、“不”、“无”等词与“并非”相同。

（2）合取联结词：“且”，符号表示为“∧”。

日常用语中的“并且”、“和”、“同”、“与”等词汇与“且”相同。

（3）析取联结词：“或者”，符号表示为“∨”。

在日常用语中的“或”与“或者”相同。

（4）逻辑蕴涵联结词：“如果…，则…”，符号表示为“→”。

在日常用语中的“若…，则…”、“当…，则…”、“假如…，则…”等词汇与“如果…，则…”相同。

（5）等值联结词：“…当且仅当…”符号表示为“”，在日常用语中“…等值于…”、“…等价于…”等词汇与该联结词相同。