Modalverben nuancieren die Bedeutung. Um logische Unmöglichkeit auszudrücken — 'He ___ be at home; his car is gone' — was passt?

"Can't" ist hier korrekt, weil es logische Unmöglichkeit oder eine Schlussfolgerung aus Beweisen ausdrückt – das fehlende Auto ist der Beweis, dass er nicht zu Hause sein kann, auch wenn niemand ihn direkt hat weggehen sehen. Englische Modalverben wie "can't", "must" und "might" erlauben es Sprechern, genau zu signalisieren, wie sicher sie sich einer Schlussfolgerung sind, statt nur Regeln oder Erlaubnisse zu beschreiben.

"Mustn't" drückt ein Verbot aus, also dass etwas untersagt ist, was nicht zu einer Schlussfolgerung über den Aufenthaltsort einer Person passt. "Shouldn't" drückt Ratschlag oder Erwartung darüber aus, was geschehen sollte, was ebenfalls nicht zu der logischen, beweisbasierten Argumentation des Satzes passt.

Dasselbe Modalsystem erlaubt es Sprechern, mit fast identischer Grammatik zwischen "he must be home" (starke Schlussfolgerung, dass er es ist) und "he can't be home" (starke Schlussfolgerung, dass er es nicht ist) zu unterscheiden – eine Feinheit, die Muttersprachler instinktiv beherrschen, die aber für Lernende echtes Studium erfordert.