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

Studypool's Notebank makes it easy to buy and sell old notes, study guides, reviews, etc.
Click to visit
The Notebank
...
Apr 13th, 2015
...
Apr 13th, 2015
Mar 27th, 2017
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