A prova fica como exercício para o leitor.	The proof is left to the reader.
Tenho isto como prova.	I keep that for evidence.
Como foi a prova?	How did the exam go?
Como foi sua prova?	How was your exam?
Como foi a sua prova?	How was your test?
Como foi a prova de matemática?	How was the math test?
Como foi a prova de hoje?	How was today's test?
Como foi sua prova de biologia?	How was your biology exam?
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.
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 .
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.
Críticos apontam para a recorrência do motivo pai filha, em especial, como prova deste estilo autobiográfico.	Critics have pointed to the recurrence of the father daughter motif in particular as evidence of this autobiographical style.
Você prova um, você prova o outro.	You prove one, you prove the other.
Numa outra, posterior, Maria lançaria do céu sua cinta para o apóstolo como uma prova do evento.	In a later tradition, Mary drops her girdle down to the apostle from heaven as testament to the event.
O símbolo formula_3 é geralmente lido como resulta ou prova .	The turnstile symbol, formula_3 is often read as yields or proves .
Aqui está a prova econômica para a sustentabilidade.	Here is the business case for sustainability.
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 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.
Como prova preliminar de eficácia, decidimos sintetizar uma nova família de polímeros biodegradáveis, chamados polianidridos, para uso médico.	As a proof of principle, we decided to synthesize a new family of biodegradable polymers, called polyanhydrides, for medical use.
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.
Eric confessa que os últimos quinze metros da prova foram muito difíceis para ele, como se vê no vídeo, mas sua determinação em vencer a prova valeu lhe o reconhecimento do público.	Yet his willingness to finish the race, while struggling mightily earned him a standing ovation from the audience.
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.
Isso só prova como é difícil descobrir os usos certos dos meios.	It just goes to show how tough it is to come up with the right uses of media.
A primeira prova foi realizada em um estilo hoje conhecido como arremesso ().	The first event was held in a style now known as the clean and jerk .
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.
Entretanto, comentou que Confessions on a Dance Floor não passa na prova do tempo como seus primeiros sucessos dance , porém ele ainda prova seu ponto.	However, he opined that Confessions on a Dance Floor won't stand the test of time like her glorious early club hits, but it proves its point.
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.
O Instituto de Matemática Clay ofereceu US 1 milhão como prêmio para a primeira prova correta, juntamente com prêmios para seis outros problemas matemáticos.	The Clay Mathematics Institute has offered a 1 million USD prize for the first correct proof, along with prizes for six other mathematical problems.
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 : Como Prova - Como Prova - Como Prova - Prova Para - Considerada Como Prova - Servindo Como Prova - Utilização Como Prova - Produzido Como Prova - Apresentado Como Prova - Usado Como Prova - Usada Como Prova - Anexado Como Prova - Serve Como Prova - Servir Como Prova

Display this page in English