logical consequence

Türkçe: mantıksal sonuç

Açıklama: Mantıksal sonuç; önermelerden zorunlu olarak çıkan sonuç