1. Give the tautological form of modus ponens, modus inllcns, and the hypothetical syllogism, and prove that each is a valid argument, 2. Prove that "affirming the consequent" and "denying I he antecedent" are invalid by giving the appropriate lines from the truth tables of their tautolr^gicai forms. www ma 3. Rewrite the following arguments symbolically and determine the validity of each. (a) If John graduates he gets the job. John does not get the job. Therefore John does not graduate. (b) If Mary wears the green hat she leads the band. Mary does not wear the green hat. Therefore Mary does not lead the band. (c) Either Fred will sing or the cat will bark. The cat won't bark. Therefore Fred will sing.
- Give the tautological form of modus ponens, modus inllcns, and the hypothetical syllogism, and prove that each is a valid argument,
- Prove that “affirming the consequent” and “denying 丨he antecedent” are invalid by giving the appropriate lines from the truth tables of their tautolr^gicai forms.
- Rewrite the following arguments symbolically and determine the validity of each.
- If John graduates he gets the job.
John does not get the job.
Therefore John does not graduate.
- If Mary wears the green hat she leads the band.
Mary does not wear the green hat.
Therefore Mary does not lead the band.
- Either Fred will sing or the cat will bark.
The cat won't bark.
Therefore Fred will sing.
- Determine the validity of each of the following arguments.
- Either John will run or Mary will speak.
If Mary speaks, then Fred will fly and the moon is purple.
The moon is not purple.
Thus John will run.
- If the cow jumps the cat will dance.
If the dog barks the cow will jump.
The dog will not bark.
Thus the cat will not dance.
- Determine the validity of each of the following.
(a) P 今〜Q (b) PvR
R今Q Q^R
T^R Ty 〜R
P______ 〜T
.T TV
![1. Give the tautological form of modus ponens, modus inllcns, and the
hypothetical syllogism, and prove that each is a valid argument,
2. Prove that "affirming the consequent" and "denying I he antecedent" are
invalid by giving the appropriate lines from the truth tables of their tautolr^gicai
forms.
3. Rewrite the following arguments symbolically and determine the validity of
each.
(a) If John graduates he gets the job.
John does not get the job.
Therefore John does not graduate.
(b) If Mary wears the green hat she leads the band.
Mary does not wear the green hat.
Therefore Mary does not lead the band.
(c) Either Fred will sing or the cat will bark.
The cat won't bark.
Therefore Fred will sing.](/v2/_next/image?url=https%3A%2F%2Fcontent.bartleby.com%2Fqna-images%2Fquestion%2F0fcb6bae-c932-49e8-b2c5-c0b887d4639e%2Fba8b0901-319d-439a-b045-050d79edf840%2F2eu6y8o_processed.png&w=3840&q=75)
![4. Determine the validity of each of the following arguments.
(a) Either John will run or Mary will speak.
If Mary speaks, then Fred will fly and the moon is purple.
The moon is not purple.
Thus John will run.
(b) If the cow jumps the cat will dance.
If the dog barks the cow will jump.
The dog will not bark.
Thus the cat will not dance.
5. Determine the validity of each of the following.
(а) Р ~о
(b) РуR
Q^R
Ту R
T^R
P
.T
TV](/v2/_next/image?url=https%3A%2F%2Fcontent.bartleby.com%2Fqna-images%2Fquestion%2F0fcb6bae-c932-49e8-b2c5-c0b887d4639e%2Fba8b0901-319d-439a-b045-050d79edf840%2F8jlc5cn_processed.png&w=3840&q=75)
![](/static/compass_v2/shared-icons/check-mark.png)
Trending now
This is a popular solution!
Step by step
Solved in 3 steps
![Blurred answer](/static/compass_v2/solution-images/blurred-answer.jpg)
![Advanced Engineering Mathematics](https://www.bartleby.com/isbn_cover_images/9780470458365/9780470458365_smallCoverImage.gif)
![Numerical Methods for Engineers](https://www.bartleby.com/isbn_cover_images/9780073397924/9780073397924_smallCoverImage.gif)
![Introductory Mathematics for Engineering Applicat…](https://www.bartleby.com/isbn_cover_images/9781118141809/9781118141809_smallCoverImage.gif)
![Advanced Engineering Mathematics](https://www.bartleby.com/isbn_cover_images/9780470458365/9780470458365_smallCoverImage.gif)
![Numerical Methods for Engineers](https://www.bartleby.com/isbn_cover_images/9780073397924/9780073397924_smallCoverImage.gif)
![Introductory Mathematics for Engineering Applicat…](https://www.bartleby.com/isbn_cover_images/9781118141809/9781118141809_smallCoverImage.gif)
![Mathematics For Machine Technology](https://www.bartleby.com/isbn_cover_images/9781337798310/9781337798310_smallCoverImage.jpg)
![Basic Technical Mathematics](https://www.bartleby.com/isbn_cover_images/9780134437705/9780134437705_smallCoverImage.gif)
![Topology](https://www.bartleby.com/isbn_cover_images/9780134689517/9780134689517_smallCoverImage.gif)