Necessary proposition
Redirect to:
Modal logic#Basic notions