Check your browser

---

Before you begin, p check that your browser can display the logic symbols used in this module. These are the symbols:

≡ ∨ ↔ → ∃ ∀ ψ φ α β ⊧

They should look like the ones in this picture:

If not, try a more advanced browser, such as Chrome.

---