上游充鱼大 SJTU School Of Software 2009-2-2 2.4命题逻辑 命题：是要么为真、要么为假的句子。 例子：6>2、汽车会飞、人是动物等； 而：水很深、山很高、火车很快等就不是命题。 命题的逻辑运算： 与 或 V 非 异或： 6 ⊕ 如果一则（IF-THEN)：→ 软件学院SJTU School Of Software 2009-2-2 软件学院 2.4 命题逻辑 命题：是要么为真、要么为假的句子。 例子：6>2、汽车会飞、人是动物 等； 而：水很深、山很高、火车很快等就不是命题。 命题的逻辑运算： 与 ：∧ 或 ：∨ 非 ：¬ 异或 ：⊕ 如果—则（IF-THEN）：→