判断下面推理是否正确.先将简单命题符号化,再写出前捉结论,推理的形式结构(以蘊涵式的形式给出)和判断过程(至少给出两种判断方法)
(1)若今天是星期一,则明天是星期三;今天是星期一,所以明天是星期三
(2)若今天是星期一,则明天是星期二;明天是星期二,所以今天是星期一
(3)若今天是星期一,则明天是星期三;明天不是星期三,所以今天不是星期一
(4)若今天是星期一,则明天是星期二;今天不是星期一,所以明天不是星期二
(5)若今天是星期一,则明天是星期二或星期三
(6)今天是星期一当且仅当明天是星期三;今天不是星期一,所以明天不是星期三
已知今天是星期三,那么,过200天以后是星期几?()
A.星期五
B.星期六
C.星期一
D.星期日
A.星期二
B.星期四
C.星期六
D.星期日
A.星期一
B.星期二
C.星期四
D.星期天
A.星期一
B.星期四
C.星期六
D.星期天
A.星期一王老板会去“江上渔家”吃饭
B.如果“江上渔家”在星期一卖酸汤鱼,那么这天它一定不卖武昌鱼
C.“江上渔家”在星期一不卖武昌鱼
D.“江上渔家”只有星期一不卖酸汤鱼
A.k-2
B.k mod 7 -2
C.(k+4) mod 7+1
D.(k+5) mod 7 +1