• Support PF! Buy your school textbooks, materials and every day products Here!

DISCRETE MATH: Determine whether an argument is correct or not

  • Thread starter VinnyCee
  • Start date
489
0
1. Homework Statement

Determine whether the argument is correct or incorrect and explain why.

A) Everyone enrolled in the university has lived in a dormitory. Mis has never lived in a dormitory. Therefore, Mia is not enrolled in the university.

B) A convertible car is fun to drive. Isaac's car is not a convertible. Therefore, Isaac's car is not fun to drive.

C) Quincy likes all action movies. Quincy likes the movie Eight Men Out. Therefore, Eight Men Out is an action movie.

D) All lobstermen set at least a dozen traps. Hamilton is a lobsterman. Therefore, Hamilton sets at least a dozen traps.


2. Homework Equations

Modus Tollens:

[tex]\neg\,q[/tex]
[tex]p\,\longrightarrow\,q[/tex]
----------
[tex]\therefore\,\neg\,p[/tex]

Modus Ponens:

[tex]p[/tex]
[tex]p\,\longrightarrow\,q[/tex]
----------
[tex]\therefore\,q[/tex]

Fallacey of denying the hypothesis.



3. The Attempt at a Solution

A) E(x) = "x is enrolled in the university" and L(x) = "x has lived in a dormitory"

[tex]\neg\,L(Mia)[/tex]
[tex]E(x)\,\longrightarrow\,L(x)[/tex]
----------
[tex]\therefore\,\neg\,E(Mia)[/tex]

Argument is correct, it uses Modus Tollens.


B) C(x) = "x is a convertible" and F(x) = "x is fun to drive"

[tex]\neg\,C(Isaac's\,\,car)[/tex]
[tex]C(x)\,\longrightarrow\,F(x)[/tex]
----------
[tex]\therefore\,\neg\,F(Isaac's car)[/tex]

Argument is invalid, fallacey of denying the hypothesis.


C) I don't know how to set this one up, can some one help? I think it is invalid because of Fallacey of Affirming the conclusion, is that right?


D) L(x) = "x is a lobsterman" and T(x) = "x sets at elast a dozen traps"

[tex]L(Hamilton)[/tex]
[tex]L(x)\,\longrightarrow\,T(x)[/tex]
----------
[tex]\therefore\,T(Hamilton)[/tex]

Argument is correct, it uses Modus Ponens.
 

Answers and Replies

AlephZero
Science Advisor
Homework Helper
6,953
291
C: Yes, it is invalid. Use
Q(x) = "Quincy likes movie x"
A(x) = "movie x is an action movie"
 

Related Threads for: DISCRETE MATH: Determine whether an argument is correct or not

Replies
7
Views
1K
Replies
2
Views
5K
Replies
4
Views
2K
Replies
2
Views
529
Replies
11
Views
8K
Replies
2
Views
2K
Replies
1
Views
3K
Replies
3
Views
280
Top