Logic 101

Explore the mathematical foundation of truth through interactive logical operations and symbolic reasoning.

Truth Tables

Evaluate propositions using step-by-step truth table generation.

Logical Operators

Master the fundamentals of AND, OR, NOT, and conditional operators.

Proof Construction

Build formal proofs using deductive reasoning techniques.

Core Logical Concepts

Propositional Logic

The study of propositions and their logical connections. Propositions can be represented as:

P ∧ Q → R

Predicate Logic

Extends propositional logic with quantifiers and predicates:

∀x (Human(x) → Mortal(x))

Truth Table Generator

P
Q
P → Q
T
T
T
T
F
F
``` ```