| dbo:description
|
- סדרת טענות הנובעות זו מזו ומגובות בהגדרות ואקסיומות (iw)
- Maingat at metodolohikal na pagpapakita ng katotohanan ng isang matematikal na pahayag (tl)
- rigora montro, ke io estas logika konsekvenco de la donitaj aksiomoj kaj hipotezoj (eo)
- מאטעמאטישער באוויר פון אן ארויסזאג (ji)
- dadl gyfeiriol ar ddatganiad mathemategol (cy)
- ek mathematics ke statement ke sachchaai ke test (hif)
- formeel sluitend betoog in de wiskunde (nl)
- inferential argument for a mathematical statement (sco)
- logische Begründung einer mathematischen Aussage (de)
- matematická demonstrace pravdivosti tvrzení (cs)
- processo di deduzione (it)
- raonament realitzat amb una lògica vàlida (ca)
- razonamiento realizado con una lógica válida (es)
- wykazanie prawdziwości zdania (pl)
- razoamento convincente dentro dos estándares vixentes conducente a que algunha proposición é necesariamente certa (gl)
- տրամաբանական մտահանգումների շղթա, որ ցույց է տալիս որոշակի պնդում ճիշտ է, աքսիոմաների որոշակի հավաքածուի դեպքում։ (hy)
- 命題の真偽を定理・定義を元に示すこと (ja)
- rigorous demonstration that a mathematical statement follows from its premises (en)
- استدلالی متقاعدکننده است که نشان میدهد یک گزارهٔ ریاضی (با توجه به استانداردهای مربوط)، الزاماً صحیح است (fa)
- процедура, за допомогою якої встановлюють істинність гіпотези чи будь-якого твердження (uk)
- цепочка логических умозаключений, показывающая, что при каком-то наборе аксиом и правил вывода верно некоторое утверждение (ru)
- demonstrasi cermat untuk menguji logika pada pernyataan matematika (in)
- الاستدلال على صحة عبارة رياضية بناء على عبارة أخرى تعتبر من المسلمات (ar)
- Raciocínio lógico para validar afirmações teóricas (pt)
- 수학적 진술에 대한 추론 (ko)
- ilgilenilen bir önermenin, belirli aksiyomlar esas alınarak, doğru olduğunu gösterme yöntemi (tr)
- Établissement d'une proposition mathématique à partir d'axiomes et de règles de déduction (fr)
|
