$\begingroup$

The question states, "Use truth tables to determine whether the following argument (logical consequence) is correct – show your work.

• Premise 1. If Achilles is human then he is mortal.

• Premise 2. If Achilles is not mortal then at least one of his parents is not mortal.

• Conclusion. If both of Achilles’ parents are mortal then Achilles is human.

Note: you must use appropriately the following three variables (and no others): hu, mo, pa."

I would set hu = is human, mo = is mortal, and pa = is a parent. However, my question arises where I have to differentiate between two parents. Can someone help me set up my truth table or variables?

Thank you.

$\endgroup$ 7 Sorted by: Reset to default

Know someone who can answer? Share a link to this question via email, Twitter, or Facebook.

Your Answer

Sign up or log in

Sign up using Google Sign up using Facebook Sign up using Email and Password Submit

Post as a guest

Post Your Answer Discard

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy