第2节（0）熊猫逻辑

零.熊猫逻辑

1. 证明命题为真：中国存在有熊猫的省份

   证明：$取省份=四川，寻找发现熊猫，该省份有熊猫$，$\because 四川\in 中国\therefore 中国\exists 有熊猫的省份$

   1. 为什么$取省份=四川$（因为知道四川存在熊猫）

   2. 取其它省份可不可以（分情况）

      1. $取省份=陕西（有效）$
      2. $取省份=吉林（无效）$
      3. $取省份=加州（错误）$

2. 证明命题为真：美国不存在有熊猫的州

   证明：$取州=加州$，寻找未发现，该州不是有熊猫的州。

   ​ $取州=德州$，寻找未发现，该州不是有熊猫的州。

   ​ …

   ​ 综上，$\because \forall 州\in美国$，寻找未发现$\Rightarrow$美国不存在有熊猫的州。

3. 证明命题为真：中国的每个省份都存在最爱熊猫的人。

   证明：$取省份=黑龙江$，寻找发现$张三，熊猫\Rightarrow$该省存在最爱熊猫的人

   ​ $取省份=吉林$，寻找发现$李四，熊猫\Rightarrow$该省存在最爱熊猫的人

   ​ …

   ​ $取省份=浙江$，寻找发现$坤坤，鸡$

   ​ $…$

   ​ $王五，熊猫\Rightarrow$该省存在最爱熊猫的人

   ​ 综上，$\forall 省份\in 中国$，$\exists 人$，当问…时，回答：熊猫$\Longleftrightarrow$中国的每个省份都存在最爱熊猫的人

4. 证明命题为假：四川人每人都有熊猫。

   证明：命题$\Longleftrightarrow \forall 人\in 四川$，该人有熊猫。

   ​ $取人=李子柒$，她没有熊猫，$又\because 她\in 四川人\Rightarrow$假命题。