1《常用逻辑用语》知识结构与题型总结

  • 格式:doc
  • 大小:28.50 KB
  • 文档页数:1

原命题若p 则q 否命题若┐p 则┐q 逆命题若q 则p 逆否命题若┐q 则┐p 互为逆否互逆否互为逆否互互逆
否互<常用逻辑用语>知识结构: 1、命题的定义:可以 的语句叫做命题。

2、全称命题和存在性命题:全称量词,存在量词,全称命题,存在性命题。

3、逻辑联结词、简单命题与复合命题:逻辑联结词,简单命题,复合命题/ 复合命题的形式:p 或q(记作“p ∨q ”);p 且q(记作“p ∧q ”);非p(记作“┑q ”)。

复合命题的真值判断: 。

4、四种命题的形式:
原命题:若P 则q ;逆命题: ;否命题: ;逆否命题: 。

5、四种命题之间的相互关系:
四种命题真假关系:(原命题⇔逆否命题)
①、原命题为真,它的逆命题不一定为真。

②、原命题为真,它的否命题不一定为真。

③、原命题为真,它的逆否命题一定为真。

6、命题的否定(非)与否命题的区别:
7、充分条件、必要条件:
(1)如果已知p ⇒q 那么我们说,p 是q 的 ,q 是p 的 。

(2)若p ⇒q 且q ⇒p,则称p 是q 的 ,记为p ⇔q.。