离散数学-1 命题逻辑的基本概念

定义1.1 设 p为命题，复合命题"非p"(或"p的否定")称为p的否定式，记作Øp，符号Ø称作否定联结词. 规定Øp 为真当且仅当p为假. 定义1.2 设p,q为两个命题，复合命题"p并且q"(或"p与 q")称为p与q的合取式，记作p∧q，∧称作合取联结词. 规定p∧q为真当且仅当p与q同时为真. 定义1.3 设p, q为两个命题，复合命题"p或q"称作p与q的析取式，记作p∨q，∨称作析取联

>>阅读原文<<