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.
Data de transmissão ( 2 ) Data de referência ( 1 ) Disposições transitórias ( 3 ) para dados mensais relativos a novas operações e stocks Dia Data alternativas para dados mensais relativos a stocks Data	Transitional provisions ( 3 ) alternative for monthly data on outstanding amounts Date Reference date ( 1 ) Day Date
Tenho de estudar para uma prova de biologia.	I have to study for a biology test.
Data para a conclusáo da transicáo	The completion date of the changeover
Estabeleça uma data para a reunião.	Fix a date for the meeting.
( Data limite para a execução a acordar ) .	( Deadline for implementation to be agreed ) .
( Data limite para a execução a acordar ) .	( Deadline for implementation to be agreed ) .
É 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?
Data para a conclusáo da transicáo para a moeda única	The completion date of the changeover
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 )).
Eles Elas decidiram a data para a viagem.	They decided the date for the trip.

Pesquisas relacionadas : Para A Prova - Prova Para - Pronto Para A Prova - Data Para A Qual - Data Para A Nomeação - Data Para A Conclusão - Data Para A Citação - Ir Para A Data - Data Para A Visita - Prova Para Baixo - Dar Prova Para - Para Sua Prova - Para Uma Prova - Como Prova Para

Display this page in English