the first two lines are the premises, the last is the conclusion.
Posted: Thu May 12, 2022 12:51 pm
the first two lines are the premises, the last is the conclusion.
(x)(AxBx) Vx (Ex)(AX ^ Cx) (Ex)(Bx A Cx) A
(x)(AxBx) Vx (Ex)(AX ^ Cx) (Ex)(Bx A Cx) A