Following are some strategies to show how the rules of inference and replacement can be used in Natural Deduction in Propositional Logic. Click on selection to bring up an interactive tutorial.