Translation of "a prova de fogo" to English language:
Dictionary Portuguese-English
Examples (External sources, not reviewed)
| Algumas pessoas também colocam documentos importantes, fotos e outras coisas valiosas em cofres à prova de fogo, por precaução. | Some people also put important documents, photos and other valuables in a fireproof safe, just in case. |
| E o Ritz Carlton Tower está sendo projetado com aço exposto, não é à prova de fogo, parecido com aqueles velhos tanques de gás. | And the Ritz Carlton Tower is being designed with exposed steel, non fire proof, much like those old gas tanks. |
| E estou gritando, Fogo! Fogo! Fogo! Fogo! | And I'm yelling out, Fire! Fire! Fire! Fire! |
| 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)))). |
| 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. |
| 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 )). |
| 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 )). |
| Isenção de prova alimenta a polêmica | Bootlegging doctors? |
| Como foi a prova de matemática? | How was the math test? |
| Como foi a prova de hoje? | How was today's test? |
| A prova de química foi fácil. | The chemistry exam was a doddle. |
| 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 . |
| 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. |
| 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. |
| Você prova um, você prova o outro. | You prove one, you prove the other. |
| Tenho de me preparar para a prova. | I've got to prepare for the test. |
| Essas janelas são a prova de balas. | These windows are bulletproof. |
| A quem pertence a arma de fogo? | Who does the gun belong to? |
| Portanto, uma prova de que formula_13 também prova que formula_4 é verdade. | Therefore, a proof that formula_13 also proves that formula_4 is true. |
| A casa pegou fogo. | The house was ablaze. |
| A casa pegou fogo. | The house caught fire. |
| A cortina pegou fogo. | The curtain caught fire. |
| A cortina pegou fogo. | The curtain caught on fire. |
| A Psicanálise do Fogo . | Clinamen, Bolton, 2002. |
| É 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 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? |
| O NIST constatou que a infraestrutura de aço à prova de fogo das Torres Gêmeas foi arrancada pelo impacto inicial dos aviões e que, se isso não tivesse acontecido, as torres provavelmente teriam permanecido de pé. | NIST found that the fireproofing on the Twin Towers' steel infrastructures was blown off by the initial impact of the planes and that, had this not occurred, the towers likely would have remained standing. |
| Eu sou a prova de que há esperança. | I am proof that there is hope. |
| Nós temos de estudar para a nossa prova. | We have to study for our exam. |
Pesquisas relacionadas : Prova De Fogo - Prova De Fogo - Roupas à Prova De Fogo - Anteparo à Prova De Fogo - Juntas à Prova De Fogo - Porta à Prova De Fogo - Armário à Prova De Fogo - Protecção à Prova De Fogo - Pintura à Prova De Fogo - Seguro à Prova De Fogo - Materiais à Prova De Fogo - Fogo A Gás - Fogo
