The following completed proof is correct. (x)(Ax ⊃ Bx) (x)(…
The following completed proof is correct. (x)(Ax ⊃ Bx) (x)(Bx ⊃ Cx) / (x)(Ax ⊃ Cx) Ax ACP Ax ⊃ Bx 1, UI Bx 3, 4, MP Bx ⊃ Cx 2, UI Cx 5, 6, MP Ax ⊃ Cx CP, 3–7 (x)(Ax ⊃ Cx) 8, UG
Read Details