常用逻辑用语
关系
四种命题
概念
能判定真假的陈述句
要素
条件P
结论q
运算
或
且
非
表示
条件与结论
集合P是Q的子集
集合P与集合Q相等
“笔尖”所对的条件为必要条件
集合Q是集合P的子集
性质
应用
判定真假