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)若今天是星期一, 则明天是星期二.
(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 时为假.