利用对偶原理“若,做出与2.2.2节第三组到第七组中各永真式相应的逻辑蕴涵式及逻辑等价式.
设a、b、c、d均为正整数,下述各命题是否为真?若为真,请给出证明;否则,请出反例.
(1)若a|c,b|c.则ab|c;
(2)若a|c,b|d.则ab|ed;
(3)若ab|c,则a|c;
(4)若a|bc,则alb或a|c.
判断下面推理是否正确.先将简单命题符号化,再写出前捉结论,推理的形式结构(以蘊涵式的形式给出)和判断过程(至少给出两种判断方法)
(1)若今天是星期一,则明天是星期三;今天是星期一,所以明天是星期三
(2)若今天是星期一,则明天是星期二;明天是星期二,所以今天是星期一
(3)若今天是星期一,则明天是星期三;明天不是星期三,所以今天不是星期一
(4)若今天是星期一,则明天是星期二;今天不是星期一,所以明天不是星期二
(5)若今天是星期一,则明天是星期二或星期三
(6)今天是星期一当且仅当明天是星期三;今天不是星期一,所以明天不是星期三