常用逻辑用语

• ​关系

  • ​四种命题

    • 

    • 

    • 

    •  $若 \neg q则 \neg p$ 

  • ​

• ​概念

  • ​能判定真假的陈述句

• ​要素

  • ​条件P

  • ​结论q

• ​运算

  • ​或

    • ​

  • ​且

    • 

      • 

        ​

  • ​非

    • 

      • ​

• 

  ​表示

• ​条件与结论

  • 

    • ​集合P是Q的子集

  • 

    • ​集合P与集合Q相等

  • 

    “笔尖”所对的条件为必要条件

    • ​集合Q是集合P的子集

• 

  ​性质

  • ​

• ​应用

  • 

    ​判定真假