Proofs & Logic — How We Know

Statements & logic

ELI5: a statement is a sentence that is definitely true or false (never both). We build bigger ones with and (needs both) and or (needs at least one). The engine evaluates these directly — a green check means the statement is true.

✓ pass

(2 > 1) and (3 > 2)

AND: both parts true

✓ pass

(1 > 5) or (4 > 2)

OR: one true part is enough

Real-world hook: these are literally the logic gates in every chip and the conditions in every line of code — if (loggedIn and isAdmin).