Question
Prove that the following arguments are standard by constructing metaphorical proof
| $H \rightarrow (I \rightarrow J)$ |
| $K \rightarrow (I \rightarrow J)$ |
| $(\sim H\ \&\ \sim K) \rightarrow (\sim\ L\ v\ \sim M)$ |
| $(\sim L \rightarrow\ \sim N)\ \&\ (\sim M \rightarrow \sim Q)$ |
| $\sim (I \rightarrow J)$ |
| $\sim N\ v\ \sim Q$ |