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.

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

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

#state/tidy | #lang/en | #SemBr