Symbols vs Logic Kit

Learn logic with Symbols, the app that teaches natural deduction and the rules of inference in an intuitive, accessible way. Our unique Studycards feature visual pictographs and interactive, step-by-step exercises that allow you to grasp each rule easily and quickly. Then, challenge yourself with activities specifically designed to practice those rules, building your skills progressively, and cementing them in your memory with every level completed. Why Symbols? Comprehensive Studycards: Learn essential rules like Modus Ponens, Modus Tollens, Disjunctive Syllogism, and many more through clear explanations and examples. Perfect for students and anyone looking to understand formal logic. Engaging Activities for Skill Mastery: Validity: Sharpen your critical thinking by evaluating pre-solved arguments. This unique activity provides the benefits of repetition without the tedium, helping you apply, recognize, and grow familiar with the rules of inference. Justification: Challenge your understanding with puzzle-like scenarios where you deduce missing argument steps. This deepens your comprehension and refines your application of logical rules within complex arguments. Inference: By this stage, the training wheels are off, and the student has to draw on everything they've learned so far. Their task is to mentally build a valid argument from what’s provided—or to recognize that no valid argument can be formed. What would normally be worked out slowly on paper is now done at the speed of thought. Translation: Translation helps students practice turning statements with indicator words and phrases into logical form. These indicator words, commonly found in logic books and courses, give students a sense of how to translate everyday language into formal logic. Translation breaks this process into levels, allowing students to track their progress and earn new scores as they build proficiency. Download Symbols for free and begin your journey into formal logic. Your free access includes the first level of every activity and the Modus Ponens study card, a must-have for getting started. For more advanced content and features, simply use our in-app purchases to continue building your logic skills. Start your journey of mastering the rules of inference now!

The "Logic Kit" app helps you to simplify boolean algebra expressions by using boolean algebra laws, solve Karnaugh Map, Truth Table, Sum of Product (SoP), Product of Sum (PoS), convert numbers from any base to any base, do arithmetic between these numbers, find complements, and more. All this is provided with a detailed step-by-step to learn while solving. Boolean Algebra Features • Simplify boolean algebra expression using boolean algebra laws and show the detailed solution step-by-step. • Simplify the boolean algebra expression using Karnaugh Map and show the detailed solution step-by-step. • Solve Karnaugh Map by inserting values (SoP, PoS) directly in the map with the ability to use "Don't Care". • Find the truth table from the boolean algebra expression and show the detailed solution step-by-step, or easily insert values (SoP, PoS) directly in the truth table and get the boolean algebra expression consisting of Minterms or Maxterms. • Find SoP and PoS from the boolean algebra expression and show the detailed solution step-by-step. • Deal with the Sum of Product (SoP) and the Product of Sum (PoS), and get the boolean algebra expression consisting of Minterms or Maxterms. • Easily show a circuit diagram for any simplified boolean expression using AND-OR gates, NAND gates only, or NOR gates only. • In the boolean algebra expressions you can use all the English letters (26 variables) and 11 different logic gates (AND, OR, NOT, NAND, NOR, XOR, XNOR, IMPLY, NOT-IMPLY, CONVERSE, NOT-CONVERSE). • Truth table and Karnaugh Map can solve up to 10 variables. • Special design keyboard for the boolean algebra to write expression variables and gates easily. Number Systems Features • Convert numbers (with decimal points) from any base to any base (binary, octal, decimal, hexadecimal, etc.) up to base 36 and show detailed step-by-step. • Find r's and (r-1)'s Complement for any base up to base 36 and show detailed step-by-step. • Do arithmetic (Plus, Minus, Multiplication, and divide) between numbers in different bases and get the solution with detailed step-by-step. • Special design keyboard for the number systems that interact with the selected bases to write easily with no mistakes. More Features • The Logic Kit app works with no need for an internet connection, and there are no ads. • There will be many added features in the upcoming updates.