Method of Formal Proofs
People are happy if and only if they are compassionate. Nobody is both happy and compassionate. Hence people are both unhappy and uncompassionate.
I need to provide formal proofs of the validity of each of the following arguments and use the replacement rules and rules for elementary valid arguments. Can someone help