Symbols: Learn Logic 4+

I am someone who took a few formal logic courses in college and fell in love with symbolic logic. I have long been looking for some kind of simple phone application that would allow me to practice/review logic skills for fun during the times where I would both like to avoid using my computer for hobbies such as taking free courses but would also prefer to avoid simply surfing the internet on my phone.

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!

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!

This app teaches you how to do symbolic logic. There are several activities, and several levels. The first level is extremely simple. To proceed to the next level, you must complete the current level several times. My complaint is that arduous progress in one activity is not shared to the other activities that use the same logic. I don’t want to train modus ponens separately for each game.

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!

In one game, you have to translate words into symbolic logic. One example is “If X, then Y”, which would be represented as: X ⇒ Y.
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.

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.