第1章命题逻辑 【例1.1.9】 (1)p:2+2=4。 q:5是素数。则 Ⅸ×:2+2=4当且仅当5是素数 (2)p:∠A=∠Bo q:二角是同位角。则 Ⅸ×:∠A=∠B当且仅当二角是同位角。 在(1)中的p与q并无内在关系,但因二者均为真, 所以pq的真值为1 在(2)中由于相等的两角不一定是同位角,所以 真值为0
第1章 命题逻辑 【例1.1.9】 (1)p：2+2=4。 q：5是素数。则 p q：2+2=4当且仅当5是素数。 (2)p：∠A=∠B。 q：二角是同位角。则 p q：∠A=∠B当且仅当二角是同位角。 在（1）中的p与q并无内在关系，但因二者均为真， 所以p q的真值为1。 在（2）中由于相等的两角不一定是同位角，所以 真值为0。
第1章命题逻辑 【例1.1.10】将下列自然语言形式化 (1)如果天不下雨并且不刮风,我就去书店。 (2)小王边走边唱 (3)除非a能被2整除,否则a不能被4整除 (4)此时,小纲要么在学习,要么在玩游戏。 (5)如果天不下雨,我们去打篮球,除非班上有会
第1章 命题逻辑 【例1.1.10】 将下列自然语言形式化: （1）如果天不下雨并且不刮风，我就去书店。 （2）小王边走边唱。 （3）除非a能被2整除，否则a不能被4整除。 （4）此时，小纲要么在学习，要么在玩游戏。 （5）如果天不下雨，我们去打篮球，除非班上有会
第1章命题逻辑 解(1)设p:今天天下雨,q:今天天刮风,r: 我去书店。则原命题符号化为: y∧-q->F (2)设p:小王走路,q:小王唱歌。则原命题符号 化为: p∧a (3)没p:a能被2整除,q:α能被4整除。则原命题 符号化为: P→=q或q→>p
第1章 命题逻辑 解 （1）设p：今天天下雨，q：今天天刮风，r： 我去书店。则原命题符号化为： (2)设p：小王走路，q：小王唱歌。则原命题符号 化为： p∧q (3)设p：a能被2整除，q：a能被4整除。则原命题 符号化为： → p q r → → p q q p 或
第1章命题逻辑 (4)设p:小刚在学习,q:小刚在玩游戏。则原命 题符号化为: (p入-q)v(p入q)或(PVq)A-(P入q) (5)设p:今天天下雨,q:我们去打篮球,r:今 天班上有会。则原命题符号化为: F→>(p→>q) <Back
第1章 命题逻辑 (4)设p：小刚在学习，q：小刚在玩游戏。则原命 题符号化为： ( ) ( ) ( ) ( ) p q p q p q p q 或 (5)设p：今天天下雨，q：我们去打篮球，r：今 天班上有会。则原命题符号化为： → → r p q ( )
第1章命题逻辑 1.2命题公式及分类 为了用数学的方法研究命题,就必须像数学处理 问题那样将命题公式化,并讨论对于这些公式的演算 (推理)规则,以期由给定的公式推导出新的命题公 式来
第1章 命题逻辑 1.2 命题公式及分类 为了用数学的方法研究命题，就必须像数学处理 问题那样将命题公式化，并讨论对于这些公式的演算 （推理）规则，以期由给定的公式推导出新的命题公 式来