试例示具有下列命题形式和推理形式的命题或推理.1．所有S都不是P。2．要么r，要么s。3．如果p，那么q；非q；所以非p。4．所有M都是P，S都是M，所以S都是P。

请用有具体内容的命题或推理，对下列逻辑形式进行解释

只有p，才q。

A.关系推理

B.性质推理

C.假言推理

D.负命题推理

A.什么样的推理形式是有效的，以及如何系统性地找出某一领域内所有有效的推理形式

B.人在进行推理、论证等理性思维活动时，脑神经是如何运动变化的

C.历史上的哲学家是如何看待推理与论证的

D.哪些关于世界的命题或理论是真的

A.能理解命题之间的关系

B.能运用假设一演绎推理方式解决问题

C.具有抽象逻辑思维

D.思维具有可逆与补偿性

E.思维缺乏灵活性

判断下列推理是否正确。先将简单命题符号化，再写出前提、结论、推理的形式结构(以套涵式的形式给出)和判断过程(至少给出两种判断方法)。

(1)若今天是星期一，则明天是星期三。今天是星期一。所以明天是星期三。

(2)若今天是星期一，则明天是星期二。明天是星期二。所以今天是星期一。

(3)若今天是星期一，则明天是星期三。明天不是星期三。所以今天不是星期一。

(4)若今天是星期一，则明天是星期二。今天不是星期一。所以明天不是星期二。

(5)若今天是星期一，则明天是星期二或星期三。今天是星期一。所以明天是星期。

(6)今天是星期一当且仅当明天是星期三。今天不是星期一。所以明天不是星期三。

复杂的推理形式都是建立在基本复合命题和他们的基本推理的基础上的。()