Tom estudou muito para a prova.	Tom studied hard for the test.
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.
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.
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.
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)))).
Eu deveria estar estudando para a prova de amanhã.	I should be studying for tomorrow's exam.
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.
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 )).
Eu tenho que me preparar para a prova de inglês.	I have to prepare for the English test.
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?
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 posição da medalha de ouro para esta prova está vaga.	The gold medal position for this event is now vacant.
Você prova um, você prova o outro.	You prove one, you prove the other.
Tenho de estudar para uma prova de biologia.	I have to study for a biology test.
É 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?
Eu tenho de estudar para uma prova de biologia.	I have to study for a biology test.
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 )).
Poucos anos depois, Gentzen deu uma prova consistente para a aritmética de Peano.	A few years later, Gentzen gave a consistency proof for Peano arithmetic.
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.

Pesquisas relacionadas : Prova Para - Data Para A Prova - Pronto Para A 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 - Nenhuma Prova Para - Para Sua Prova - Prova Para Você

Exibir esta página em português