Introductory Logic Web Links

• Here's an online proof checker. Just type in your proof, or copy from a text editor, and click on execute. Note: This proof checker will not permit you to use the same line for both the assumption and the conclusion of a conditional proof.
• Here's an online logic tool that transforms sentences into disjunctive normal form.