举例说明：
设p：天下大雨，q：我骑自行车上班。
命题“除非天下大雨，否则我骑自行车上班”的符号化形式为：┐q→p。
命题的符号化是任何语言命题的逻辑论证，化归为符号数学计算的先决条件。用p，q，r……等英文小写字母表示符号命题，任一语言命题的符号化，只需给符号命题赋予具体的内容，则被赋予具体内容的符号命题即代表了该命题，符号化过程即告结束。
扩展资料
命题联结词最常用的有五个：
（1）否定联结词：“并非”，符号表示为“┐”。意义是对某个命题的否定。在日常用语中的“非”、“不”、“无”等词与“并非”相同。
（2）合取联结词：“且”，符号表示为“∧”。日常用语中的“并且”、“和”、“同”、“与”等词汇与“且”相同。
（3）析取联结词：“或者”，符号表示为“∨”。在日常用语中的“或”与“或者”相同。
（4）逻辑蕴涵联结词：“如果…，则…”，符号表示为“→”。在日常用语中的“若…，则…”、“当…，则…”、“假如…，则…”等词汇与“如果…，则…”相同。
（5）等值联结词：“…当且仅当…”符号表示为“”，在日常用语中“…等值于…”、“…等价于…”等词汇与该联结词相同。