Uma introdução à lógica modal e sua aplicação na análise de proposições necessárias e contingentes. Exploramos o framework de Kripke para semântica de mundos possíveis.