👉 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”