目录
- [一. 推出关系](#一. 推出关系)
- [二. 命题形式与真假判断](#二. 命题形式与真假判断)
- [三. 三种推理形式](#三. 三种推理形式)
- [四. 四种相对关系](#四. 四种相对关系)
- [五. 五种命题](#五. 五种命题)
\quad
一. 推出关系
\quad
充分条件-->必要条件 （必要被推出）
关键词：基础 前提 关键 必须 需要 离不开 必不可少 不可或缺 必要条件
努力是考上的关键
考上-->努力
\quad
矛盾命题：p-->q <---> p 且非q
考上给你买电脑，考上且没买电脑
\quad
当且仅当， A-->B，B-->A
(互为充分必要条件)了解即可
\quad
二. 命题形式与真假判断
\quad
考上-->努力
不努力-->考不上
\quad
三. 三种推理形式
\quad
演绎推理：从一般到特殊
四班的同学都是努力的
小李是四班的
小李是努力的
\quad
归纳推理：从特殊到一般
完全归纳：每个人都调查了，调查了每个子集也叫完全归纳
不完全归纳：不是每个人都调查了
\quad
\quad
类比推理：从特殊到特殊（不靠谱）
我是男的，是短发，他也是男的，所以也是短发
\quad
四. 四种相对关系
\quad
或且关系
A且B：全真则真，一假为假
A或B：一真为真，全假为假
\quad
非(A且B）= 非A或非B
非(A或B）= 非A且非B
\quad
所有有些
非（所有）= 有些不
非（有些）= 所有不
\quad
可能必然
非（可能）= 必然不
非（必然）= 可能不
\quad
\quad
直言命题的推出关系
所有是--->某个是--->有些是
所有非--->某个非--->有些非
\quad
\quad
\quad
五. 五种命题
\quad
前推后
如果P，那么Q
只要P，就Q
假如P，那么Q
\quad
后推前
只有Q，才P
除非Q，否则不P
不Q，不P
\quad
\quad
要么要么就是两个不能同时为真
\quad
\quad
AB至少一个（A或B）
AB至多一个（非A或非B）
\quad
\quad
先理解记忆，做题的时候直接套
\quad
\quad
