![](https://static.youtibao.com/asksite/comm/h5/images/m_q_title.png)
[单选题]
以下推理形式,有效式是()。
A.只有¬p才¬q;q;所以p
B.要么p要么q;q;所以¬p
C.如果¬p那么q;p;所以¬q
D.只有p才¬q;q;所以¬p
查看答案
![](https://static.youtibao.com/asksite/comm/h5/images/solist_ts.png)
A.只有¬p才¬q;q;所以p
B.要么p要么q;q;所以¬p
C.如果¬p那么q;p;所以¬q
D.只有p才¬q;q;所以¬p
A.完全归纳法
B.简单枚举法
C.科学归纳法
D.典型归纳法
判断下面推理是否正确.先将简单命题符号化,再写出前捉结论,推理的形式结构(以蘊涵式的形式给出)和判断过程(至少给出两种判断方法)
(1)若今天是星期一,则明天是星期三;今天是星期一,所以明天是星期三
(2)若今天是星期一,则明天是星期二;明天是星期二,所以今天是星期一
(3)若今天是星期一,则明天是星期三;明天不是星期三,所以今天不是星期一
(4)若今天是星期一,则明天是星期二;今天不是星期一,所以明天不是星期二
(5)若今天是星期一,则明天是星期二或星期三
(6)今天是星期一当且仅当明天是星期三;今天不是星期一,所以明天不是星期三