【简易逻辑】
1.逻辑联结词、简单命题与复合命题
“或”、“且”、“非”这些词叫做逻辑联结词。
不含有逻辑联结词的命题是简单命题。
由简单命题和逻辑联结词“或”、“且”、“非”构成的命题是复合命题。
复合命题的形式:p或q(记作“p∨q”);p且q(记作“p∧q”);非p(记作“┑q”)。
2.“或”、“且”、“非”的真值判断
(1)“非p”形式复合命题的真假与p的真假相反;
(2)“p且q”形式复合命题当P与q同为真时为真,其他情况时为假;
(3)“p或q”形式复合命题当p与q同为假时为假,其他情况时为真。
3.四种命题的形式
原命题:若P则q;
逆命题:若q则p;
否命题:若┑P则┑q;
逆否命题:若┑q则┑p。
4.四种命题之间的相互关系
一个命题的真假与其他三个命题的真假有如下三条关系:(原命题逆否命题)
原命题为真,它的逆命题不一定为真。
原命题为真,它的否命题不一定为真。
原命题为真,它的逆否命题一定为真。
5.充分条件、必要条件、充要条件
充分条件:条件p成立 结论q成立,则称条件p是结论q的充分条件;
必要条件:结论q成立 条件p成立,则称条件p是结论q的必要条件;
充要条件:条件p成立 结论q成立,则称条件p是结论q的充要条件。
点击加载更多评论>>