Translate the following argument in the language of SL and then prove that is valid using the
Question:
Translate the following argument in the language of SL and then prove that is valid using the natural deduction method.
If people are willing to give to charity, then wealth redistribution is not necessary. If they aren't willing to give to charity, then wealth redistribution will lead to reactionary politics. If wealth redistribution is either not necessary or will lead to reactionary politics, then wealth redistribution is not an imperative of justice. Therefore, wealth redistribution is not an imperative of justice.
Rules we are allowed to use:
Horseshoe elimination
& Elimination
& Introduction
Or elimination
Or introduction
Biconditional introduction
Biconditional elimination
Reiteration
Horseshoe introduction
Negation Introduction
Negation elimination