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

 

Don't use ∃ with →

\begin{minipage}{\columnwidth}
Is true ∃x(Square(x) → Broken(x)) in this world?
\end{minipage}
∃x(Square(x) → Broken(x))
\hspace{3mm} ⫤⊨
∃x(¬Square(x) ∨ Broken(x))
\hspace{3mm} ⫤⊨
∃x(¬Square(x)) ∨ ∃x(Broken(x))

1.

∀x(Square(x) ∧ Broken(x))

2.

∀x(Square(x) → Broken(x))

⫤⊨
3.
∀x(¬Square(x) ∨ Broken(x))

4.
∃x(Square(x) ∧ Broken(x))

5.
∃x(Square(x) → Broken(x))

⫤⊨
6.
∃x(¬Square(x) ∨ Broken(x))

⫤⊨
7.
∃x(¬Square(x)) ∨ ∃x(Broken(x))

nb
∀x(¬Square(x) ∨ Broken(x)) ⊭ ∀x(¬Square(x)) ∨ ∀x(Broken(x))

1. is false

2. is true

4. is false

5. is ???

#
9.10
9.15--9.17
*9.18--9
9.10