Strong logical deduction (tener que)

Strong Deductions with "tener que"

You likely know that tener que + infinitive expresses obligation. Just like in English, it can also express a strong logical deduction or certainty.

When you piece together clues and realize a conclusion is the only logical possibility, use tener que to say that something "has to" or "must" be true.

The treasure has to be in this dusty attic.
El tesoro tiene que estar en este desván polvoriento.
That old trunk has to belong to our great-grandfather.
Ese baúl antiguo tiene que pertenecer a nuestro bisabuelo.
The gold locket has to be over there.
El relicario de oro tiene que estar allí.

You can use this structure with any infinitive to state what must be true based on the evidence around you.

The key has to be behind this tapestry.
La llave tiene que estar detrás de este tapiz.
That old album has to be valuable.
Ese álbum antiguo tiene que ser valioso.
The porcelain has to be in the trunk with the tapestry.
La porcelana tiene que estar en el baúl con el tapiz.