PROOFS

Which of the following statements are true?

• An argument is a sequence of propositions

• The final proposition is called the premise

• Each proposition before the final one is called conclusion

• To validate an argument, we assume no premises are true.

If Ironman is a man, then Ironman is mortal

Ironman is a man

∴ Ironman is mortal

This argument is valid because of which rule of inference?

• Modus ponens

• Hypothetical syllogism

• Modus tollens

• Disjunctive syllogism

What should be put in on the red line?

• Modus Tollens

• Dilemma proof

• Modus Ponens

• 
  Disjunctive syllogism

Consider the following argument:

p → q

q → p

∴p ∧ q

Which statements are true?

• The argument cannot be concluded.

• The argument is not complete.

• The argument is valid.

• The argument is invalid.

Consider the following argument:

p

p → q

∼q ∨ r

∴r

The argument is ​ __________________

• valid.

• not valid.

• is not complete.