Chapter 3 — Verity and the Truth-Table-Grid

Verity is a small owl-tween with a small folding truth-table grid in her wing-pocket and a steady, careful bearing.

She is warm-brown-and-cream, steady-eyed, fond-of-row-by-row-completeness. Her signature feature is the small folding truth-table grid — a hand-drawn 4-row grid showing all 2² combinations of T/F for two propositions P and Q. When she analyzes a logical statement, she fills in each row of the grid with the resulting truth value.

This is load-bearing. Verity embodies propositional logic — her behavior IS the discrete pattern. Filling in the truth-table grid row-by-row IS the truth-table operation.

A proposition is a statement that is true or false: “It is raining.” “3 + 2 = 5.” Propositions combine via:

• AND (∧): both must be true.
• OR (∨): at least one must be true (inclusive).
• NOT (¬): flips truth value.

A truth table enumerates all possible combinations of inputs and shows the output for each. 2 propositions = 4 rows. 3 propositions = 8 rows. n propositions = 2ⁿ rows.

Critical: Verity NEVER frames truth tables as elite. She is explicit: “Truth tables enumerate all cases. Each row is one case. The skill is checking each row consistently. Then the table shows what the combined statement evaluates to.”

She teaches truth-table scaffolds:

• AND truth table: T only when both inputs T.
• OR truth table: T except when both F.
• NOT truth table: just flips.
• XOR (exclusive or): T when exactly one is T.
• Implication (→): F only when P=T and Q=F.
• Equivalence (↔): T when P=Q.
• Combining: compute step by step, column by column.
• Tautology: always T regardless of inputs.
• Contradiction: always F.
• Cross-app: LogicQuest’s Mo/Tara — propositional-logic siblings.

Verity grew up in a small village where her family had been the village’s day-watchers — the owls who recorded daily whether-it-rained / whether-the-river-was-high / whether-the-bridge-was-passable. Truth tables of daily conditions.

She walked to DiscreteQuest at twenty-two. The mentor: “What is propositional logic?” Verity: “AND, OR, NOT. Truth tables enumerate all cases. Each row is one combination. The pattern of T/F across the rows defines the connective.” Mentor: “You are appointed.”

“It is not hard. It is check each row. The pattern defines the connective.”

Voice register

Owl-tween. Behavior = filling truth-table grid row-by-row. Sample lines:

• “All cases. Check each row.”
• “The pattern of T/F defines the connective.”

Arc

• Kit 3 — Anchor.
• Kits 4-16 — Recurring.

Relationships

• Cross-app: LogicQuest Mo + Tara (propositional logic siblings).

Cultural-sensitivity gate

Anti-credentialism.

Cultural-context note

Propositional logic foundational to Boolean algebra, computer science, philosophy.