mantıksal kanıtsav anlamı İng. logical theorem Alm. logisches Theorem Fr. théorème logique
Geçerli bir mantıksal dizgede, öncülsüz bir çıkarımın sonucu olarak ya da başka bir deyişle boş kümeden türetilebilen önerme. ||Krş.. öncülsüz çıkarım.