°例1.5将下列命题符号化,并指出其真值 (1)如果3+3=6,则雪是白的 (2)如果3+3≠6,则雪是白的。 (3)如果3+3=6,则雪不是白的 (4)如果3+3≠6,则雪不是白的。 解:令p:3+3=6,的真值为1。 q:雪是白色的,q的真值也为 (Dp→q (2)7p→q (3)p→7q 0 7P+7q
例1.5 将下列命题符号化，并指出其真值 (1)如果3+3＝6，则雪是白的。 (2)如果3+3≠6，则雪是白的。 (3)如果3+3＝6，则雪不是白的。 (4)如果3+3≠6，则雪不是白的。 解：令p：3+3＝6，p的真值为1。 q：雪是白色的，q的真值也为1。 (1) p→q (2)┐p→q (3) p→┐q (4) ┐p→┐q 1 1 0 1
°例1.5将下列命题符号化,并指出其真值 以下命题中出现的a是一个给定的正整数: (5)只要a能被4整除,则a一定能被2整除。 (6)ρ能被4整除,仅当a能被2整除。 (7)除非能被2整除,a才能被4整除。 (8)除非。能被2整除,否则a不能被4整除。 (9)只有a能被2整除,a才能被4整除。 (10)只有。能被4整除,a才能被2整除 解:令r:a能被4整除s:a能被2整除 (5)至(9)五个命题均叙述的是a能被2整除是a能被4整除的必要 条件,因而都符号化为→s。其真值为1 在(10)中,将a能被4整除看成了a能被2整除的必要条件,因而 应符号化为s→r。值不定时,真值未知
例1.5 将下列命题符号化，并指出其真值 以下命题中出现的a是一个给定的正整数： (5) 只要a能被4整除，则a一定能被2整除。 (6) a能被4整除，仅当a能被2整除。 (7) 除非a能被2整除， a才能被4整除。 (8) 除非a能被2整除，否则a不能被4整除。 (9) 只有a能被2整除， a才能被4整除。 (10)只有a能被4整除， a才能被2整除。 解：令r： a能被4整除 s： a能被2整除 (5)至(9)五个命题均叙述的是a能被2整除是a能被4整除的必要 条件，因而都符号化为r→s。其真值为1 在(10)中，将a能被4整除看成了a能被2整除的必要条件，因而 应符号化为s→r。 a值不定时，真值未知