原文
符号化处理
符号序列
谓词逻辑符号化
符号体系说明
∀x
全称量词 - 对所有个体
∃x
存在量词 - 存在个体
P(x)
谓词 - 描述性质或关系
∧
逻辑与
∨
逻辑或
¬
逻辑非
→
蕴含