Proofs for QL with Identity
1. (x)(y)((x = y)
⊃
(Fx
⊃
Fy))
table of contents
List of Exercises