Bir düşüncenin zorunlu olarak bir başka düşünceyi gerektirmesi durumu. Mantık terimidir.
Örneğin anne terimi zorunlun olarak çocuğu, memelilik zorunlu olarak omurgalılığı içerir; çünkü çocuğu olmayan anne ve omurgalı olmayan memeli olmaz.
Örneğin anne terimi zorunlun olarak çocuğu, memelilik zorunlu olarak omurgalılığı içerir; çünkü çocuğu olmayan anne ve omurgalı olmayan memeli olmaz.