Necessary proposition

Redirect to:

• Modal logic#Basic notions