Philosophy of logic

Quiz 10

Please complete your work individually without other resources (notes, textbook, internet, etc.). Please write your name only on the back of this page.

1. Show that the following is true using a derivation. USE ONLY THE AXIOMS OF QL. Be sure to follow the proper form and include all line numbers and justifications as well as the content on each line [10 points]:

{y(Py ∨ Qy), x~Px} ⊢ xQx

2. Show that the following is true using a derivation. USE ONLY THE AXIOMS OF QL AND RULES FOR IDENTITY. Be sure to follow the proper form and include all line numbers and justifications as well as the content on each line [10 points]:

{x(Ax Bm), y(y = n)} ⊢ Ac Bn

Name:________________________

Name:_______________________________