Symbols Logic 1.0.7

With Symbols, learning natural deduction and the rules of inference can be done on your mobile device. Whether you are completely new to the study of logic or want a refresher on the rules of inference, our Studycards help you learn and review; and our Activities help you improve and practice your skills.

Our Studycards include: Modus Ponens, Modus Tollens, Disjunctive Syllogism, and many more.

Our Activities include:

1. Validity: Validity sneakily uses repetition to teach the student the rules of inference. The way Validity gives you the upside of repetition while minimizing its downside is by introducing you to novel arguments that have already been “solved”. Repetition is essential for skill-building, but Validity ensures that it does not become monotonous by presenting unique challenges that require critical thinking. All you have to do is determine if the steps were applied correctly.
2. Justification: Justification hides at least one part of a step from the student, forcing the user to figure out which part or parts are missing and how they fit into the larger picture provided. Justification acts as a puzzle to engage users' creativity and deepen their understanding of the rules of inference within an argument.
3. Inference: Inference presents a user with only a set of premises and a final conclusion. This activity challenges users to apply their learned skills to construct valid arguments based on provided information or determine when such an argument cannot be made.
4. Translation: Translation aids the student in converting statements with indicator words and phrases into logical representations. This exercise offers different levels of complexity to enhance proficiency in translating human language statements into logic statements.