Keperluan, dalam logik dan metafizik, sifat modal dari proposisi benar di mana tidak mungkin proposisi itu palsu dan proposisi yang salah di mana tidak mungkin proposisi itu benar. Proposisi secara logik perlu jika ia menerapkan hukum logik atau dapat dibuat untuk mewujudkan hukum logik melalui penggantian istilah yang setara. Contohnya adalah "Hujan sekarang atau sekarang tidak hujan" dan "Semua wanita adalah manusia" (dengan anggapan "wanita" dapat diganti dengan "manusia perempuan"). Proposisi yang diperlukan kadang-kadang dikatakan benar atau salah (seperti yang berlaku) di semua kemungkinan dunia. Oleh itu, proposisi yang benar atau salah adalah yang benar di beberapa dunia yang mungkin dan yang salah di dunia lain (misalnya, "Perancis adalah demokrasi"). Menurut pandangan tradisional, semua proposisi yang benar diperlukan adalah analitik (tautologous) dan dapat diketahui apriori (dapat diketahui secara bebas dari pengalaman). Sebilangan ahli falsafah mengenali kategori kedua "metafizik" cadangan yang diperlukan yang tidak analitik dan umumnya bukan apriori; contohnya merangkumi pernyataan identiti seperti “Air is H2 O."
epistemologi: Proposisi yang diperlukan dan luar jangka
"Suatu pendapat dikatakan perlu jika berlaku (benar) dalam semua keadaan atau keadaan yang mungkin logik. "Semua suami
