Philosophy 251: Handout #7

XIV. For each of the following arguments construct a derivation to prove that the argument is valid.

  1. D & [ ~E & ( F & ~G )] / F
  2. ( H & I ) & K / K & ( I & H )
  3. Q S, T & Q / S
  4. ( U & W ) ( X v Y ), W & ( X v Z ), U & ~A / X v Y
  5. A ( B & C ) / A C
  6. H  ( I & ~K ) / ( H & L ) ~K
  7. ( M J ) & ~J / ~M
  8. N & ~N / O
  9. ~( R & S ) ( T & ~U ), U / R & S
  10. ( ~X ~W ) & ( ~W W ) / X
  11. Y / X v ( Y v Z )
  12. A v B, A C, B C / C
  13. ( E v F ) ~G, F / ~G
  14. ~H v I, ~H I / I
  15. ( A & B ) C, C [ ~D & ( C D ) ] / ~( A & B )

 

 

Back to Syllabus