Question
Prove that the following arguments are standard by constructing metaphorical proof
| $(A \leftrightarrow B) \rightarrow (D \leftrightarrow E)$ |
| $(D \leftrightarrow E) \rightarrow\ \sim H$ |
| $\sim\ \sim H$ |
| $\sim (A \leftrightarrow B) \rightarrow F$ |
| $(F\ v\ G)\ \&\ \sim\ \sim H$ |