Gereklilik; mantık ve metafizikte, önermenin yanlış ve teklifin doğru olmasının mümkün olmadığı yanlış bir önermenin mümkün olmadığı gerçek bir önermenin modal özelliği. Eğer bir mantık yasasını harekete geçirirse veya tanımsal olarak eşdeğer terimlerin yerine konmasıyla bir mantık yasasını somutlaştırmak için yapılabilirse, bir önerme mantıksal olarak gereklidir. Örnekler: “Şimdi yağmur yağıyor ya da yağmur yağıyor” ve “Tüm kadınlar insandır” (“kadınların” “kadın insanlarla değiştirilebileceğini varsayarsak”). Gerekli önermelerin bazen olası tüm dünyalarda doğru veya yanlış olduğu söylenebilir. Şarta bağlı olarak doğru veya yanlış bir önerme, bazı olası dünyalarda doğru olan ve diğerlerinde yanlış olan (örneğin, “Fransa bir demokrasidir”). Geleneksel bir görüşe göre, tüm gerekli olan gerekli önermeler analitik ve bilinebilir bir aprioridir (deneyimden bağımsız olarak bilinir). Bazı filozoflar, analitik olmayan ve genellikle bir öncül olmayan, ikinci bir “metafiziksel” zorunlu önerme kategorisini tanır; örnekler, “Su H20’dur” gibi kimlik ifadelerini içerir.