I. Prove valid (. (x)(Sx v-ix) (Fx-Px 2. (y) lays-Py) 3. (3nt-...