@jesszaffino

### Live Listing My Philosophy Lecture (Logic)

nonsensical list about expanding the syntax of propositional logic
1. â€¢
Why are the little fuckers behind me talking? Why come to the actual lecture?!
2. â€¢
Ok, focusing.
3. â€¢
I can't work out if Sam (my lecturer) is hot. He's got a hot vibe. Ok.. focus.
4. â€¢
Ooh, we're dialing up the expressive power of propositional logic today. Right. I'm still trying to understand it in its non-dialed up form!
5. â€¢
Wait, slow down Sam, I can't find the symbol on my keyboard for the universal quantifier
6. â€¢
I love how enthusiastic Sam is about this language.. I'm simply entertained by the theatre of it all.
7. â€¢
Wait, another quantifier? Backward E? I don't have that symbol either. Crap.
ðŸ˜© I'm having an existential quantifier crisis! Ok, lame PL joke. Forgive me!
8. â€¢
Those little fuckers are still talking. This is hard enough to focus on.
9. â€¢
"And it's cool, because it's still a well formed formula" .. It is? It's so cool, Sam.
10. â€¢
Wait, so \-/x(Px Î› Ax) is still a well formed formula? Sweet.
11. â€¢
"This x binds to that, these two bind to that and these two x's don't matter". Wait, what?
12. â€¢
I think I'm going to need to watch this lecture back.
13. â€¢
He did say that things are about to get a lot more difficult. He wasn't exaggerating.
14. â€¢
Bound and unbound variables, up next!
15. â€¢
A free variable is when it is not bound into the scope of any quantifier.. Ok, I think that makes sense to me.
16. â€¢
Why do you insist on this making sense?! Have you not learned anything this semester, Jess?
17. â€¢
"Correct. The variable binds to the quantifier preceding it. Right to left" ..great, got it.
18. â€¢
Next week we're covering semantics!
19. â€¢
...and those little fuckers are still fucking talking.