Press the right key for the next slide (or swipe left)

also ...

Press the left key to go backwards (or swipe right)

Press n to toggle whether notes are shown (no equivalent if you don't have a keyboard)

Press m or double tap to see a menu of slides


The Syntax of awFOL

What do the brackets mean?

We define what counts as a sentence of awFOL using rules. E.g.:
1. If * and \# are sentences, then so is(* ∧ \#)
2. If * and \# are sentences, then so is (* ∨ \#)
3. P, Q, R, … are sentences
4. If * is a sentence, then ¬* is a sentence
a. P is a sentence // rule 3
b. ¬P is a sentence // rule 4, a
c. ( ¬P ∧ Q ) is a sentence // rule 1, b, a
There is no structural ambiguity in awFOL because these rules are formulated to ensure that for any awFOL sentence, there is exactly one way of constructing it.