Modus-Ponens Mo

MODUS PONENS — If P then Q; P; therefore Q. The most foundational valid inference form in propositional logic — the structure of "if-then" reasoning when the antecedent is true.

A story read by Modus-Ponens Mo

Loading audio…

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

Show full transcript

Loading transcript…

01 Opening
Modus-Ponens Mo beat 1 of 5

Mo knew the front path was mud before she had even opened the door — and she said so out loud, to prove it.

She stopped just inside the doorway, satchel still on her shoulder, and smiled. A younger student named Bree was watching from the bench, arms folded, unimpressed.

"You can't know that. You only just got here," Bree said.

"I can, though. It's a promise coming true." Mo unfolded a small worn card from her vest-pocket, three sections written in careful ink. "Here's a promise this whole village keeps. If it rains, the front path turns to mud. Everybody knows it. It's just true here." She tapped the top of the card, then the middle. "And here's the other thing I already know — it rained before dawn. I woke to it drumming on the roof." She tapped the bottom line. "So?"

Bree squinted. "So... the path's mud."

"So the path's mud," Mo agreed — and as she nudged the door wide, there it was: the path a slick brown ribbon, a fresh paw-print already pressed onto the step where a student had tracked it in. "I didn't guess. I didn't hope. The mud had to be there — because the promise is true and the rain was real, and once both of those are sitting on the table, the ending arrives on its own. You couldn't stop it if you tried."

Bree looked at the muddy print, then back at Mo, and her mouth fell open a little. Mo had called the mud before the door was even open. She'd read it straight off the rule.

"That," Mo said, tucking the card away, "is the oldest, plainest move there is. Two true things click together and a third one falls out the bottom, whether anybody's looking or not."

02 Modus-Ponens Mo
Modus-Ponens Mo beat 2 of 5

Mo had learned the click when she was very small, and it had frightened her at first.

Her family were the village's deal-keepers — the mongooses who wrote down every agreement so nobody could squabble over it later. If you mend the fence, you get three baskets of grain. Plain trades, honored by everyone. Mo used to sit under the table while the grown-ups talked, and one evening word came in that a man had finished mending the Harrow fence that very afternoon.

Little Mo felt something snap into place in her chest — a cold, certain, I-already-know feeling — before anyone had said what came next.

"He's owed three baskets. He'll be at the door by supper," she blurted.

The room went quiet. Her grandmother looked down at her. "Nobody's said a word about baskets, little one."

"The card says whoever mends a fence gets three baskets," Mo said, and her voice wobbled, because being that sure was scary. "And he did mend the Harrow fence — you just said so. So the baskets are already his. It just... it has to be."

And within the hour the man came up the path, swinging three empty baskets to fill, exactly as Mo had called it.

Her grandmother didn't laugh, and didn't say what a clever girl. She knelt down instead. "You feel that? That heavy, sure feeling, like the answer's already yours and you're just catching up to it?"

Mo nodded, wide-eyed.

"That's the deal keeping itself. Not you being special. The rule was true, the mending was real, and the two of them together made the third thing — same as they'll make it for anybody who lines them up. You didn't invent the answer. You just followed the two true things to where they were always going to end."

The scary feeling turned warm. Mo had a name for it now, even if she wouldn't learn the fancy words for years: if the rule is true and the first thing is real, the ending belongs to you.

03 Modus-Ponens Mo
Modus-Ponens Mo beat 3 of 5

She walked to LogicQuest when she was grown, because a place that studied reasoning ought to understand the move everyone already made without noticing.

Inspector Logos met her at the gate and asked her only one thing. "Show me the plainest true reasoning you know."

Mo didn't answer with a speech. She looked up at the grey clouds still pressing over the far hills, then at the drip sliding off the gate's edge — and then, without once looking down, she pointed at Logos's own boots.

"It's still raining off and on, and there's only one road up this hill — walk it in the wet and you arrive with soaked boots, every time. You walked it to reach this gate," she said. "So your boots are wet through. I didn't have to look to know."

Logos glanced down. The boots were dark with water. "You didn't guess."

"Guessing is when you hope the ending. This isn't hope," Mo said. "When both true things are on the table — the rain, and the rule — the ending isn't up to me anymore. I just read it off the front and follow it forward."

Logos handed her a key to a workshop. "Then you'll go first," they said. "Before anyone here learns to spot the crooked reasoning, they'll come to you and learn what the straight kind feels like."

04 Modus-Ponens Mo
Modus-Ponens Mo beat 4 of 5

Bree came back the next week, frustrated, and slumped onto the bench.

"I can't do logic," she said. "It's for clever people. My cousin does it. I just... think."

Mo pulled out the card again and set it between them. "Tell me one thing you know is always true about your dog."

Bree shrugged. "If Biscuit hears the treat tin, he comes running. Every time."

"Good. That's a true if-then — yours, not mine." Mo wrote it on the top line. "Now. This morning — did anything happen with that tin?"

"Yeah. I knocked it clean off the shelf by accident. Huge rattle."

"So," Mo said, and left the word hanging, tapping the bottom of the card.

Bree opened her mouth to say I don't know — and then stopped. "...So Biscuit came running. He nearly knocked me over. I didn't even have to call him."

"You didn't have to wait and check, either."

"No — the tin rattled, and he always runs the second he hears it, so he was already on his way before I'd finished turning around. I just... knew he'd come." Bree's frown melted into something startled. "I just did the thing. Didn't I."

"You just did the thing," Mo said. "You've done it a thousand times. Every the door's locked, so Mum's home. Every my toast smells like that, so it's burning. You never once thought I am now performing a valid inference. You just knew what came next." She folded the card shut. "Naming it doesn't make it clever. Naming it just means the next time somebody hands you a crooked version, you'll feel the difference."

Bree turned the card over in her hands. "The clever cousin does the exact same move I do?"

"The exact same move," Mo said. "There isn't a fancier one. There's just this — done carefully, or done sloppy."

05 Closing
Modus-Ponens Mo beat 5 of 5

That evening, after the workshop had emptied, Bree lingered at the door.

"When I call the ending before it shows up," she said quietly, "like the path being mud, or Biscuit already on his way — how do I know I'm right and not just making it up?"

Mo thought of being small under the table, of three empty baskets coming up the path at the exact hour she'd named, of the cold-then-warm feeling in her chest.

"You listen for the click," she said. "There's this moment when two things you're sure of touch — the rule, and the thing that sets it off — and the ending just arrives, heavy and settled, like it was always going to and you only got there a beat early. That's not you tricking yourself. That's the two true things doing what true things do, whether you watch or not." She looked at Bree kindly. "It won't feel like being clever. It'll feel more like being handed a secret the rule already knew."

Bree nodded slowly, and Mo watched the stiffness go out of her shoulders — the I-can't-do-this slump loosening into something quieter.

Mo didn't say the last part out loud, but she felt it, warm and sure the way she had under the table all those years ago: the plainest reasoning in the world isn't cold at all. When it clicks, it feels like coming home to something true.

The LogicQuest ensemble

Modus-Ponens Mo is part of LogicQuest's distributed-narrative cast. Each character embodies a different curricular primitive; together they teach the full subject.

Kids also liked