将下列命题符号化.并讨论各命题的真值.[br][/br] 若今天是星期一,则明天是星期二.
令 [tex=0.786x1.0]qu4F2hktWcRFlfLoMQ4DAw==[/tex]今天是星期一 [tex=1.5x1.0]UeiRqj2QhnVjlZkd0vSKDQ==[/tex] 明天是星期二[tex=1.5x1.0]kqnCqkxIM3yc8XGAvQSk3g==[/tex]明天是星期三.[br][/br][tex=2.286x1.0]Eat4T71CLTEQwcRfiTzLqrgq1hhbkxS3/VrV06Avuhs=[/tex]真值为 [tex=0.929x1.357]ZsVKXF8aqtA3GnTmMVQLjQ==[/tex]不会出现前件为真.后件为假的情况[tex=0.714x1.357]uxMRi3/e1gTb6Jx9vKxwyQ==[/tex]
举一反三
内容
- 0
将下列命题符号化,并指出真值:只有今天是星期一,明天才是星期二
- 1
将下列命题符号化,并指出真值:若今天是星期一,则明天是星期三
- 2
判断下面推理是否正确.先将简单命题符号化,再写出前提、结论、推理的形式结构(以蕴涌式的形式给出)和判断过程(至少给出两种判断方法):(1)若今天是星期一,则明天是星期三,今天是星期一,所以明天是星期三;(2)若今天是星期一,则明天是星期二,明天是星期二,所以今天是星期一,(3)若今天是星期一,则明天是星期三,明天不是星期三,所以今天不是星期一;(4)若今天是星期一,则明天是星期二,今天不是星期一,所以明天不是星期二;(5)若今人是星期一,则明天是星期二或星期三;(6)今天是星期一当且仅当明天是星期三,今天不是星期一,所以明天不是星期三。
- 3
若今天是星期一,则明天是星期二.今天不是星期一.所以明天不是星期二.[br][/br] 推理正确.
- 4
若今天是星期一,则明天是星期二.明天是星期二.所以今天是星期一.[br][/br] 推理正确.