[Verse 1]
When statements dance in logic's realm
Two propositions take the helm
Conjunction joins them hand in hand
Both must be true to make a stand
The "and" symbol holds them tight
Only darkness kills the light
[Chorus]
Connect the dots with symbols bright
And, or, not - they guide our sight
If-then arrows point the way
Same or different, night and day
Logic flows through every gate
Truth and falsehood seal their fate
[Verse 2]
Disjunction opens wider doors
At least one truth is all it scores
Inclusive "or" invites them in
One or both can help you win
Negation flips the script around
What once was lost is newly found
[Chorus]
Connect the dots with symbols bright
And, or, not - they guide our sight
If-then arrows point the way
Same or different, night and day
Logic flows through every gate
Truth and falsehood seal their fate
[Bridge]
Implication's tricky game
False premise breaks the chain
When antecedent tells a lie
The whole statement soars sky-high
But truth to false will always fall
[Verse 3]
Biconditional demands perfection
Mirror images in reflection
Both sides matching, value-bound
Same truth values must be found
If and only if they align
Logic's symmetry divine
[Chorus]
Connect the dots with symbols bright
And, or, not - they guide our sight
If-then arrows point the way
Same or different, night and day
Logic flows through every gate
Truth and falsehood seal their fate
[Outro]
Five connectives rule the board
Mathematical spoken word
Build your arguments with care
Logic's tools are waiting there