chess image
POL WEB TUTOR
MENU
pointer graphic ABOUT THIS SITE
pointer graphic BUG WEBMASTER
pointer graphic HELP
pointer graphic MAIN MENU
pointer graphic WEB SITE BY ...
   
ch8 logo

Exercises for Chapter 8
Statement Logic: Proofs

Select an exercise

8.1 Implicational Rules of Inference
   A. Annotating Proofs
   B. Correct or Incorrect?
   C. Proofs
   D. More Proofs
   E. English Arguments - not available online [why?]  
 
8.2 Five Equivalence Rules
   A. Annotating Proofs
   B. Correct or Incorrect?
   C. Proofs
   D. Longer Proofs
 
8.3 Five More Equivalence Rules
   A. Annotating proofs
   B. Correct or Incorrect?
   C. Short Proofs
   D. Longer Proofs
   E. English Arguments - not available online [why?]  
 
8.4 Conditional proof
   A. Conditional Proof
   B. English Arguments - not available online [why?]  
   C. Valid or Invalid? - not available online [why?]  
 
8.5 Reductio ad Absurdum
   A. Proofs
   B. Valid or Invalid?
   C. English Arguments - not available online [why?]  
   D. Valid or Invalid? - not available online [why?]  
 
8.6 Proving Theorems
   A. Theorems
   B. Challenging Theorems
   C. Corresponding Conditionals - not available online [why?]  
 

User Created Exercises

   X. Create Your own Proof
 


 © Logic Pedallers and McGraw-Hill 2012 –

[Program run on 490276.oasistravelhk.tech -- debugging info shown below]
cookie : pageout=; path=/; expires=Wed, 27-Nov-2024 08:40:53 GMT