mantıksal içerme ne demek?

içerme

1. İçermek işi, tazammun, ihtiva.
2. Mantıksal bağıntı olarak, bir şeyin başka bir şeyi kendi kapsamı içine alması. // Bu anlamda: a. Bir bilgi konusu kendisinden zorunlu olarak çıkan bir başka bilgi konusunu içerir. (Ör. Yerçekimi yasası, cisimlerin düşüşünü içerir.) b. Kapsamı daha geniş olan kavram, kapsamı içine giren bütün kavramları içerir. (Ör. Cins kavramları tür kavramlarını, tür kavramları birey kavramlarını içerir.)
3. Implication.
4. Implication
5. Implicatio

mantıksal ilişki

1. Logical relation.

mantıksal ilksav

1. Geçerli bir mantıksal dizgede mantıksal, ilkel, öncülsüz bir çıkarım kuralının örneği olan sözedilen dil önermesi. || Krş.. çıkarım kuralı örneği,öncülsüz çıkarım kuralı.
2. Logical axiom.
3. Axiom logique