@jerlands,
Quote:If Bob is morally virtuous, then he achieves heaven.
So
If M, then H
Quote:But if he is not morally virtuous, then his longings are satisfied.
So
If not M (~M), then L
Quote:if Bob doesn't achieve heaven, then his longings are not satisfied.
So If not H (~H), then not L (~L).
Since this is true, its contrapositive is also true. For example, if DOG then ANIMAL, so if NOT ANIMAL, then NOT DOG. The contrapositive of if ~H, then ~L is
If L then H.
Combining the second and third statements:
If ~M, then L
If L then H
you get if
~M then L then H
But we already know that
if M then H, so no matter whether M is true or false, you get to Heaven.