Translate the following argument into symbolic form and determine if it is valid. P, R, Q symbols (Example (p->~r) v q )

Question : Translate the following argument into symbolic form and determine if it is valid

"If we eat at Joe's, then we will get heartburn. We get heartburn or we take Tums. Therefore, we do not get heartburn."

P "We eat at Joe's"; Q "We get heartburn"; R "We take Tums".

p -> q; q\/r | ~q - argument. Make the truth table;

p q r p-> q q\/r ~q

T T T T T F Even in the first row we have T for both premises (p->q and q\/r) and F for the conclusion. It shows that the argument is not valid.

Secure Information

Content will be erased after question is completed.

Enter the email address associated with your account, and we will email you a link to reset your password.

Forgot your password?

Sign Up