Mantıksal Gereklilik

Bir dizi öncül veya başlangıç koşulu üzerinde bir biçimsel mantık sisteminin işlemlerinden çıkan zorunlu olarak geçerli bir sonuç.