[ a logical reasoning operating system ]
┌────────────────────────────────────────────────────────────────────────┐
│ PROTOCOL : TRUTH-EVAL │
│ VERSION : 4.7.2 │
│ AUTHORITY : THE OBSERVER │
│ STATUS : ACTIVE │
└────────────────────────────────────────────────────────────────────────┘
logic.quest is not a game. it is a deduction engine -- a sealed environment where premises are inputs, conclusions are outputs, and every step between is a gate to be traversed. you will learn to read the wiring of an argument. you will learn to feel a contradiction before you see it. you will descend.
each puzzle compiles. each solution propagates. each error halts the system. truth is not opinion -- truth is whatever survives the truth table.
| A | B | A && B |
|---|---|---|
| T | T | T |
| T | F | F |
| F | T | F |
| F | F | F |
intersection ≡ conjunction ≡ truth held in common
| P | Q | R | ¬R | P ∨ Q | (P ∨ Q) ∨ ¬R |
|---|---|---|---|---|---|
| T | T | T | F | T | T |
| T | F | T | F | T | T |
| F | T | F | T | T | T |
| F | F | T | F | F | F |
| F | F | F | T | F | T |
┌───┬───┬─────┐ │ P │ Q │ P∨Q │ ├───┼───┼─────┤ │ T │ F │ T │ └───┴───┴─────┘
" this statement is false. "
R = { x | x ∉ x }
does R contain itself?
replace plank₁. is the ship the same?
replace plank₂...n. when does identity break?
$ tap a suspect to evaluate the propagation...
| A | B | A ⊕ B |
|---|---|---|
| T | T | F |
| T | F | T |
| F | T | T |
| F | F | F |
┌─────────────────────────────────────────────────────────────────────┐
│ ENTRY POINT :: authentication required │
│ PROTOCOL :: truth-eval 4.7.2 │
│ WARNING :: descent is non-reversible │
└─────────────────────────────────────────────────────────────────────┘
[ solve to descend. each layer is a gate. each gate is a truth. ]