Veritas AI vs Logical Construct & Philosophy

Veritas AI is a quiet place to bring your questions, your worries and your prayers, with guidance inspired by Scripture. When you're lying awake overthinking, facing a hard conversation, or just wondering what to do next, Veritas helps you pause, think it through and find a verse to hold on to. CHAT Ask what's really on your mind: relationships, work, doubt, grief, habits, purpose. Veritas answers in plain, gentle language, drawing on the Bible and Christian wisdom. No judgement, no lectures. VOICE MODE Rather talk than type? Speak naturally and hear a calm reply in real time. Voice and text live in the same conversation, so you can pick up where you left off either way. VERSE OF THE DAY Start each day with a verse. Save the ones that speak to you, share them with a friend, and set a daily reminder at the time that suits you. Each day you read it, another star lights up beside your lamp. THE BIBLE, TO READ AND TO HEAR - 11 translations, including the King James Version, World English Bible, Berean Standard Bible, Douay-Rheims and the Latin Vulgate - Listen to the Bible read aloud, with each verse highlighted as it's spoken - Highlight verses and write your own notes as you go - The text lives on your phone, so you can read without a signal - Adjustable text size for comfortable reading PRAYER A private space to write or speak what you're carrying. Keep the prayers you're still holding, mark them answered when the time comes, and look back on how far you've come. Light a candle for someone you're praying for. When words won't come, borrow a prayer for the morning, the night, anxious moments, grief, gratitude, or for someone you love. SAVED Your notes, favourite verses and past conversations, together in one place. A NOTE ON WHAT VERITAS IS Veritas uses AI to offer reflections grounded in Scripture. It can make mistakes, and it is not a pastor, a church, a counsellor or a doctor. If you're struggling, please reach out to someone you trust or a local professional. SUBSCRIPTION Veritas AI is a subscription app, with weekly, monthly and yearly plans. Where offered, eligible new subscribers can start with a free trial. Payment is charged to your Apple ID when you confirm your purchase. Your subscription renews automatically unless you cancel at least 24 hours before the end of the current period, and your account is charged for renewal within 24 hours before the period ends. You can manage or cancel your subscription at any time in your App Store account settings. Any unused part of a free trial ends when you buy a subscription. Terms of Use: https://theveritasapp.com/terms/ Privacy Policy: https://theveritasapp.com/privacy/ Questions or feedback: hello@theveritasapp.com

Logical Construct is an educational puzzle app that makes formal logic genuinely playable. Instead of passively reading about reasoning, you actively construct valid proofs by applying the same inference rules used by logicians, mathematicians, and philosophers: Modus Ponens, Modus Tollens, Hypothetical Syllogism, Reductio ad Absurdum, and more. Each puzzle gives you a few premises and a target conclusion. Your job is to build a chain of deductions, one rule at a time, until you reach the conclusion. By doing the proofs yourself, not just reading about them, abstract logical concepts become concrete, intuitive skills. You'll progress through propositional logic, work with modal operators of necessity (□) and possibility (◇), and tackle advanced techniques like Conditional Proof and Reductio ad Absurdum. Classic philosophical arguments (the Paradox of Omnipotence, the Problem of Evil, Anselm's Ontological Argument, and Plantinga's modal version of it) become living frameworks for applying these principles. Reasoning that shaped two millennia of philosophy, now something you can practise on your phone. WHAT'S INSIDE • 20 levels, 60 puzzles, from your first Modus Ponens to S5 modal logic • 24 inference rules organised into six categories: conditional, conjunction, disjunction, negation, biconditional, and modal • Step-by-step solution viewer that reveals the proof one move at a time: it shows you the path, it doesn't solve it for you • Truth tables for every propositional rule, with the row where all premises are true highlighted so you can see why the rule is valid • Live formula highlighting that shows which lines a rule will use • Subproofs with Fitch-style indentation: the natural way to learn Conditional Proof and Reductio ad Absurdum • First-launch tutorial that walks you through your very first deduction, plus dedicated intros for subproofs and modal logic • Atom legend on every puzzle: tap to see what each symbol stands for and read the puzzle as a story in plain language • Neumorphic design with colour-coded rule categories • Progress tracking with automatic level unlocking WHO IT'S FOR Students strengthening their formal reasoning, philosophy enthusiasts curious about how arguments actually work, or anyone who enjoys a good puzzle that makes you think clearly. - Privacy Policy: https://sites.google.com/view/logicalconstructapp/accueil - Terms of Use: https://www.apple.com/legal/internet-services/itunes/dev/stdeula/