💬 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|📄 Propositional Calculus#Junctions]]	Same as in propositional calculus
🔟 Quantifier	∀, ∃	Universal and existential quantifier
Helper signs	( , )	Brackets

Extra rules

• Quantifiers > Junctions (binding strength)