# DISCRETE MATH: Determine whether an argument is correct or not

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:

$$\neg\,q$$
$$p\,\longrightarrow\,q$$
----------
$$\therefore\,\neg\,p$$

Modus Ponens:

$$p$$
$$p\,\longrightarrow\,q$$
----------
$$\therefore\,q$$

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"

$$\neg\,L(Mia)$$
$$E(x)\,\longrightarrow\,L(x)$$
----------
$$\therefore\,\neg\,E(Mia)$$

Argument is correct, it uses Modus Tollens.

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

$$\neg\,C(Isaac's\,\,car)$$
$$C(x)\,\longrightarrow\,F(x)$$
----------
$$\therefore\,\neg\,F(Isaac's car)$$

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"

$$L(Hamilton)$$
$$L(x)\,\longrightarrow\,T(x)$$
----------
$$\therefore\,T(Hamilton)$$

Argument is correct, it uses Modus Ponens.
{"ft_lang_label":"__label__en","ft_lang_prob":0.7292017,"math_prob":0.998155,"size":3485,"snap":"2019-51-2020-05","text_gpt3_token_len":1061,"char_repetition_ratio":0.151106,"word_repetition_ratio":0.97330594,"special_character_ratio":0.3087518,"punctuation_ratio":0.15502793,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.99934137,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2019-12-05T19:51:32Z\",\"WARC-Record-ID\":\"<urn:uuid:b9e1d40b-2658-477e-ba53-8bfbdf5dc7ae>\",\"Content-Length\":\"65541\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:efc233fd-8281-4f3a-9dd8-1921da66fdd2>\",\"WARC-Concurrent-To\":\"<urn:uuid:087ba708-816b-40af-a9f2-9a4cb6f577c4>\",\"WARC-IP-Address\":\"23.111.143.85\",\"WARC-Target-URI\":\"https://www.physicsforums.com/threads/discrete-math-determine-whether-an-argument-is-correct-or-not.153008/\",\"WARC-Payload-Digest\":\"sha1:QZQDOYZCYT4BDLQWOQGP7LGAXQFQZHFD\",\"WARC-Block-Digest\":\"sha1:6FEKLOODUNATK6Z2V4O46FY4SKTXW5HA\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2019/CC-MAIN-2019-51/CC-MAIN-2019-51_segments_1575540482038.36_warc_CC-MAIN-20191205190939-20191205214939-00452.warc.gz\"}"}