离散数学 命题符号化 并且证明

Question

离散数学 命题符号化 并且证明第9小题 谢谢～

Answer 1

记p:6是偶数,q:7被2除尽,r:5是素数,则前提是：p→┐q,┑r∨q,r结论是：┑p证明如下：（1）┑r∨q前提引入（2）r前提引入（3）q析取三段论（4）p→┐q前提引入（5）┑p拒取式得证.