[离散数学] - 命题逻辑

命题逻辑

命题逻辑

前提： Γ = { G 1 , G 2 , G 3 . . . } \Gamma = \{G_1,G_2,G_3...\} Γ={G1​,G2​,G3​...}，由前提推结果：$\Gamma \Rightarrow H$

也就是：$G_1\wedge G_2\wedge G_3...\to H$为永真公式

永真公式：G全为真时H也要为真，H为假时G不能全为真

推理定律

• 化简规则
  $$\begin{gathered} G\wedge H\Rightarrow G \\ G\wedge H\Rightarrow H \end{gathered}$$
  同时满足G和H的命题一定满足其中任意一个

• 添加规则
  $$\begin{gathered} G\Rightarrow G\vee H \\ H\Rightarrow G\vee H \end{gathered}$$
  大佬行，大佬所在的团队，行！

• 添加规则变体
  $$\begin{gathered} \neg G\Rightarrow G\to H \\ H\Rightarrow G\to H \end{gathered}$$

• 化简规则变体
  $$\begin{gathered} \neg (G\to H)\Rightarrow G \\ \neg (G\to H)\Rightarrow \neg H \end{gathered}$$
  本质上就是$G\wedge \neg H$而已

• 选言三段论
  $$\begin{gathered} \neg G,G\vee H\Rightarrow H \\ \neg G,G\overline{\vee }H\Rightarrow H \end{gathered}$$
  有人摆烂团队还能成，说明有大佬 ($\overline{\vee }$：异或)

• 肯定前件式
  $$G,G\to H\Rightarrow H$$

• 否定后件式
  $$\neg H,G\to H\Rightarrow \neg G$$
  以上二式都是选言三段论变体

• 假言三段论
  $$G\to H,H\to I\Rightarrow G\to I$$
  可传递

• 二难推论
  $$G\vee H,G\to I,H\to I\Rightarrow I$$
  总有一个能成

大概就这么多了，其实总结下来，就是以下几条：

1. 化简规则
2. 添加规则
3. A或B为真，A，B至少有一个是真

---

其中大量使用$G\to H=\neg G\vee H$ ，我对于这个公式的理解如下；

$G\to H$ 即 $G\subseteq H$，二值逻辑中就只有0和1，那么就只有三种情况，反正就是不可能是$G=1,H=0$

$$\begin{gathered} 不可能是G=1,H=0 \\ 即 \\ \neg (G\vee \neg H) \end{gathered}$$
用韦恩图貌似不太好表示这个公式，显得不那么直观。╮（╯＿╰）╭