Translation of "proposições" to English language:
Dictionary Portuguese-English
Examples (External sources, not reviewed)
| O conjunto das proposições verdadeiras alcançáveis é o menor conjunto de proposições verdadeiras satisfazendo estas condições. | The set of true reachable propositions is the smallest set of propositions satisfying these conditions. |
| Há uma subclasse de proposições falsas que poderiam ser verdadeira e outra cujas proposições jamais poderiam ser verdadeiras. | By contrast, certain propositions seem necessarily true, such as analytic propositions, e.g., All bachelors are unmarried. |
| Exemplo o conjunto das proposições verdadeiras alcançáveisOutro exemplo interessante é o conjunto das proposições verdadeiras alcançáveis em um sistema axiomático. | Example The set of true reachable propositions Another interesting example is the set of all true reachable propositions in an axiomatic system. |
| O caso paradigmático é o das chamadas proposições analíticas proposições que são verdadeiras exclusivamente em virtude dos significados de seus termos. | This is the most certain of all principles ... Wherefore they who demonstrate refer to this as an ultimate opinion. |
| Surge na sua obra Os Elementos (c. 300 a.C.), especificamente nos Livros 7 (Proposições 1 2) e 10 (Proposições 2 3). | It appears in Euclid's Elements (c. 300 BC), specifically in Book 7 (Propositions 1 2) and Book 10 (Propositions 2 3). |
| Todas as proposições económicas são afirmações de premissa conclusão . | All economic propositions are if then statements. |
| 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. | 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. |
| 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. | 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. |
| O problema está no livro Proposições para Instruir os Jovens . | Alcuin's sequence is the solution to one of the problems of that book. |
| Lógica Proposicional Proposições As proposições são determinadas por sentenças declarativas, pertencentes a uma certa linguagem, que formam um conjunto de palavras ou símbolos e expressam uma ideia. | It says that a set of sentences has a model if and only if every finite subset has a model, or in other words that an inconsistent set of formulas must have a finite inconsistent subset. |
| Proposições são usualmente consideradas como o conteúdo de crenças e outros pensamentos representativos. | Propositions are also spoken of as the content of beliefs and similar intentional attitudes such as desires, preferences, and hopes. |
| 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 . | 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 . |
| Provas formais são úteis porque os seus teoremas podem ser interpretados como proposições verdadeiras. | Formal proofs are useful because their theorems can be interpreted as true propositions. |
| As proposições da teoria de campos não interessam a alguma outra aplicação em particular. | The propositions of field theory do not concern any one particular application the mathematician now works in complete abstraction. |
| O livro V contêm proposições sobre a receita pública e as responsabilidades do Estado. | This is the state of the greater part of the labouring poor in all countries. |
| Na lógica clássica, uma contradição consiste numa incompatibilidade lógica entre duas ou mais proposições. | In classical logic, a contradiction consists of a logical incompatibility between two or more propositions. |
| O resultado não saberá quais proposições são teoremas e dessa maneira método axiomático é quebrado. | The result is that one will not know which propositions are theorems and the axiomatic method breaks down. |
| 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. | 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. |
| Se essas proposições eram revolucionárias ou conservadoras era um tópico muito discutido durante o vigésimo século. | ...his arguments have no force and can very easily be taken apart. |
| Visão geral A lógica clássica permite apenas proposições que possuam um valor de verdade ou falsidade. | Overview Classical logic only permits propositions having a value of truth or falsity. |
| Interpretações Uma dificuldade na aplicação da lei da não contradição é a ambiguidade em suas proposições. | Interpretations One difficulty in applying the law of non contradiction is ambiguity in the propositions. |
| Issues Não é todo corpo consistente de proposições que podem ser descritos por uma coleção de axiomas. | Issues Not every consistent body of propositions can be captured by a describable collection of axioms. |
| Sobre as Medidas do Círculo Trata se de uma obra curta que consiste de apenas três proposições. | On the Measurement of a Circle This is a short work consisting of three propositions. |
| 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. | 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. |
| Também não é raro contrastar com a noção de proposição como conteúdo mental a noção de proposições russellianas. | For example, if Jane has a mental state of believing that it is raining, her mental content is the proposition 'it is raining. |
| Objeções às proposições Muitos filósofos e linguistas alegam que a noção de proposição é muito vaga ou inútil. | A number of philosophers and linguists claim that all definitions of a proposition are too vague to be useful. |
| Em filosofia e lógica, contingência é o status de proposições que não são necessariamente verdadeiras nem necessariamente falsas. | In philosophy and logic, contingency is the status of propositions that are neither true under every possible valuation (i.e. |
| Entretanto, podem existir certas proposições com respostas variáveis, como a de se perguntar para várias pessoas identificarem uma cor. | However, there exist certain propositions with variable answers, such as asking various people to identify a colour. |
| Indução matemática é um método de prova matemática usado para demonstrar a verdade de um número infinito de proposições. | Mathematical induction is a method of mathematical proof typically used to establish a given statement for all natural numbers. |
| Este texto reorganizou e simplificou enormemente muitas das proposições dos elementos de Euclides para criar um livro mais eficaz. | This text greatly rearranged and simplified many of the propositions from Euclid's Elements to create a more effective textbook. |
| O Teorema da incompletude de Gödel diz que há certos corpos consistentes de proposições sem axiomatização(do inglês axiomatization ) recursiva. | Gödel's First Incompleteness Theorem then tells us that there are certain consistent bodies of propositions with no recursive axiomatization. |
| Obras apócrifas O Livro de Lemas ou Liber Assumptorum é um tratado com quinze proposições sobre a natureza dos círculos. | Apocryphal works Archimedes' Book of Lemmas or Liber Assumptorum is a treatise with fifteen propositions on the nature of circles. |
| A base de conhecimento (KB) é um conjunto de proposições que representam o que o sistema sabe sobre o mundo. | The knowledge base (KB) is a set of propositions that represent what the system knows about the world. |
| No julgamento analítico de Kant das proposições dependem de conceitos pressupostos, os quais são os mesmos para todas as pessoas. | Kant's analytical judgments of propositions depend on presupposed concepts which are the same for all people. |
| (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. | (1005b23 24) logical The most certain of all basic principles is that contradictory propositions are not true simultaneously. |
| 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. | axioms) that relate a number of primitive terms in order that a consistent body of propositions may be derived deductively from these statements. |
| 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 . | It is not correct to say that the axioms of field theory are propositions that are regarded as true without proof. |
| 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. | Euclid's method consists in assuming a small set of intuitively appealing axioms, and deducing many other propositions (theorems) from these. |
| 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. | if a proposition can be obtained from true reachable propositions by means of inference rules, it is a true reachable proposition. |
| Ele também desprovou de forma semelhante proposições contrárias.A natureza do 'ser' ou o que é para Parmenides é um sujeito altamente contínuo. | In his poem On Nature, he said,The nature of the is or what is in Parmenides is a highly contentious subject. |
| 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. | More generally, the reduction of a body of propositions to a particular collection of axioms underlies the mathematician's research program. |
| 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). | Thus intuitionists absolutely disallow the blanket assertion For all propositions P concerning infinite sets D P or P (Kleene 1952 48). |
| O fato de que a verdade consiste em proposições difíceis de variar sobre a realidade é o fato mais importante a respeito do mundo físico. | That the truth consists of hard to vary assertions about reality is the most important fact about the physical world. |
| O PL 37 2011 tem regime de prioridade quando deve entrar na pauta de votação imediatamente depois de todas as proposições em regime de urgência. | The deputy proposed a substitute to Gurgel's bill that would move all delimitation of full protection conservation units to the National Congress and wouldn't establish limits on mining companies in those areas, or require them to compensate in some way any environmental harm they cause. |
| A Guemará frequentemente se refere a estas declarações tanaíticas, para compará los àqueles contidos na Mishná e para apoiar ou refutar as proposições dos Amoraim . | The Gemara frequently refers to these tannaitic statements in order to compare them to those contained in the Mishnah and to support or refute the propositions of Amoraim. |
