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