tradukoj: be cs de en es fr hu la nl pl pt ru sk sv

*pruv/i PV

*pruvi  

(tr)
1.  
(iu) Montri per rezonado aŭ fakto, ke io estas vera: pruvi la ekziston aŭ neekziston de Dio, sian senkulpeconB ; mi pruvos al vi, ke vi eraras. VD:demonstri, demonstracii
2.  
(io) Esti la pruvo de: tio pruvas la facilan lerneblecon de Esperanto; tiu ekspozicio elokvente pruvas pri la progresoj faritaj; larmoj pravecon ne pruvas PrV ; nigro sur blanko (skribaĵo) pruvas sen manko PrV . VD:argumentadi, dokumenti, ilustri, pledi
3.  
MATPV Plene kaj nepre montri la verecon de matematika propozicio per dedukto: pruvi geometrian teoremon. SIN:demonstri.

pruvo

1.  
Argumento aŭ fakto, per kiu oni povas montri la verecon de io: komparo ne estas pruvo PrV ; suspekto pruvon ne egalas PrV ; martelbataj pruvoj.
2.  
MATMatVort Ago aŭ maniero pruvi3: via pruvo estas tre eleganta. SIN:demonstro;SUB:pruvo per indukto, pruvo per redukto al absurdo, pruvo de ekzisto.

pruve  

Adverbo montranta, ke la sekvanta frazo estas la pruvo de la antaŭa. VD:ĉar, nome

pruvebla

Tia, ke eblas ĝin pruvi: ĝia (de la tezo) forta flanko estas, ke gi nek estas pruvebla, nek perpruve kontestebla [1].

malpruvi  

(tr)
Montri per rezonado aŭ fakto, ke io estas malvera, pruvi la malon de la asertata: li „fuĝas“ ... al la itala vilaĝeto Lavello por pruvi aŭ malpruvi al si la identecon inter la bonkora sed malfortika junulo, kiu "nur obeis ordonojn", kaj la 48-jara bonfaranto [2]. SIN:refuti

pruvo de ekzisto MatVort , ekzistopruvo  

MAT Pruvo 2, kiu montras, ke la serĉata objekto ekzistas, kvankam ne nepre ebligas ĝin difini precize.

pruvo per indukto  

MatVort
MATVD:indukto.

pruvo per redukto al absurdo, pruvo per absurdo  

MatVort
MATVD:redukto al absurdo.

pruvoteorio

MAT Parto de matematika logiko, studanta matematikajn pruvojn kiel formalajn matematikajn objektojn per matematikaj metodoj: kune la modelteorio, la arteorio, la komputebloteorio kaj la pruvoteorio konsistigas „la kvar kolonojn“ de matematiko.

kio estis pruvota (K.E.P.)

[3]
MAT Konvencia esprimo, signanta la finon de demonstro.

Rim.: Mi dirus „kio estis pruvenda“. La formo pruvota probable venas el la epoko kiam la sufikso -end ankoraŭ ne ekzistis; sed nun la senco ĝin trudas. [Sergio Pokrovskij]

tradukoj

anglaj

~i: prove; ~o 2.: proof; ~ebla: provable; ~o de ekzisto , ekzisto~o: proof of existence; ~o per indukto: proof by induction; ~o per redukto al absurdo, ~o per absurdo: proof by reductio ad absurdum; ~oteorio: proof theory; kio estis ~ota: quod erat demonstrandum, Q.E.D..

belorusaj

~i: даводзіць, даказваць; ~o: доказ.

ĉeĥaj

~i: dokázat, doložit, prokázat; ~ebla: dokazatelný, prokazatelný, průkazný; kio estis ~ota: Q.E.D., co bylo třeba dokázat, quod eratdemonstrandum.

francaj

~i: prouver, démontrer; ~o: démonstration, preuve; ~e: à preuve; ~ebla: démontrable, prouvable; mal~i: infirmer, réfuter; ~o de ekzisto , ekzisto~o: démonstration d'existence; ~o per indukto: démonstration par récurrence; ~o per redukto al absurdo, ~o per absurdo: démonstration par l'absurde; kio estis ~ota: ce qu'il fallait démontrer, C.Q.F.D..

germanaj

~i: beweisen; ~o: Beweis; ~ebla: beweisbar; ~o de ekzisto , ekzisto~o: Existenzbeweis; ~o per indukto: Induktionsbeweis; ~o per redukto al absurdo, ~o per absurdo: Widerspruchsbeweis; kio estis ~ota: quod erat demonstrandum, Q.E.D., was zu beweisen war, w.z.b.w..

hispanaj

~i: probar, demostrar; ~o: demostración, prueba; ~e: en prueba; ~ebla: demostrable, probable; mal~i: desmentir, refutar, contradecir; ~o de ekzisto , ekzisto~o: prueba de existencia; ~o per indukto: demostración por inducción, demostración por recurrencia; ~o per redukto al absurdo, ~o per absurdo: demostración por reducción al absurdo; kio estis ~ota: lo que queda demostrado, Q.E.D. (Queda entonces demostrado), L.Q.Q.D. (Lo que queríamos demostrar).

hungaraj

~i: bizonyít, igazol; ~o: bizonyíték, bizonyítás; ~ebla: bizonyítható; ~o de ekzisto , ekzisto~o: egzisztencia-bizonyítás; ~o per indukto: indukciós bizonyítás; ~o per redukto al absurdo, ~o per absurdo: közvetett bizonyítás; kio estis ~ota: quod erat demonstrandum, q. e. d., bizonyítás vége, amit bizonyítani kellett.

latina/sciencaj

kio estis ~ota: quod erat demonstrandum, Q.E.D..

nederlandaj

~i: bewijzen; ~o: bewijs; ~e: want, namelijk.

polaj

~i: dowodzić; ~o: dowód; ~ebla: możliwy do udowodnienia; ~o de ekzisto , ekzisto~o: dowód istnienia; ~o per indukto: dowód indukcyjny; ~o per redukto al absurdo, ~o per absurdo: dowód nie wprost; kio estis ~ota: co było do okazania, co było do udowodnienia, cbdo., cbdu..

portugalaj

~i: provar (demonstrar), demonstrar, fazer fé, fazer prova de.

rusaj

~i: доказать, доказывать; ~o: доказательство; ~ebla: доказуемый; mal~i: опровергнуть; ~o de ekzisto , ekzisto~o: доказательство существования; ~o per indukto: доказательство по индукции; ~o per redukto al absurdo, ~o per absurdo: доказательство от противного; ~oteorio: теория доказательств; kio estis ~ota: что и требовалось доказать, ч.т.д..

slovakaj

~i: dokázať, doložiť, preukázať; ~ebla: dokázateľný; kio estis ~ota: čo bolo treba dokázať.

svedaj

~i: bevisa; ~o: bevis.

fontoj

1. Gerrit BERVELING: Historia romano pri JesuoMonato
2. Don Harlow: Recenzo pri „Sur kampo granita“
3. Raoul Bricard: Matematika Terminaro kaj Krestomatio, p. 49

~i: Mankas verkindiko en fonto.
~e: Mankas dua fontindiko.
~e: Mankas fonto, kiu estas nek vortaro nek terminaro.
~o de ekzisto , ekzisto~o: Mankas fonto, kiu estas nek vortaro nek terminaro.
~o per indukto: Mankas fonto, kiu estas nek vortaro nek terminaro.
~o per redukto al absurdo, ~o per absurdo: Mankas fonto, kiu estas nek vortaro nek terminaro.
~oteorio: Mankas dua fontindiko.
~oteorio: Mankas fonto, kiu estas nek vortaro nek terminaro.
kio estis ~ota: Mankas fonto, kiu estas nek vortaro nek terminaro.


ℛevo | datumprotekto | pruv.xml | redakti... | traduki... | artikolversio: 1.29 2018/11/19 16:10:13