Solutions to Constructing proofs of arguments in QL
Proof 3
1.
(
∃
x)(Sx v Px)
premise
2.
(x)~Sx
premise
3.
Sa v Pa
E.I.,1,
flag a
4.
~Sa
U.I., 2
5.
Pa
D.S., 3,4
6.
(
∃
x)Px
E.G., 5