[Verse 1]
Sarah says "The moon is made of cheese"
Tommy asks "What color is the breeze?"
One declares a fact we can debate
One just questions, leaves our minds to wait
Propositions stake their claim so bold
Either true or false, the story's told
[Chorus]
True or false, never both, never neither
That's the rule for every math believer
Statements that can take a side
Propositions can't run and hide
True or false, pick your stance
Give logic its fighting chance
[Verse 2]
"Seven is a prime number" rings clear
Goldbach's conjecture still unclear
"Every even past two splits in twos"
Primes might add up, but we need more clues
Both are propositions just the same
Truth will out, even if unknown fame
[Chorus]
True or false, never both, never neither
That's the rule for every math believer
Statements that can take a side
Propositions can't run and hide
True or false, pick your stance
Give logic its fighting chance
[Bridge]
But "x plus three equals five today"
Needs a value before it can play
Without knowing what x might be
It's a predicate, roaming free
Questions mark the curious mind
But propositions truth will find
[Verse 3]
"Is twelve divisible by three?"
That's a question, can't you see
Turn it round to make it straight
"Twelve divides by three" - now we can state
Every proposition makes its bet
On reality's roulette
[Chorus]
True or false, never both, never neither
That's the rule for every math believer
Statements that can take a side
Propositions can't run and hide
True or false, pick your stance
Give logic its fighting chance
[Outro]
No middle ground, no maybe so
Propositions always know
Which side of truth they're standing on
Even when the proof's not drawn