Tradução de "propositions" para a língua portuguesa:

Dicionário Inglês-Português

Palavras-chave : Propostas Propostas Proposições Enganadoras Aborda

Exemplos (Fontes externas, não revisadas)

The set of true reachable propositions is the smallest set of propositions satisfying these conditions.	O conjunto das proposições verdadeiras alcançáveis é o menor conjunto de proposições verdadeiras satisfazendo estas condições.
By contrast, certain propositions seem necessarily true, such as analytic propositions, e.g., All bachelors are unmarried.	Há uma subclasse de proposições falsas que poderiam ser verdadeira e outra cujas proposições jamais poderiam ser verdadeiras.
All economic propositions are if then statements.	Todas as proposições económicas são afirmações de premissa conclusão .
It appears in Euclid's Elements (c. 300 BC), specifically in Book 7 (Propositions 1 2) and Book 10 (Propositions 2 3).	Surge na sua obra Os Elementos (c. 300 a.C.), especificamente nos Livros 7 (Proposições 1 2) e 10 (Proposições 2 3).
Example The set of true reachable propositions Another interesting example is the set of all true reachable propositions in an axiomatic system.	Exemplo o conjunto das proposições verdadeiras alcançáveisOutro exemplo interessante é o conjunto das proposições verdadeiras alcançáveis em um sistema axiomático.
Analytic propositions were largely taken to be true by virtue of meanings and independently of fact , while synthetic propositions were not one must conduct some sort of empirical investigation, looking to the world, to determine the truth value of synthetic propositions.	As proposições analíticas foram amplamente consideradas como sendo verdadeiras em virtude de significados e independentemente do fato , enquanto proposições sintéticas não, deve se realizar algum tipo de investigação empírica, olhando para o mundo, para determinar os valores verdade de proposições sintéticas.
Surviving works On the Equilibrium of Planes (two volumes) The first book is in fifteen propositions with seven postulates, while the second book is in ten propositions.	Obras sobreviventes Sobre o Equilíbrio dos Planos (dois volumes) No primeiro livro constam sete postulados e quinze proposições, já no segundo livro constam dez proposições.
Fréchet wrote that an implication between two well known propositions is not a new result, and Lebesgue wrote that an implication between two false propositions is of no interest .	Fréchet escreveu que uma implicação entre duas proposições claramente tidas como verdadeiras não é um resultado novo, e Lebesgue escreveu que uma implicação entre duas proposições falsas não é de nenhum interesse .
Formal proofs are useful because their theorems can be interpreted as true propositions.	Provas formais são úteis porque os seus teoremas podem ser interpretados como proposições verdadeiras.
Overview Classical logic only permits propositions having a value of truth or falsity.	Visão geral A lógica clássica permite apenas proposições que possuam um valor de verdade ou falsidade.
After learning that Vivian is a prostitute, he propositions her (to her dismay).	Depois de saber que Vivian é uma prostituta, Philip faz propostas a ela (que fica consternada).
Judgments that have as its matter true propositions can be called cognitions ( 36).	LAPOINTE, S. Introduction Bernard Bolzano contexte et actualité.
Hirzel, Martin, 2000, On formally undecidable propositions of Principia Mathematica and related systems I. .	Hirzel, Martin, 2000, On formally undecidable propositions of Principia Mathematica and related systems I. .
An example of such a body of propositions is the theory of the natural numbers.	Um exemplo deste tipo de corpo é a teoria dos números naturais.
On the Measurement of a Circle This is a short work consisting of three propositions.	Sobre as Medidas do Círculo Trata se de uma obra curta que consiste de apenas três proposições.
In classical logic, a contradiction consists of a logical incompatibility between two or more propositions.	Na lógica clássica, uma contradição consiste numa incompatibilidade lógica entre duas ou mais proposições.
Interpretations One difficulty in applying the law of non contradiction is ambiguity in the propositions.	Interpretações Uma dificuldade na aplicação da lei da não contradição é a ambiguidade em suas proposições.
Common atheist responses to this argument include that unproven religious propositions deserve as much disbelief as all other unproven propositions,and that the unprovability of a god's existence does not imply equal probability of either possibility.	As respostas comuns de ateus contra este argumento incluem que proposições religiosas não comprovadas merecem tanta descrença quanto todas as outras proposições não comprovadas e que a improbabilidade da existência de um deus não implica igual probabilidade para ambas as possibilidades.
This set is called 'true reachable propositions' because in non constructive approaches to the foundations of mathematics, the set of true propositions may be larger than the set recursively constructed from the axioms and rules of inference.	Esse conjunto é chamado 'proposições verdadeiras alcançáveis' porque em aproximações não construtivas aos fundamentos da matemática, o conjunto das proposições verdadeiras é maior que o conjunto recursivamente construído a partir de axiomas e regras de inferência.
Issues Not every consistent body of propositions can be captured by a describable collection of axioms.	Issues Não é todo corpo consistente de proposições que podem ser descritos por uma coleção de axiomas.
Kant's analytical judgments of propositions depend on presupposed concepts which are the same for all people.	No julgamento analítico de Kant das proposições dependem de conceitos pressupostos, os quais são os mesmos para todas as pessoas.
and On formally undecidable propositions of Principia Mathematica and related systems I in Solomon Feferman, ed., 1986.	and On formally undecidable propositions of Principia Mathematica and related systems I in Solomon Feferman, ed., 1986.
However, there exist certain propositions with variable answers, such as asking various people to identify a colour.	Entretanto, podem existir certas proposições com respostas variáveis, como a de se perguntar para várias pessoas identificarem uma cor.
The result is that one will not know which propositions are theorems and the axiomatic method breaks down.	O resultado não saberá quais proposições são teoremas e dessa maneira método axiomático é quebrado.
The knowledge base (KB) is a set of propositions that represent what the system knows about the world.	A base de conhecimento (KB) é um conjunto de proposições que representam o que o sistema sabe sobre o mundo.
(1005b23 24) logical The most certain of all basic principles is that contradictory propositions are not true simultaneously.	(1005b23 24) lógico A coisa mais certa é que todos os princípios básicos é que proposições contraditórias não são verdadeiras simultaneamente.
History Venn diagrams were introduced in 1880 by John Venn (1834 1923) in a paper entitled On the Diagrammatic and Mechanical Representation of Propositions and Reasonings in the Philosophical Magazine and Journal of Science , about the different ways to represent propositions by diagrams.	Venn introduziu os diagramas em um trabalho de lógica formal publicado em Julho de 1880 na Philosophical Magazine and Journal of Science , intitulado Da representação mecânica e diagramática de proposições e raciocínios .
Gödel's First Incompleteness Theorem then tells us that there are certain consistent bodies of propositions with no recursive axiomatization.	O Teorema da incompletude de Gödel diz que há certos corpos consistentes de proposições sem axiomatização(do inglês axiomatization ) recursiva.
The propositions of field theory do not concern any one particular application the mathematician now works in complete abstraction.	As proposições da teoria de campos não interessam a alguma outra aplicação em particular.
Martin Davis, The Undecidable, Basic Papers on Undecidable Propositions, Unsolvable Problems And Computable Functions , Raven Press, New York, 1965.	Martin Davis, The Undecidable, Basic Papers on Undecidable Propositions, Unsolvable Problems And Computable Functions , Raven Press, New York, 1965.
This text greatly rearranged and simplified many of the propositions from Euclid's Elements to create a more effective textbook.	Este texto reorganizou e simplificou enormemente muitas das proposições dos elementos de Euclides para criar um livro mais eficaz.
This means that the future, whatever it is, is completely fixed by past truths true propositions about the future.	Isso significa que o futuro, qualquer que seja, está completamente fixado por verdades passadas, ou melhor, pelas proposições verdadeiras enunciadas no presente sobre o futuro.
In philosophy and logic, contingency is the status of propositions that are neither true under every possible valuation (i.e.	Em filosofia e lógica, contingência é o status de proposições que não são necessariamente verdadeiras nem necessariamente falsas.
More generally, the reduction of a body of propositions to a particular collection of axioms underlies the mathematician's research program.	De forma mais geral, a redução para um corpo de proposições para uma coleção particular de axiomas desmente o programa de pesquisa matemática.
Apocryphal works Archimedes' Book of Lemmas or Liber Assumptorum is a treatise with fifteen propositions on the nature of circles.	Obras apócrifas O Livro de Lemas ou Liber Assumptorum é um tratado com quinze proposições sobre a natureza dos círculos.
Euclid's method consists in assuming a small set of intuitively appealing axioms, and deducing many other propositions (theorems) from these.	O método consiste em assumir um pequeno conjunto de axiomas intuitivos e, então, provar várias outras proposições (teoremas) a partir desses axiomas.
Propositions are also spoken of as the content of beliefs and similar intentional attitudes such as desires, preferences, and hopes.	Proposições são usualmente consideradas como o conteúdo de crenças e outros pensamentos representativos.
It is not correct to say that the axioms of field theory are propositions that are regarded as true without proof.	Não é correto dizer que os axiomas ou a teoria de campos são proposições que são consideradas como verdade sem nenhuma derivação .
if a proposition can be obtained from true reachable propositions by means of inference rules, it is a true reachable proposition.	Se uma proposição pode ser obtida de proposições verdadeiras alcançáveis por meio de regras de inferência, ela é uma proposição verdadeira alcançável.
Thus intuitionists absolutely disallow the blanket assertion For all propositions P concerning infinite sets D P or P (Kleene 1952 48).	Logo, intuicionistas reprovam absolutamente a seguinte asserção Para todas as proposições P relativas a conjuntos infinitos D P ou P (Kleene 1952 48).
One of the longest standing propositions in economics is the balanced budget multiplier increasing taxes and expenditures in tandem stimulates the economy.	Uma das questões mais antigas na economia é o multiplicador do orçamento equilibrado o aumento dos impostos e das despesas em série estimula a economia.
axioms) that relate a number of primitive terms in order that a consistent body of propositions may be derived deductively from these statements.	axiomas) que relaciona um número de termos primitivos, de maneira que um corpo consistente de proposições pode ser derivado dedutivamente dessas afirmações.
Quine maintained that the indeterminacy of translation prevented any meaningful discussion of propositions, and that they should be discarded in favor of sentences.	Quine demonstrou que a indeterminação da tradução impede qualquer discussão com sentido de proposição e que a mesma deve ser descartada em favor das sentenças.
Now, I don't want to leave a misimpression by identifying either of these propositions rather, either of these phenomena, democracy or Islam as technologies.	Agora, não quero ser mal interpretado por identificar qualquer destas proprosições menos ainda qualquer destes fenomenos, democracia ou Islamismo, como tecnologias.
It is also common for a theorem to be preceded by a number of propositions or lemmas which are then used in the proof.	Entretanto, tal termo também pode ser usado para afirmações falsas que aparentem ser verdadeiras em um primeiro momento.

Display this page in English