Symbols Logic is an educational app designed for iPhone users, focusing on the principles of natural deduction and rules of inference. It caters to both beginners and those looking to refresh their logic skills through interactive Studycards and engaging Activities. The app includes essential concepts such as Modus Ponens, Modus Tollens, and Disjunctive Syllogism, providing a comprehensive foundation in logic.

The Activities within Symbols Logic are tailored to enhance learning through practical application. Users can practice Validity, which reinforces inference rules via repetition with novel arguments; Justification, which challenges users to fill in missing steps in logical reasoning; Inference, which tests users to construct valid arguments; and Translation, which helps users convert everyday language into logical statements. Together, these features make Symbols Logic a valuable tool for anyone looking to improve their logical reasoning skills.