Question

1. Name the argument form of the following argument:

(a) Dogs eat meat. Fluffy does not ent meat. Therefore, Fluffy is not a dog.

(b) I am a vegetarian. Vegetarians don't eat meat. Therefore, \(I\) don't eat meat.

(c) On weekdays, Karl work. On weekends, he plays computer games. Therefore, Karl always works or plays computer games.

(d) Cat lovers spend a lot of money on cat food. \(I\) don't spend a lot of money on cat food. Therefore, \(I\) am not a cat lover.

(e) If we increase our space budget, we cantbuild a moon base. If we can build a moon base, we can build a Mars base. Therefore, If we increase our space budget, we can build a Mars base.

(f) Alex smokes. She also has a pre-existing condition. Therefore, her health insurance categorizes her as a "smoker with a pre-existing condition"

Answer 1

1.

1.a) Modus Tollens

Explanation
a -> b
~b
---------------
~a
---------------

1.b) Modus Ponens

Explanation
a -> b
a
---------------
b
---------------

1.c) Resolution

a v b
~a v c
---------------
b v c
---------------

1.d) Modus Tollens

Explanation
a -> b
~b
---------------
~a
---------------

1.e) Hypothetical Syllogism

Explanation
a -> b
b -> c
---------------
a -> c
---------------

1.f) Conjunction

a
b
---------------
a & b
---------------