Symbols: Learn Logic

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!

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.

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.