Play DiscreteQuest

Verity the Truth-Tester

PROPOSITIONAL LOGIC + TRUTH TABLES

A story read by Verity the Truth-Tester

Loading audio…

Press play to listen along. The line being read lights up as you go.

Show full transcript

Loading transcript…

01 Opening
Verity the Truth-Tester beat 1 of 5

Verity was a small owl. Her feathers were warm brown and cream. She always carried a small, folding grid in her wing-pocket. It was her truth-table grid.

She liked things to be complete. Row by row. No missing pieces. Verity was steady-eyed and careful. She loved seeing a problem solved perfectly.

Today, she was checking the weather. Not just for fun. She was helping her friend, Pip, decide on a picnic. Pip was a squirrel. He loved nuts and sunshine.

Verity tapped a claw on her grid. "First, we need propositions," she chirped.

Pip tilted his head. "Propo-what now?"

"Propositions," Verity explained. "They're just statements. Things that are either true or false. No maybe-so. No sort-of."

She wrote on her grid. "P: It will rain today." Then she wrote, "Q: The sun will shine."

02 Verity the Truth-Tester
Verity the Truth-Tester beat 2 of 5

Pip giggled. "Those can't both be true!"

Verity nodded. "Exactly! That's where connectives come in. Like AND." She drew a little upside-down V. "For AND, both statements have to be true. If P is true AND Q is true, then the whole thing is true."

She looked at the sky. "If it rains AND the sun shines, then we can have a picnic."

Pip frowned. "But if it rains, the sun won't shine. So that's false."

"Right!" Verity said. "Now, what about OR?" She drew a regular V. "For OR, only one statement needs to be true. Or both!"

"If it rains OR the sun shines, we can have a picnic."

Pip thought. "So if it rains, we can picnic. If the sun shines, we can picnic. If both happen, we can picnic. But if neither happens, no picnic!"

"You got it!" Verity chirped. "And then there's NOT." She drew a little wavy line. "It just flips things. If 'It is raining' is true, then 'NOT it is raining' is false."

03 Verity the Truth-Tester
Verity the Truth-Tester beat 3 of 5

Verity unfolded her grid. It had four rows. "This is a truth table," she said. "It shows all the ways things can be true or false."

She pointed to the first row. "What if P (rain) is true, and Q (sun) is true?"

Pip shook his head. "Can't happen!"

Verity smiled. "But we still check it. Just in case. For the AND statement, that row would be False."

She filled in the row. "Next row: P is true, Q is false. Rain, no sun. For AND, still False. For OR, True!"

She worked through the rows. "P false, Q true. No rain, sun. AND is False. OR is True." Finally, "P false, Q false. No rain, no sun. AND is False. OR is False."

Pip watched her fill the last column. "So the table shows the answer for every single possibility!" he said.

Verity beamed. "Exactly! Each row is one case. We check each row consistently."

04 Verity the Truth-Tester
Verity the Truth-Tester beat 4 of 5

Verity never made truth tables sound hard. "It's not about being super smart," she'd say. "It's about being super careful. Check each row. That's the secret."

She showed Pip other connectives. "There's XOR," she said. "That means exclusive or. It's true only when exactly one thing is true. Like if you can have ice cream OR cake, but not both."

Then there was Implication. "This one is tricky," Verity warned. "It's like saying, 'IF you clean your room, THEN you can play games.' This statement is only false in one way. That's if you do clean your room. But your parents don't let you play games. That would be unfair!"

And Equivalence. "That means they're the same," Verity explained. "If P is true and Q is true, then they're equivalent. If P is false and Q is false, they're equivalent. They match!"

Sometimes, a whole statement would always be true. No matter what P and Q were. "That's a tautology," Verity chirped. "Like saying, 'It is raining OR it is NOT raining.' That's always true!"

And if it was always false? "A contradiction," she'd say. "Like 'It is raining AND it is NOT raining.' That can never be true!"

Verity grew up in a quiet village. Her family were the village day-watchers. They were owls, just like her. Their job was to record everything important each day.

Did it rain? Was the river high? Could travelers cross the bridge? They wrote it all down. Every single day. They used their own simple truth tables.

05 Closing
Verity the Truth-Tester beat 5 of 5

Verity's grandmother would say, "We need to know all the conditions. If it rained AND the river was high, the bridge might be unsafe. If it didn't rain AND the river was low, the bridge was fine."

Young Verity watched them. She learned to fill in the grids. Row by row. Making sure every possibility was covered. It was how they kept the village safe.

When Verity was old enough, she walked to DiscreteQuest. It was a big, tall building. Full of smart creatures. A wise old badger was the mentor there.

The badger looked at Verity. "What is propositional logic?" he rumbled.

Verity didn't blink. She pulled out her small grid.

"It's about statements that are true or false," she said. "And how they connect with AND, OR, and NOT."

She tapped her grid. "Truth tables show all the cases. Every single one. Each row is one combination of true and false. The pattern of T/F across the rows? That's what defines the connection."

The badger smiled. "You are appointed," he said. Verity felt a warm flutter in her chest. She had shown him her way. Her careful, row-by-row way.

She still says it to anyone who asks. "It is not hard. It is check each row. The pattern defines the connective." And she always has her grid ready.

Hear it as an audio drama

A short play starring Verity the Truth-Tester, from DiscreteQuest. Different voices, same idea. Listen any time after you read.

Loading audio…

Read the drama script
  1. Narrator: From Spark and Anvil and DiscreteQuest — this is Verity The Truth-Tester, in chapter 1 of the DiscreteQuest cast.
  2. Narrator: This drama uses an AI-generated voice. Voiced via Gemini 2.5.
  3. Narrator: Verity is a small owl-tween with feathers of cream and earth. She carries a folding truth-table grid, always ready.
  4. Verity The Truth-Tester: I am Verity. I see the world as propositions — statements that are either definitively true or definitively false.
  5. Verity The Truth-Tester: Propositions combine with simple rules. AND means both must be true. OR means at least one must be true. NOT just flips it.
  6. Narrator: Her grid lists every possible scenario for two statements, row by methodical row. True-True, True-False, False-True, False-False.
  7. Verity The Truth-Tester: My truth table just enumerates all possible cases. The skill is checking each row carefully, without missing a single combination.
  8. Narrator: Her family were the village day-watchers. For generations, they recorded daily truths on a simple slate.
  9. Verity The Truth-Tester: Rain AND high river? Bridge NOT passable? I learned early to break reality into simple, verifiable statements.
  10. Narrator: She walked to the DiscreteQuest academy at twenty-two. A wise mentor asked her just one question.
  11. Verity The Truth-Tester: It is AND, OR, and NOT. And truth tables. They enumerate all cases. The pattern of True or False defines the connective.
  12. Narrator: The mentor saw she embodied the operation itself. She was appointed.
  13. Verity The Truth-Tester: It isn't hard. You just check each row. It's all right there in the grid.
  14. Narrator: Enumerate all cases. Check each row. That is the whole operation. That is what makes logic logic.
  15. Narrator: You've been listening to a Spark and Anvil chapter, written by the Spark and Anvil writing team for ages 9 to 14.
  16. Narrator: Apps stay free forever.
  17. Narrator: Curriculum aligned to AMC 8 math and Common Core.
  18. Narrator: Released under Creative Commons BY-NC-SA 4.0 for educational reuse. Visit Spark and Anvil for the full transcript.

The DiscreteQuest ensemble

Verity the Truth-Tester is one of the friends in DiscreteQuest. Each friend shows you one idea by how they act; meet them all and you have the whole subject.

Kids also liked