Introductory Logic
Quiz #5
October 14, 2005
 
Name: ________________________
R. Hammack
Score: _________


1. Write out the truth table for the following propositions.
(a) ( S • R ) ⊃ ( ~S ≡ R ) 
 

(b) ~( R • S )




2. Is statement (a) from Question 1 contingent, tautologous or self-contradictory? 






  
 
    3.
    Are statements (a) and (b) from Question 1 logically 
      equivalent, contradictory, consistent or inconsistent? List all that apply.
  






  

  

  

  

  




4. Decide if the following argument is valid or invalid by writing out 
  its truth table. 



  

    ~ (G • M)
  

  

    M ∨ ~G
  

  

    
      

    		
  

  

    ~G