80-110 The Nature of Mathematical Reasoning

Thursday, February 15, 2001

Quiz 4


    Name: _______________________________
 

  1. When is an argument (deductively) valid?

  2. An argument is (deductively) valid, if it is logically impossible for the premises to be true and the conclusion false at the same time. (Lecture).
     
     

  3. What is a sound argument?

  4. An argument is sound if it is valid and its premises are true (Lecture).
     
     

  5. What entities can be true or false?

  6. Propositions (statements, declarative sentences) (Lecture).
     
     

  7. Name a theory (other than Geometry) that has been axiomatized.

  8. Number theory, set theory, utility theory, physics, and many more (Lecture).
     
     

  9. When is an axiom system consistent?

  10. If it is not possible to derive a contradiction from the axioms (Lecture).