命题符号化 静简单命题:p,qr;p1q1r1 癱联结词 合取联结词:∧ 析取联结词:√ 否定联结词: 蕴涵联结词:→ 等价联结词: 逻辑真值:0,1 《集合论与图论》第1讲《集合论与图论》第1讲 2 命题符号化 简单命题： p,q,r,p1,q1,r1,… 联结词： 合取联结词：∧ 析取联结词：∨ 否定联结词：¬ 蕴涵联结词：→ 等价联结词：↔ 逻辑真值： 0，1