定义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,∨称作析取联结词. 规定p∨q为假当且仅当p
定义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,∨称作析取联结词. 规定p∨q为假当且仅当p