tanıt
-
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İngilizce mathematical proof; proofFransızca preuve, f; preuve mathématique, fAlmanca Beweis, m; mathematischer Beweis, m
-
İleri sürülen bir şeyin doğruluğunu göstermede izlenen süreç.
Eşanlam: ispatİngilizce proofFransızca preuve, fAlmanca Beweis, m