将下列命题符号化.
(1)刘晓月跑得快,跳得高
(2)老王是山东人或河北人
(3)因为天气冷,所以我穿了羽绒服,
(4)王欢与李乐组成一个小组.
(5)李辛与李末是兄弟。
(6)王强与刘威都学过法语.
(7)他一面吃饭, 一面听音乐.
(8)如果天下大雨,他就乘班车上班.
(9)只有天下大雨,他才乘班车上班.
(10)除非天下大雨,他才乘班车上班,
(11)下雪路滑,他迟到了。
(12)2与4都是素数,这是不对的,
(13)"2或4是素数,这是不对的"是不对的。
判断下面推理是否正确.先将简单命题符号化,再写出前捉结论,推理的形式结构(以蘊涵式的形式给出)和判断过程(至少给出两种判断方法)
(1)若今天是星期一,则明天是星期三;今天是星期一,所以明天是星期三
(2)若今天是星期一,则明天是星期二;明天是星期二,所以今天是星期一
(3)若今天是星期一,则明天是星期三;明天不是星期三,所以今天不是星期一
(4)若今天是星期一,则明天是星期二;今天不是星期一,所以明天不是星期二
(5)若今天是星期一,则明天是星期二或星期三
(6)今天是星期一当且仅当明天是星期三;今天不是星期一,所以明天不是星期三