the first two lines are the premises, the last is the conclusion.
Posted: Thu May 12, 2022 4:13 pm
the first two lines are the premises, the last is the conclusion.
(x)(MxNx) (XW CXNXA) (Vx)(Mx = Nx)
(x)(MxNx) (XW CXNXA) (Vx)(Mx = Nx)