|
1.1. 略 1.2. 略 1.3. 略 1.4. 略 1.5. 略 1.6. 略 1.7. 略 1.8. 略 1.9. 略 1.10. 略 1.11. 略
1.12.
将下列命题符号化, 并给出各命题的真值:
(1)2+2=4当且仅当3+3=6. (2)2+2=4的充要条件是3+3≠6. (3)2+2≠4与3+3=6互为充要条件. (4)若2+2≠4, 则3+3≠6, 反之亦然. (1)p↔q, 其中, p: 2+2=4, q: 3+3=6, 真值为1. (2)p↔¬q, 其中, p: 2+2=4, q: 3+3=6, 真值为0. (3) ¬p↔q, 其中, p: 2+2=4, q: 3+3=6, 真值为0. (4) ¬p↔¬q, 其中, p: 2+2=4, q: 3+3=6, 真值为1. 1.13. 将下列命题符号化, 并给出各命题的真值:
(1)若今天是星期一, 则明天是星期二. (2)只有今天是星期一, 明天才是星期二. (3)今天是星期一当且仅当明天是星期二. (4)若今天是星期一, 则明天是星期三. 令 p: 今天是星期一; q: 明天是星期二; r: 明天是星期三. (1) p→q ⇔ 1. (2) q→p ⇔ 1. (3) p↔q ⇔ 1.
(4) p→r当p ⇔ 0时为真; p ⇔ 1 时为假.
|
|