Question

Discrete Mathematics

(a) Consider the following argument:

All honest people pay their taxes.                                                           

Darth is not honest.

∴ Darth does not pay his taxes.

Write this argument in formal language using quantifiers, variables, and predicates (remember to define what your predicate means). Is this argument valid? If so, is it universal modus ponens or universal modus tollens? If not, does it exhibit converse error or inverse error?

(b) Draw a diagram with disks (as shown in the text) to help demonstrate whether the following argument is valid or invalid.

All polynomial functions are differentiable.

All differentiable functions are continuous.

∴ All polynomial functions are continuous.

Answer 1