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

*pruv/i PV

*pruviTEZ

(tr)
1.TEZ
(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.TEZ
(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.TEZ
MATPV Plene kaj nepre montri la verecon de matematika propozicio per dedukto: pruvi geometrian teoremon. SIN:demonstri.

pruvo Vikipedio

1.TEZ
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.TEZ
MATMatVort Ago aŭ maniero pruvi 3: via pruvo estas tre eleganta. SIN:demonstro;SUB:pruvo per indukto, pruvo per redukto al absurdo, pruvo de ekzisto.

pruveTEZ

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].

malpruviTEZ

(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, ekzistopruvoTEZ

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

pruvo per induktoTEZ

MatVort
MATVD:indukto.

pruvo per redukto al absurdo, pruvo per absurdoTEZ

MatVort
MATVD:redukto al absurdo.

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 , : proof of existence; ~o per indukto: proof by induction; ~o per redukto al absurdo, : proof by reductio ad absurdum; 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 , : démonstration d'existence; ~o per indukto: démonstration par récurrence; ~o per redukto al 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 , : Existenzbeweis; ~o per indukto: Induktionsbeweis; ~o per redukto al absurdo, : Widerspruchsbeweis; kio estis ~ota: quod erat demonstrandum, Q.E.D., was zu beweisen war, w.z.b.w..

hungaraj

~i: bizonyít, igazol; ~o: bizonyíték, bizonyítás; ~ebla: bizonyítható; ~o de ekzisto , : egzisztencia-bizonyítás; ~o per indukto: indukciós bizonyítás; ~o per redukto al 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 , : dowód istnienia; ~o per indukto: dowód indukcyjny; ~o per redukto al 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 , : доказательство существования; ~o per indukto: доказательство по индукции; ~o per redukto al absurdo, : доказательство от противного; 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 , : Mankas fonto, kiu estas nek vortaro nek terminaro.
~o per indukto: Mankas fonto, kiu estas nek vortaro nek terminaro.
~o per redukto al absurdo, : Mankas fonto, kiu estas nek vortaro nek terminaro.
kio estis ~ota: Mankas fonto, kiu estas nek vortaro nek terminaro.


[^Revo] [pruv.xml] [redakti...] [traduki...] [artikolversio: 1.27 2015/07/04 08:37:42 ]