Soundness says that if
Σ deduces φ, then
it satisfies φ.
Completeness says that
if Σ satisfies φ,
it deduces φ.
This haiku
satisfies
⊥
Coding was the best!
Not so sure about the rest...
All that's left's the test.
Solving logic probs
Getting lost along the way
Professor need HELP!
Sophisms, oddity,
You are already named by
You have been sold out
Sheep are counting me
Compactness is cumbersome
Scottish law system
I get so upset:
Can I write the number "one"?
I am still unsure.
When you're working with
inconsistent axioms,
deduce anything.
I like decoding
numbers because it's easy,
unlike all the rest.
Entscheidungsproblem:
Computers are not as smart
as humans in all.
Polish notation
is like Brussel sprouts; no one
except me likes it.
And the following cycle, the first two in fraktur, the last in blackboard bold:
In this logic class
We made friends with ⊥ and cat
And x=x
Very curious
Many of our questions were
Some were whimsical
WHAT IS WITH FRAKTUR?
CAN YOU READ THE LAST HAIKUS?
BET NOT. PRO BLACK BOARD!