mantıksal kanıtsav
mantıksal kanıtsav İng. logical theorem
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.
mantıksal kanıtsav için benzer kelimeler
mantıksal kanıtsav, 18 karakter ile yazılır. Ayrıca,
m harfi ile başlar, v harfi ile biter. Tüm karakter dağılımı ise,
'm', 'a', 'n', 't', 'ı', 'k', 's', 'a', 'l', ' ', 'k', 'a', 'n', 'ı', 't', 's', 'a', 'v', şeklindedir.
mantıksal kanıtsav kelimesinin tersten yazılışı vastınak laskıtnam diziliminde gösterilir.