-
1 prove
pru:v1) (to show to be true or correct: This fact proves his guilt; He was proved guilty; Can you prove your theory?) probar2) (to turn out, or be found, to be: His suspicions proved (to be) correct; This tool proved very useful.) resultar•- provenprove vb demostrar / probarcan you prove that Dan stole the money? ¿puedes demostrar que Dan robó el dinero?tr[prʊːv]1 (show to be true) probar, demostrar2 (turn out to be) demostrar1 (turn out) resultar\SMALLIDIOMATIC EXPRESSION/SMALLto prove oneself dar pruebas de valor, demostrar su valíato prove somebody right dar a alguien la razón, demostrar que alguien tiene razón1) test: probar2) demonstrate: probar, demostrarprove vi: resultarit proved effective: resultó efectivov.• argüir v.• comprobar v.• contestar v.• demostrar v.• estatuir v.• evidenciar v.• probar v.• resultar v.• verificar v.pruːv
1.
1) (verify, demonstrate) \<\<theory/statement\>\> probar*; \<\<theorem/innocence\>\> probar*, demostrar*; \<\<loyalty/courage\>\> demostrar*can you prove where you were that night? — ¿tiene pruebas de dónde estaba usted aquella noche?
to prove somebody right/wrong — demostrar* que alguien tiene razón or está en lo cierto/está equivocado
2)a) ( test) \<\<weapon/system\>\> probar*b) ( Law) \<\<will\>\> comprobar*, verificar*
2.
v reflto prove oneself: he was given three months to prove himself — le dieron tres meses para que demostrara su valía
3.
vi1) ( turn out) resultar2) ( Culin) \<\<dough\>\> levar, leudar[pruːv] (pt proved) (pp proved or proven)1. VT1) (=give proof of) [+ theory, statement] demostrar, probar; (one's love, loyalty, strength) demostrarmy son was murdered, and I'm going to prove it — a mi hijo lo asesinaron, y voy a demostrarlo or probarlo
can you prove it? — ¿lo puede demostrar or probar?
statistics never prove anything — las estadísticas nunca prueban or demuestran nada
you say you love me, so prove it — dices que me quieres, pues demuéstralo or pruébalo
•
you can't prove anything against me — usted no tiene ninguna prueba en mi contra, usted no puede demostrar or probar nada en mi contra•
it just proves how stupid he is — simplemente demuestra or prueba lo tonto que esshe took him to court just to prove a point — lo llevó a los tribunales simplemente para demostrar or probar que estaba en lo cierto or que ella tenía razón
•
it's been scientifically proven or proved — se ha probado or demostrado científicamente, ha sido probado or demostrado científicamente•
to prove that — demostrar que, probar quethat proves that she did it — eso demuestra or prueba que ella lo hizo
•
she wants to prove to herself that she can still hold down a job — quiere demostrarse a sí misma que todavía puede mantener un trabajo•
what are you trying to prove? — ¿qué intentas demostrar or probar?•
it's difficult to prove what's going on — es difícil demostrar or probar lo que está pasando•
whether he was right remains to be proved — aún falta por demostrar or probar si tenía razóneveryone said that we would fail but we proved them wrong — todo el mundo decía que fracasaríamos, pero demostramos que estaban equivocados
she attempted to prove their theory wrong — intentó encontrar pruebas que demostraran que su teoría estaba equivocada
2) (=verify) comprobaryou can prove how effective this method is by trying it out yourself — puede comprobar la eficacia de este método probándolo usted mismo
3)• to prove o.s. — demostrar lo que uno vale
4) (=test out) poner a prueba, someter a prueba5) (Jur)2. VI1) (=turn out) resultarthe temptation proved too much for her — la tentación resultó demasiado grande para ella, no pudo resistir la tentación
2) (Culin) [dough] leudarse* * *[pruːv]
1.
1) (verify, demonstrate) \<\<theory/statement\>\> probar*; \<\<theorem/innocence\>\> probar*, demostrar*; \<\<loyalty/courage\>\> demostrar*can you prove where you were that night? — ¿tiene pruebas de dónde estaba usted aquella noche?
to prove somebody right/wrong — demostrar* que alguien tiene razón or está en lo cierto/está equivocado
2)a) ( test) \<\<weapon/system\>\> probar*b) ( Law) \<\<will\>\> comprobar*, verificar*
2.
v reflto prove oneself: he was given three months to prove himself — le dieron tres meses para que demostrara su valía
3.
vi1) ( turn out) resultar2) ( Culin) \<\<dough\>\> levar, leudar
См. также в других словарях:
Theorem Proving System — The Theorem Proving System (TPS) is an automated theorem proving system for first order and higher order logic. TPS has been developed at Carnegie Mellon University. An educational version of it is known as ETPS (Educational Theorem Proving… … Wikipedia
Theorem Proving in Higher-Order Logics — (TPHOLs) is an annual international academic conference on the topic of automated reasoning in higher order logics. The first TPHOLs was held in Cambridge, UK in 1987, but in the early years was an informal gathering of researchers interested in… … Wikipedia
Automated theorem proving — (ATP) or automated deduction, currently the most well developed subfield of automated reasoning (AR), is the proving of mathematical theorems by a computer program. Decidability of the problem Depending on the underlying logic, the problem of… … Wikipedia
Interactive theorem proving — is the field of computer science and mathematical logic concerned with tools to develop formal proofs by man machine collaboration. This involves some sort of proof assistant: an interactive proof editor, or other interface, with which a human… … Wikipedia
Paradox (theorem prover) — Paradox is an automated theorem proving system developed by Koen Lindström Claessen and Niklas Sörensson at the Chalmers University of Technology. The software is written in the Haskell programming language and is released under the terms of the… … Wikipedia
HOL theorem prover family — HOL (Higher Order Logic) denotes a family of interactive theorem proving systems sharingsimilar logics and implementation strategies. Systems in this family follow the LCF approach as they are implemented as a library in some programming language … Wikipedia
Voting system — For other uses, see Voting system (disambiguation). Part of the Politics series Electoral methods … Wikipedia
Computer algebra system — A computer algebra system (CAS) is a software program that facilitates symbolic mathematics. The core functionality of a CAS is manipulation of mathematical expressions in symbolic form. Contents 1 Symbolic manipulations 2 Additional capabilities … Wikipedia
Isabelle (theorem prover) — Infobox Software name = Isabelle caption = collapsible = author = developer = released = latest release version = latest release date = latest maintenance version = latest maintenance date = latest preview version = latest preview date =… … Wikipedia
Mizar system — For the star system, see Mizar (star). The Mizar system consists of a language for writing strictly formalized mathematical definitions and proofs, a computer program which is able to check proofs written in this language, and a library of… … Wikipedia
Semi-Thue system — In computer science and mathematics a Semi Thue system (also called a string rewriting system [Book and Otto, p. 36] ) is a type of term rewriting system. It is named after the Norwegian mathematician Axel Thue, who introduced systematic… … Wikipedia