主观题：用等值演算法判断推理是否正确[2]

用等值演算法判断推理是否正确(先将命题符号化，再写出推理的形式结构，然后进行等值演算。

(2) 一到早晨七点钟，我就起床。没有到早晨七点钟，所以我没有起床。






答案：**解(2)**
命题符号化：$p$：一到七点钟。 $q$：我就起床。
前提：$p\rightarrow q$，$\neg p$。
结论：$\neg q$
证明：
$\hspace{4.5mm}(p\rightarrow q)\wedge\neg p\rightarrow\neg q\\
\Leftrightarrow(\neg p\vee q)\wedge\neg p\rightarrow\neg q\\
\Leftrightarrow\neg p\rightarrow\neg q\hspace{10mm}吸收律$
由于此式是非重言式，所以01为命题公式的成假赋值，所以推理无效。