The three categories answer: In what respect is the judgment made?
External: “This book is open” — an externally existing book and its condition.
Mental: “Human is universal” — the universal concept in the intellect.
Real: “Four is even” — a property rooted in numerical reality.
A common error is to interpret “real” merely as “true.” Ḥaqīqiyyah is a technical classification, not another name for every true proposition. External and mental propositions can also be true.