Essential App for using Logic
Symbolic Logic Lovers: Great App for Downtime (No More Endless Phone Scrolling!)
I had envisioned an application for symbolic logic that would be similar to the multiplication and division sheets I loved completing back in elementary school—simple, straightforward, effective, and fun. This app fits the bill perfectly. I want to thank the developer(s) for creating my dream application. No more mindlessly scrolling on my phone while waiting for appointments or relaxing at the end of the day—now I have symbolic logic to fill that void!
Response from developer
Thank you so much for your thoughtful feedback! In many ways, what you envisioned was also the guiding vision for this app. I often wondered why there were so many arithmetic apps—like the multiplication and division tables you mentioned—but none for argument forms. The goal was to create something similar to those arithmetic apps but for symbolic logic. Moreover, the idea of replacing mindless scrolling with logic exercises is exactly what I hoped the app would do during moments of downtime. Thank you again for your kind words! I'm truly grateful for your support and for sharing this feedback!
Certain problems are wrong, other than that it’s a cool app
One problem actually is incorrect, from what i’ve found. “Only if” is represented as a conditional with the antecedent and the consequent flipped. “X only if Y” is not X ⇒ Y, it’s Y ⇒ X. That’s why a biconditional is spoken as if and only if, it includes both the “if” and “only if”.
Other than that, it’s a cool app.
Response from developer
First off, thank you very much for the kind words! I am looking at the studycard for the implication's "only if" translation, and I see that as you have stated, given the statement "X only if Y", the translation is X → Y. Before moving on any further think about the statement for a moment. "X only if Y"--in other words--the statement is conveying to us that Y is a necessary condition for X. The necessary condition is the consequent, therefore, X → Y is the correct translation. If you have any more questions or feedback, just shoot me an email at hello@symbols-app.com.
Fantastic logic trainer
Highly recommended.
Great Learning Tool, learning progress should be shared across activities
Response from developer
Firstly, I would like to thank you for giving Symbols Logic a try, your kind words, and the high rating that you gave it. Your complaint is not without merit, but it is a consequence of a design decision. The decision was to create Activities that are self-contained, since each Activity is different and focused on teaching something unique. Yes, you are right in that you will be faced with modus ponens in Validity and then again in Justification and Inference, but each one of these Activities is asking a different question about it. Validity asks, “Were the steps applied correctly?” Justification asks, “What is missing for the steps to be applied correctly?” Inference may hide several steps (sub-conclusions) and asks, “Is this correct?” These questions may seem redundant, but each one of them is different and they are designed to further a user’s understanding in a different way. The goal is to have these rules and their patterns so well ingrained in your mind that you can recognize them (or any sequence of them) effortlessly in your sleep. Again, thanks for giving us a try!
