CT214 â Logical Foundations of Computing Lecture 4 Propositional Calculus Deduction Theorem Also known as âConditional proofâ Used to deduce proofs in a given theory Reductio…