eng

mantıksal kanıtsav ne demek?

mantıksal kanıtsav

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.

TDK Mantık Terimleri Sözlüğü

TDK Mantık Terimleri Sözlüğü İçerisinde Arama