Solutions to Constructing proofs of arguments in QL
Proof 1
1.
(x)(Ax
⊃
Bx)
premise
2.
(x)Ax
premise
3.
flag a
Flagged subproof for U.G.
SP1
4.
Aa
⊃
Ba
U.I., 1
SP1
5.
Aa
U.I., 2
SP1
6.
Ba
M.P. 4,5
SP1
7.
(x)Bx
U.G., 3-6