This class sounds COOL. It might disappoint, of course, but it's definitely one of the classes where Bella's glad she's not from such a big enclave that she can't justify doing her own homework. Probably big enclavers can keep some of their homework? They have to learn some things, right? Anyway, this class sounds great. It's a little room, small enough that she feels okay about getting started on checks herself while she doesn't know who's going to be in it to wait for or not.
Franklin is in four different math classes and that's awesome. Mathematical Models for Artificing is going to be hard to be better than, but this class might succeed. Also he has terrarium sketches for Bella. He sits next to her and then has a long moment of indecision about whether it would be politer to offer to show her the terrarium sketches now or wait until lunch. Maybe he can just say hello and see how okay she seems with being interrupted. "Hello."
1. Basics of Propositional Logic
2. Truth Tables
3. Basics of Predicate Logic
4. Rules of Inference
5. Proof Structure
6. Spell Logic
7. Spell Illogic - Cautions and Warnings
8. Case Studies
i. Appendix - Computational Logic
ii. Appendix - Formal Semantics in Natural Language
iii. Appendix - Modal Logic
iv. Further Reading
v. Index
Their classwork for the day is to read through chapter 1 and their homework is to do the odd-numbered problems at the end of the chapter.
Well, nothing starts with the good stuff, let's see what 'Propositional Logic' is.
"So, we're... defining a vague generalization and stripping the statements out of the statements, to look at fuzzy generalities... I guess that's how math usually works. And the fuzziness usually has a point to it. Eventually."
All of chapter one appears to be stuff that humans know just from existing in a world, or possibly evolved to be born knowing, but it's nice to see it formalized. He can probably finish the homework during class unless there are quite a lot of odd-numbered problems. Also he should check what subset of the answers are in the back of the book.
Franklin does a similar strategy. When he gets a problem he's not sure about he makes a note of his best guess, then reads the book until he knows whether he was right or wrong and why, then keeps going with the assignment. His handwriting resembles a monospace typewriter font.
Theun does a lot of scribbling on the paper to mark 'or's and 'and's next to the symbols, and a moderate amount of muttering to himself, mostly to substitute specific statements checking that the answers make sense when they're complicated. This reduces as he goes along and gets used to the patterns.
They have a boring adventure getting non-toxic food and then he can lay out the sketches! He has a clever design for a block of four bins, arranged in a square and sharing inner walls, each with its own double-layered lid on three sides of rails such that the agglos would have to tear off two rails to access the upper lid and then tear off two more to get out. "The main risk I see is that when they get the first set of rails off the inner lid it will fall down into the tank and land on them. I could try connecting the centers of each pair of lids with a chain or something if you're worried about them getting injured."