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

Mathematics
Tutor: None Selected Time limit: 1 Day

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."

Apr 13th, 2015

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.

Apr 13th, 2015

Did you know? You can earn $20 for every friend you invite to Studypool!
Click here to
Refer a Friend
...
Apr 13th, 2015
...
Apr 13th, 2015
Dec 9th, 2016
check_circle
Mark as Final Answer
check_circle
Unmark as Final Answer
check_circle
Final Answer

Secure Information

Content will be erased after question is completed.

check_circle
Final Answer