Power Of Logic Tutor

Exercises for Chapter 9
Predicate Logic

9.1 Predicates and Quantifiers

		A. Wffs?
		B. Free and Bound Variables - not available online [why?]
		C. Symbolizing
		D. More Symbolizing
		E. Quiz on Symbolizing
		F. Challenging Translations

9.2 Demonstrating Invalidity

		A. Demonstrating Invalidity
		B. English Arguments - not available online [why?]

9.3 Constructing Proofs

		A. Annotating Proofs
		B. Correct or Incorrect? - not available online [why?]
		C. Proofs
		D. More Proofs
		E. Still More Proofs
		F. Still More Proofs
		G. English Arguments - not available online [why?]

9.4 Quantifier Negation, RAA, and CP

		A. Proofs
		B. More Proofs
		C. Logical Equivalents
		D. English Arguments - not available online [why?]
		E. Challenge Proof

9.5 Logic of Relations: Symbolizations

		A. Matching
		B. Symbolizing
		C. More Matching
		D. More Symbolizing
		E. Ready for a Challenge? - not available online [why?]

9.6 Logic of Relations: Proofs

		A. Correct or Incorrect? - not available online [why?]
		B. Proofs
		C. English Arguments - not available online [why?]
		D. A System without UG and EG? - not available online [why?]

9.7 Identity: Symbolizations

9.8 Identity: Proofs

		A. Proofs
		B. English Arguments - not available online [why?]

User Created Exercises

		X. Create Your own Proof