*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.
angle:
prove
beloruse:
даводзіць, даказваць
ĉeĥe:
dokázat, doložit, prokázat
france:
prouver, démontrer
germane:
beweisen
hispane:
probar, demostrar
hungare:
bizonyít, igazol
nederlande:
bewijzen
pole:
dowodzić
portugale:
provar (demonstrar), demonstrar, fazer fé, fazer prova de
ruse:
доказать, доказывать
slovake:
dokázať, doložiť, preukázať
svede:
bevisa

pruvo Vikipedio

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.
angle:
2. proof
beloruse:
доказ
france:
démonstration (preuve), preuve (démonstration)
germane:
Beweis
hispane:
demostración (prueba), prueba (demostración)
hungare:
bizonyíték, bizonyítás
nederlande:
bewijs
pole:
dowód
portugale:
1. prova (comprovação) 2. demonstração (prova)
ruse:
доказательство
svede:
bevis

pruve  

Adverbo montranta, ke la sekvanta frazo estas la pruvo de la antaŭa. VD:ĉar, nome
france:
à preuve
hispane:
en prueba
nederlande:
want, namelijk

pruvebla

Tia, ke eblas ĝin pruvi: ĝia (de la tezo) forta flanko estas, ke gi nek estas pruvebla, nek perpruve kontestebla [1].
1. Gerrit BERVELING: Historia romano pri JesuoMonato
angle:
provable
ĉeĥe:
dokazatelný, prokazatelný, průkazný
france:
démontrable, prouvable
germane:
beweisbar
hispane:
demostrable, probable
hungare:
bizonyítható
pole:
możliwy do udowodnienia
portugale:
comprovável, demonstrável
ruse:
доказуемый
slovake:
dokázateľný

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
france:
infirmer, réfuter
hispane:
desmentir, refutar, contradecir
portugale:
desmentir, refutar
ruse:
опровергнуть

pruvo de ekzisto MatVort , ekzistopruvo  

MAT Pruvo 2, kiu montras, ke la serĉata objekto ekzistas, kvankam ne nepre ebligas ĝin difini precize.
angle:
proof of existence
france:
démonstration d'existence
germane:
Existenzbeweis
hispane:
prueba de existencia
hungare:
egzisztencia-bizonyítás
pole:
dowód istnienia
portugale:
prova de existência
ruse:
доказательство существования

pruvo per indukto  

angle:
proof by induction
france:
démonstration par récurrence
germane:
Induktionsbeweis
hispane:
demostración por inducción, demostración por recurrencia
hungare:
indukciós bizonyítás
pole:
dowód indukcyjny
portugale:
prova por indução
ruse:
доказательство по индукции

pruvo per redukto al absurdo, pruvo per absurdo  

angle:
proof by reductio ad absurdum
france:
démonstration par l'absurde
germane:
Widerspruchsbeweis
hispane:
demostración por reducción al absurdo
hungare:
közvetett bizonyítás
pole:
dowód nie wprost
portugale:
prova por absurdo
ruse:
доказательство от противного

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.
angle:
proof theory
portugale:
teoria da prova
ruse:
теория доказательств

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]
angle:
quod erat demonstrandum, Q.E.D.
ĉeĥe:
Q.E.D., co bylo třeba dokázat, quod eratdemonstrandum
france:
ce qu'il fallait démontrer, C.Q.F.D.
germane:
quod erat demonstrandum, Q.E.D., was zu beweisen war, w.z.b.w.
hispane:
lo que queda demostrado, Q.E.D. (Queda entonces demostrado), L.Q.Q.D. (Lo que queríamos demostrar)
hungare:
quod erat demonstrandum, q. e. d., bizonyítás vége, amit bizonyítani kellett
latinece:
quod erat demonstrandum, Q.E.D.
pole:
co było do okazania, co było do udowodnienia, cbdo., cbdu.
portugale:
como se queria demonstar (C.Q.D.)
ruse:
что и требовалось доказать, ч.т.д.
slovake:
čo bolo treba dokázať

administraj notoj

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