跳到主要内容

逻辑运算

逻辑运算是组合命题、进行推理的基本操作。掌握逻辑运算,你就能进行复杂的逻辑推理!

什么是逻辑运算?​

逻辑运算是对命题进行组合和变换的操作,通过逻辑连接词来实现。

基本逻辑运算​

1. 非运算(NOT)- ¬\neg 或 ∼\sim​

定义:¬P\neg P 表示"不是 PP"

真值表:

PP¬P\neg P
TF
FT

性质:

  • ¬(¬P)=P\neg(\neg P) = P(双重否定等于肯定)

例子:

  • 如果 PP 表示"今天下雨"
  • 那么 ¬P\neg P 表示"今天不下雨"

2. 与运算(AND)- ∧\land 或 &\&​

定义:P∧QP \land Q 表示"PP 并且 QQ"

真值表:

PPQQP∧QP \land Q
TTT
TFF
FTF
FFF

性质:

  • P∧Q=Q∧PP \land Q = Q \land P(交换律)
  • (P∧Q)∧R=P∧(Q∧R)(P \land Q) \land R = P \land (Q \land R)(结合律)
  • P∧P=PP \land P = P(幂等律)
  • P∧T=PP \land T = P(TT 表示真命题)
  • P∧F=FP \land F = F(FF 表示假命题)

例子:

  • 如果 PP 表示"今天是星期一",QQ 表示"是晴天"
  • 那么 P∧QP \land Q 表示"今天是星期一并且是晴天"

3. 或运算(OR)- ∨\lor​

定义:P∨QP \lor Q 表示"PP 或者 QQ"(至少一个成立)

真值表:

PPQQP∨QP \lor Q
TTT
TFT
FTT
FFF

性质:

  • P∨Q=Q∨PP \lor Q = Q \lor P(交换律)
  • (P∨Q)∨R=P∨(Q∨R)(P \lor Q) \lor R = P \lor (Q \lor R)(结合律)
  • P∨P=PP \lor P = P(幂等律)
  • P∨T=TP \lor T = T
  • P∨F=PP \lor F = P

例子:

  • 如果 PP 表示"今天是星期一",QQ 表示"今天是星期二"
  • 那么 P∨QP \lor Q 表示"今天是星期一或者今天是星期二"

4. 蕴含运算(IF...THEN)- →\to 或 ⇒\Rightarrow​

定义:P→QP \to Q 表示"如果 PP,那么 QQ"

真值表:

PPQQP→QP \to Q
TTT
TFF
FTT
FFT

性质:

  • P→Q=¬P∨QP \to Q = \neg P \lor Q(蕴含的等价形式)

例子:

  • 如果 PP 表示"今天下雨",QQ 表示"我带伞"
  • 那么 P→QP \to Q 表示"如果今天下雨,那么我带伞"

5. 等价运算(IF AND ONLY IF)- ↔\leftrightarrow 或 ⇔\Leftrightarrow​

定义:P↔QP \leftrightarrow Q 表示"PP 当且仅当 QQ"

真值表:

PPQQP↔QP \leftrightarrow Q
TTT
TFF
FTF
FFT

性质:

  • P↔Q=(P→Q)∧(Q→P)P \leftrightarrow Q = (P \to Q) \land (Q \to P)(等价的定义)

例子:

  • 如果 PP 表示"xx 是偶数",QQ 表示"xx 能被 2 整除"
  • 那么 P↔QP \leftrightarrow Q 表示"xx 是偶数当且仅当 xx 能被 2 整除"

逻辑运算律​

交换律​

  • P∧Q=Q∧PP \land Q = Q \land P
  • P∨Q=Q∨PP \lor Q = Q \lor P

结合律​

  • (P∧Q)∧R=P∧(Q∧R)(P \land Q) \land R = P \land (Q \land R)
  • (P∨Q)∨R=P∨(Q∨R)(P \lor Q) \lor R = P \lor (Q \lor R)

分配律​

  • P∧(Q∨R)=(P∧Q)∨(P∧R)P \land (Q \lor R) = (P \land Q) \lor (P \land R)
  • P∨(Q∧R)=(P∨Q)∧(P∨R)P \lor (Q \land R) = (P \lor Q) \land (P \lor R)

德·摩根定律​

  • ¬(P∧Q)=(¬P)∨(¬Q)\neg(P \land Q) = (\neg P) \lor (\neg Q)
  • ¬(P∨Q)=(¬P)∧(¬Q)\neg(P \lor Q) = (\neg P) \land (\neg Q)

记忆:否定时,"并且"变"或者","或者"变"并且"

吸收律​

  • P∧(P∨Q)=PP \land (P \lor Q) = P
  • P∨(P∧Q)=PP \lor (P \land Q) = P

矛盾律和排中律​

  • 矛盾律:P∧(¬P)=FP \land (\neg P) = F(不能同时为真和假)
  • 排中律:P∨(¬P)=TP \lor (\neg P) = T(要么真要么假)

复合逻辑运算​

例子 1​

复合命题:(P∧Q)→R(P \land Q) \to R

含义:"如果 PP 并且 QQ,那么 RR"

真值表:

PPQQRRP∧QP \land Q(P∧Q)→R(P \land Q) \to R
TTTTT
TTFTF
TFTFT
TFFFT
FTTFT
FTFFT
FFTFT
FFFFT

例子 2​

复合命题:¬(P→Q)↔(P∧¬Q)\neg(P \to Q) \leftrightarrow (P \land \neg Q)

含义:"不是(如果 PP 那么 QQ)"等价于"PP 并且不是 QQ"

逻辑运算的优先级​

优先级(从高到低)​

  1. ¬\neg(非)
  2. ∧\land(与)
  3. ∨\lor(或)
  4. →\to(蕴含)
  5. ↔\leftrightarrow(等价)

例子​

  • ¬P∧Q\neg P \land Q 表示 (¬P)∧Q(\neg P) \land Q,不是 ¬(P∧Q)\neg(P \land Q)
  • P∨Q→RP \lor Q \to R 表示 (P∨Q)→R(P \lor Q) \to R,不是 P∨(Q→R)P \lor (Q \to R)

生活中的应用​

编程​

  • 💻 布尔运算:if (条件1 && 条件2) 表示"条件1 并且 条件2"
  • 💻 逻辑判断:if (条件1 || 条件2) 表示"条件1 或者 条件2"

电路设计​

  • ⚡ 逻辑门:与门、或门、非门等
  • 🔌 数字电路:用逻辑运算设计电路

数据库查询​

  • 💾 SQL查询:WHERE 条件1 AND 条件2
  • 📊 数据筛选:用逻辑运算筛选数据

常见错误​

错误 1:优先级错误​

要注意逻辑运算的优先级,必要时加括号。

错误 2:德·摩根定律应用错误​

否定复合命题时,要同时改变连接词。

错误 3:蕴含的真值​

当条件为假时,蕴含为真(空真),这常常让人困惑。

小练习​

  1. 如果 PP 为真,QQ 为假,求 P∧QP \land Q 和 P∨QP \lor Q 的真值
  2. 用真值表验证:¬(P∧Q)=(¬P)∨(¬Q)\neg(P \land Q) = (\neg P) \lor (\neg Q)
  3. 化简:(P∧Q)∨(P∧¬Q)(P \land Q) \lor (P \land \neg Q)
  4. 如果 PP 为假,QQ 为真,求 P→QP \to Q 的真值

💡 小贴士:逻辑运算是组合命题的工具。掌握逻辑运算律,特别是德·摩根定律,能帮你简化复杂的逻辑表达式!