Then (presuming there's still time) I'll present my "big
example", from Lewis Carroll:
- Babies are illogical.
- Illogical persons are despised.
- Nobody is despised who can manage a crocodile.
What can we conclude? First of all, from The Once and Future King: all
that is not expressly forbidden is mandatory.
Solution:
- Logic: In particular, can babies manage crocodiles?
- A Truth Table (of logically consistent possibilities)
- Using Venn Diagrams to illustrate possibilities
- Carroll's "Logic Game" method (which is essentially the Karnaugh map)
- Simplification
- An expression tree and a logic network