💬 Predicate calculus elements §

Descriptive §

Meta-variables §

• 🔸 Term (Predicate calculus)
  • 👤 Individual variable
  • 🙎 Individual constant
• 👉 Predicate symbol
• ⚛️ Formula
• 💭 Interpretation function
• 👫 Model (predicate calculus)
• ✅ Reference function (predicate calculus)

Logical §

Category	Sign	Comment
Propositional constant	T, ⏊	the truth / false
Junctions	[[📄 Propositional Calculus#junctions	Junctions]]
🔟 Quantifier	∀, ∃	Universal and existential quantifier
Helper signs	( , )	Brackets

Extra rules §

• Quantifiers > Junctions (binding strength)