-아/어야 하다
must, have to — written and formal Korean
The same obligation as -아/어야 되다, but this is the form that dominates writing, notices and formal speech.
Build it
Pick a verb
When to use it
The vowel follows the -아요/어요 rule with the usual merges: 가야 돼요, 먹어야 돼요, 해야 돼요. It works with adjectives too: 건강해야 해요.
Korean does not distinguish “must” from “have to” the way English does; one form covers both external rules and personal necessity. For the past, the tense goes on 되다: 어제 일찍 가야 했어요.
The hard part is the negative. English “must not” and “don’t have to” look like a pair, but Korean builds them from different constructions entirely: prohibition is -(으)면 안 되다, and absence of obligation is 안 -아/어도 되다. Negating this ending directly does not produce either.
How to attach it
| Stem type | Form | Example |
|---|---|---|
| Last vowel ㅏ or ㅗ | -아야 하다 | 가다 → 가야 합니다 |
| Any other vowel | -어야 하다 | 읽다 → 읽어야 합니다 |
| 하다 verbs | 해야 하다 | 제출해야 합니다 |
| Spoken | use -아/어야 되다 | 가야 돼요 |
| Past | tense on 하다 | 가야 했습니다 |
| Polite 해요 style | -아/어야 해요 | 서둘러야 해요 |
In use
서류를 오늘까지 제출해야 합니다.
You must submit the documents by today.
규정을 지켜야 합니다.
You must follow the rules.
다시 확인해야 해요.
We have to check it again.
예약을 먼저 해야 합니다.
You have to make a reservation first.
안전모를 꼭 써야 합니다.
You must wear a helmet.
모두 참석해야 합니다.
Everyone has to attend.
Compared with
-아/어야 되다
The same meaning. 되다 is what you hear in everyday speech; 하다 is what you read in notices, manuals and reports.
가야 돼요. (spoken) / 가야 합니다. (written)
-(으)면 안 되다
The opposite side: prohibition rather than obligation.
제출해야 합니다. (must do) / 제출하면 안 됩니다. (must not)
-아/어도 되다
Permission, and its negative means the obligation is lifted.
안 가도 됩니다. (you need not go)
Watch out
가야 해요?
가야 합니다.
In writing keep the 합니다 style. 해요 mixes registers in a formal notice.
가지 않아야 합니다.
가면 안 됩니다.
Prohibition uses -(으)면 안 되다, not a negative stem plus 하다.
해야 하요.
해야 해요.
하다 conjugates to 해요, never 하요.
Next
koreangrammarmap.com