Question

1.)

The definition of valid argument is as follows.

Whenever the premises are all true, the conclusion is true as well.

Create an equivalent definition that is the contrapositive of the definition above.

2.)

Show that the following argument is valid without using a truth table. Instead, argue that the argument fulfills the equivalent definition for valid argument that you created in number (1)

p→¬q

r→(p∧q)

¬r

Answer 1

Answer :

The definition of valid argument is as follows.

Whenever the premises are all true, the conclusion is true as well.

Then the equivalent definition that is the contrapositive of the definition above is

Whenever the conclusion is not true , all the premises may not be true.

2)