3.1 Natural Deduction
Natural deduction is a proof system designed to reflect the way reasoning is carried out in ordinary mathematical arguments, where conclusions are obtained from assumptions by applying rules that correspond directly to the meaning of logical connectives. In this system, proofs are constructed step by step, and each step is justified either by an assumption or by applying an inference rule to earlier steps, so that the entire derivation forms...