eng

tanıt  nedir?

tanıt 

(Alm. Beweis, m; mathematischer Beweis, m; Fr. démonstration, f; preuve, f; İng. mathematical proof; proof) 

mat. Bir önermenin hipotezlerinden başlayan ve birbirlerine mantıksal olarak bağlı olan ve sonunda önermenin iddiasını doğrulayan önermeler zinciri; eşanlam: matematiksel tanıt, matematiksel ispat.

TUBA Matematik Terimleri Sözlüğü

tanıt

(Lat. probare = sınamak, göstermek, tanıtlamak) : 1. Öne sürülen bir şeyin doğruluğunu göstermede izlenen düşüncel süreç.
2. Tanıtlamada öne sürülen şey tanıtlamanın dayandığı temel. Tanıtlamak: Usavurma yoluyla ya da tanık göstererek bir şeyin doğruluğunu ortaya koymak.

tanıt

1. Bir olayın doğruluğunu ortaya koyabilen yöntem.
2. Yargı yerinde bir savı gerçekleştirmek için baş vurulan belgeler.

tanıt

Bir bilgi ya da savı sınamak üzere başvurulan sözlü ya da yazılı belge.

tanıt

isbât, beyyine.~ yükü: isbât külfeti, beyyine külfeti.