Question

逻辑学角度，这两个命题分别是什么种类？写出各自的有效推理式。

或者武松打死老虎，或者武松被老虎咬死。
或者武松打死老虎，或者武松被老虎吃掉。

Answer 1

因为两种情况不能同时出现，所以是“不相容选言推理”
有效式：否定肯定式和肯定否定式

追问

这个有效推理式怎么写啊？业余人员，谢谢

追答

（1）否定肯定式要么p，要么q非p___________所以，q（2）肯定否定式要么p，要么qp___________所以，非q