0th-order logic

Conventions of 0th-order logic in these notes

In these notes, we will use the following symbols for the propositional calculus. Note some of these might not exist, depending on the logic used.

Connective	Symbol
𝑝 and 𝑞	𝑝 ∧𝑞
𝑝 or 𝑞	𝑝 ∨𝑞
not 𝑝	¬𝑝
𝑝 implies 𝑞	𝑝 ⇒𝑞
𝑝 iff 𝑞	𝑝 ⇔𝑞
tautology	⊤
falsum	⊥

We use square brackets [ −] as delimiters of propositions.

---

tidy | en | SemBr