Sorry, I didn't post my argument the last time. Write two arguments in English, one in the form of modus ponens and one in the form of modus tollens. Then, write the arguments in symbols using sentence letters and truth-functional connectives.

The following is one of the arguments and I believe it can be used for both modus ponens and modus tollens depending on how I word it but I don't know how to write it in symbols using sentence letters and truth-functional connectives.

"I have a sump pump in my basement. When it rains the sump pump cuts on and stops
my basement from flooding. It’s raining today but my basement won’t flood
because I have a sump pump."

1 answer

Modus Ponens is Latin for "the mode that affirms".
P: If you have a new key to your home, then you can open the doors.
P: You have a new key to your home
Therefore:
C: You can open the doors.
P→Q
P ∴ Q

Modus Tollens is Latin for "the mode that denies".
P: You can't open the front door.
P: If you have a new key to your home, then you can open the doors.
Therefore:
C: You don't have a new key.
¬Q
P→Q
∴ ¬P