Follow these links to the App Store.
Basic tools for syllogisms.
Basic tools for propositional logic.
Construct derivations in propositional logic.
Click here to see the complete help files for Logic 101.