👉 Predicate symbol §

= an ❌ Incomplete symbol of 💬 Predicate calculus elements used to describe properties or relations

Properties §

• n-digit, depending on the number of terms, it references
  • 1 digit -> describes a 🟢 Property
  • 2(+) digit -> describes a 💑 Relation

Usage §

• takes terms as arguments
• -> forms a formula that can produce a truthful formula

Notation §

• Tall letter from the middle of the Latin alphabet
  • e.g., “P”, “F”, “G”, “H”