Tradução de "sobre a prova" para o idioma inglês:
Dicionário Português-Inglês
Exemplos (Fontes externas, não revisadas)
| T prova 1. isto é, T prova que se T prova P , então T prova ProvA( ( P )). | T proves 1. that is, T proves that if T proves P , then T proves ProvA( ( P )). |
| Em outras palavras, T prova que ProvA( ( P )) implica em ProvA( (ProvA( ( P )))). | In other words, T proves that ProvA( ( P )) implies ProvA( (ProvA( (P)))). |
| E não há um caminho e nenhuma prova sobre sua chegada. | And there is no way, and no proof of arrival. |
| Em outras palavras, T prova que ProvA( ( P Q )) e ProvA( ( P )) implica em ProvA( ( Q )). | In other words, T proves that ProvA( ( P Q )) and ProvA( ( P )) imply ProvA( ( Q )). |
| T prova que se T prova que ( P Q ) e T prova P então T prova Q . | T proves that if T proves that ( P Q ) and T proves P then T proves Q . |
| Porque a verdadeira ciência é inteiramente sobre avaliar criticamente a prova para o posicionamento de outra pessoa. | Because real science is all about critically appraising the evidence for somebody else's position. |
| Como foi a prova? | How did the exam go? |
| A prova é trivial. | The proof is trivial. |
| A prova é irrefutável. | The proof is irrefutable. |
| Quando é a prova? | When is the test? |
| A prova pareceu fácil. | The tryouts appeared easy. |
| A prova foi fácil. | The exam was easy. |
| Isso conclui a prova. | This concludes the proof. |
| Você prova um, você prova o outro. | You prove one, you prove the other. |
| Prova de Fourier é o mesmo que o normalmente dado em livros sobre a teoria das equações. | Fourier's proof is the same as that usually given in textbooks on the theory of equations. |
| É a prova d água. | It's waterproof. |
| Eu sou a prova viva | And I'm living proof. |
| Como foi a sua prova? | How was your test? |
| Eu achei a prova difícil. | I found the test difficult. |
| A prova é às 16h00. | The test is at 4 p.m. |
| Relaxe e faça a prova. | Relax and take the test. |
| A prova era muito difícil. | The test was very difficult. |
| Logo, obtemos formula_59que completa a prova. | Therefore, we obtain formula_62which completes the proof. |
| A diferença é que ao invés de construir uma nova prova, o verificador de prova simplesmente checa se a prova formal fornecida (ou em instruções que podem ser seguidas para criar a prova formal) é correta. | The difference is that instead of constructing a new proof, the proof verifier simply checks that a provided formal proof (or, in instructions that can be followed to create a formal proof) is correct. |
| A prova foi vantajosa a ele. | The evidence was in his favor. |
| A que horas começa a prova? | When does the exam start? |
| A que horas começa a prova? | What time does the exam start? |
| Nos casos em que a inversão do ónus da prova não for aplicável, a República Portuguesa continua a fazer incidir o ónus da prova da violação do direito de patente sobre o titular da patente. | In cases where shifting the burden of proof does not apply, the Portuguese Republic shall continue to require the patent holder to adduce proof of infringement. |
| Fazendo ( P ) representar o número de Gödel da fórmula P , a condição de derivabilidade diz Se T prova P , então T prova ProvA( ( P )). | Letting ( P ) represent the Gödel number of a formula P , the derivability conditions say If T proves P , then T proves ProvA( ( P )). |
| Esta prova de consistência deve preferencialmente usar somente o raciocínio finitista sobre objetos matemáticos finitos. | This consistency proof should preferably use only finitistic reasoning about finite mathematical objects. |
| Prova Suave | Soft Proofing |
| O que é a prova suave? | What is soft proofing? |
| Isenção de prova alimenta a polêmica | Bootlegging doctors? |
| A imagem foi apresentada com prova. | The photo was presented as proof. |
| Como foi a prova de matemática? | How was the math test? |
| Esse fato prova a sua inocência. | That fact proves his innocence. |
| Este fato prova a inocência dela. | This fact proves her innocence. |
| Como foi a prova de hoje? | How was today's test? |
| A senhora não tem nenhuma prova. | You have no proof. |
| Tom entregou a prova em branco. | Tom handed in a blank test. |
| Tom estudou muito para a prova. | Tom studied hard for the test. |
| A prova de química foi fácil. | The chemistry exam was a doddle. |
| Prova Seja A um RE infinito. | Proof Let A be infinite RE. |
| Então a teoria em mãos, que se supõe provar certos fatos sobre números, também prova fatos sobre suas próprias afirmações, visto que é efetivamente gerada. | Then the theory at hand, which is assumed to prove certain facts about numbers, also proves facts about its own statements, provided that it is effectively generated. |
| A prova se chama Gaokao. E 80 milhões de estudantes Chineses já fizeram esta prova torturante. | It's called the Gaokao, and 80 million high school Chinese students have already taken this grueling test. |
Pesquisas relacionadas : Direito A Prova - Estabelecer A Prova - Pedir A Prova - -se A Prova - Após A Prova - Entregar A Prova - Mostrando A Prova - Facilitar A Prova - Ver A Prova - Manter A Prova - é A Prova - Fornece A Prova - Começar A Prova - Mostrando A Prova
