Question about using the modus ponens and modus tollen
How would i solve the following.
Use the following premises to show the conclusion is t.
$p\vee q$
$q-r$
$p\wedge s-t$
$\neg R$
$\neg Q-U \wedge S$
for if then in this question.
I did the following
$p \vee q$
$\neg q$
$p$ eliminatin
$q-r$
$\neg r$
$\neg q$ mr.tollens
$\neg q-u\wedge s$
$\neg q$
$u\wedge s$ modus ponens
$u \wedge s$
$s$ specialization
$p$
$s$
$p\wedge s$ conjuction
$p \wedge s-t$
$p \wedge s$
$t$ modus ponens.
But would my reasoning be correct .
No comments:
Post a Comment