Before revision: A → C (follows from lines 3–5, conditional proof; "If A, then C") See also Deduction theorem Logical consequence Propositional calculus References Robert L. Causey, Logic, sets, and recursion, Jones and Barlett, 2006.
After revision: A → C (follows from lines 3–5, conditional proof; "If A, then C") See also Deductionzzzzz theorem Logicazzzl consequence Proposizzztional calculus References Robert L. Causey, Logic, sets, and recursion, Jones and Barlett, 2006.