[Verse 1]
Detective walks into the crime scene of proof
Magnifying glass searching for mathematical truth
What do we know sits in the evidence box
What follows next unlocks the logical locks
Gathering clues like puzzle pieces that connect
Each statement leads us closer to what we detect
[Chorus]
Logic is the detective story we tell
AND gathers evidence, builds cases well
OR considers all possibilities in sight
NOT eliminates what cannot be right
IF-THEN follows leads down every trail
IF AND ONLY IF delivers without fail
Every proof's an investigation unfurled
Logic solves the mysteries of the mathematical world
[Verse 2]
The suspect lineup shows us what might be true
Cross-examination reveals what statements do
Contradiction means our theory's gone astray
Valid reasoning points us toward the way
Premises are witnesses that testify
Conclusions are the verdicts we can't deny
[Chorus]
Logic is the detective story we tell
AND gathers evidence, builds cases well
OR considers all possibilities in sight
NOT eliminates what cannot be right
IF-THEN follows leads down every trail
IF AND ONLY IF delivers without fail
Every proof's an investigation unfurled
Logic solves the mysteries of the mathematical world
[Bridge]
Connectives are the tools inside our kit
AND builds the case bit by precious bit
OR keeps options open, never shuts the door
NOT throws out what we can ignore
Implications chain like dominoes that fall
Biconditionals settle it once and for all
[Chorus]
Logic is the detective story we tell
AND gathers evidence, builds cases well
OR considers all possibilities in sight
NOT eliminates what cannot be right
IF-THEN follows leads down every trail
IF AND ONLY IF delivers without fail
Every proof's an investigation unfurled
Logic solves the mysteries of the mathematical world
[Outro]
Case closed when the reasoning runs clean
Mathematics reveals what the evidence means
Every theorem's a mystery we decode
Logic is our compass on the proof-finding road