Você prova um, você prova o outro.	You prove one, you prove the other.
Você não tem prova.	You have no proof.
Você já colou numa prova?	Have you ever cheated on an exam?
Você já colou numa prova?	Have you ever cheated on a test?
Você não tem nenhuma prova.	You have no proof.
Soube que você passou na prova.	I heard you passed the test.
Se você estudar muito, você vai passar na prova.	If you work hard, you'll pass your exam.
Você tem prova de que Deus existe?	Do you have proof that God exists?
Você pode abrí la completamente. É a prova d'água.	You can open it up completely. It's waterproof.
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)))).
Tom estudou muito para a prova.	Tom studied hard for the test.
Então se você fizer casas à prova de mosquitos você deveria ser capaz de fazer esses mosquitos evoluírem para formas menos perigosas.	So, if you were to mosquito proof houses, you should be able to get these organisms to evolve to mildness.
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 )).
Você entra, encara a parece, faz sua prova e vai embora.	You come in, you face the wall, you take your test and you leave.
Eu tirei nove na prova de química. E você? O mesmo.	I got nine on my chemistry test. And you? The same.
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 .
Que tipo de prova temos para isso?	What kind of evidence do we have for that?
Tenho de me preparar para a prova.	I've got to prepare for the test.
Estavam se preparando para a prova escrita.	They were girding for the exam.
Isso prova que as pessoas não compram o que você faz elas compram o porquê você faz.	What it proves to us is that people don't buy what you do people buy why you do it.
Aqui está a prova econômica para a sustentabilidade.	Here is the business case for sustainability.
A prova fica como exercício para o leitor.	The proof is left to the reader.
Tenho de estudar para uma prova de biologia.	I have to study for a biology test.
Nós temos de estudar para a nossa prova.	We have to study for our exam.
A prova que vem dos EUA é que se você pagar às pessoas para reciclar, se você encorajá las ao invés de ameaçar, você pode mudar o comportamento delas.	All the proof from America is that actually, if you pay people to recycle, if you give them a carrot rather than a stick, you can transform their behavior.
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.
Eu deveria estar estudando para a prova de amanhã.	I should be studying for tomorrow's exam.
Eu tenho de estudar para uma prova de biologia.	I have to study for a biology test.
Se você é uma variante perigosa em um lugar onde tenha casas à prova de mosquito, você está perdido.	So, if you're a harmful variant in a place where you've got mosquito proof housing, then you're a loser.
Prova Suave	Soft Proofing
Tipicamente, um computador pode reconhecer axiomas e regras lógicas para derivar teoremas, e se uma prova é válida, mas para determinar se a prova para uma afirmação existe deve se esperar e ver se a prova ou a negação é gerada.	Typically, the computer can recognize the axioms and logical rules for deriving theorems, and the computer can recognize whether a proof is valid, but to determine whether a proof exists for a statement is only soluble by waiting for the proof or disproof to be generated.
As pessoas não compram o que você faz elas compram o porquê você faz. E o que você faz simplesmente prova o que você acredita.	People don't buy what you do they buy why you do it and what you do simply proves what you believe.
Então, lá está você, no primário, e você sabe exatamente o que pensar sobre o garoto que respondeu essa prova.	So there you are in grade school, and you know exactly what to think about the kid who got this paper.
Eu tenho que me preparar para a prova de inglês.	I have to prepare for the English test.
Tenho que fazer uma revisão para uma prova de biologia.	I have to revise for a biology test.
Tom está fazendo uma revisão para sua prova de amanhã.	Tom is revising for his exam of tomorrow.
Prova por contradição é usada na matemática para construir provas.	Proof by contradiction is used in mathematics to construct proofs.
Prova essa camisa.	Try on that shirt.
Teremos prova hoje.	We're going to have a test today.
Eu tenho prova.	I have proof.
Passei na prova.	I passed the exam.
Passei na prova!	I passed the exam.
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.
O estudo da prova matemática é particularmente importante na lógica, e tem aplicações para prova automática de teoremas e verificação formal de software.	The study of mathematical proof is particularly important in logic, and has applications to automated theorem proving and formal verification of software.

Pesquisas relacionadas : Prova Para - Pode Você Prova - Prova Para Baixo - Dar Prova Para - Para Sua Prova - Para Uma Prova - Como Prova Para - Uma Prova Para - Prova Para Aprovação - Fornecer Prova Para - Para A Prova - Nenhuma Prova Para - Para Sua Prova - Para Você

Exibir esta página em português