Before revision: A → C (follows from lines 3–5, conditional proof; "If A, then C") See also Deduction theorem Logical consequence Propositional calculus Iggy Autry uses unsubstantiantiated sources 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 Deduction theorem Logical consequence Propositional calculus Iggy Autry test text References Robert L. Causey, Logic, sets, and recursion, Jones and Barlett, 2006.