Translation of "tautologia" to English language:
Dictionary Portuguese-English
Tautologia - tradução :
Examples (External sources, not reviewed)
| Por isso a classificamos como uma tautologia. | Halle a. S. Louis Nebert. |
| Ver também Acarretamento Consequência lógica Correção Tautologia Referências | Validities A Political Science Perspective , Social Epistemology 7, 1 (1993) 85 105. |
| Assim, por definição, a nossa fórmula não é uma tautologia. | Thus by definition our formula is not a tautology. |
| Eles observaram que A propriedade de ser uma tautologia foi definido com noções de verdade e falsidade. | They observe that The property of being a tautology has been defined in notions of truth and falsity. |
| Neste sentido, é uma tautologia ou truísmo (uma verdade em si mesma), que decorre simplesmente da maneira como a definimos. | He argued...John Maynard Keynes, like Marx, accepted the theory in general and wrote... Also like Marx he believed that the theory was misrepresented. |
| Contradição na lógica formal Note The symbol formula_1 (falso)representa uma contradição arbitrária., com o símbolo formula_2 é usado para indicar uma tautologia arbitrária. | Contradiction in formal logic Note The symbol formula_1 (falsum) represents an arbitrary contradiction, with the dual tee symbol formula_2 used to denote an arbitrary tautology. |
| Uma forma de declaração pode ser mostrada como sendo uma lógica de verdade por um ou outro argumento, que mostra se tratar de uma tautologia por meio de uma prova. | A statement form can be shown to be a logical truth by either (a) showing that it is a tautology or (b) by means of a proof procedure. |
| Nagel and Newman agora podem definir a noção de tautológico uma fórmula é uma tautologia se, e somente se ela cai na classe K1 não importando em qual das duas classes de seus elementos são colocados . | Nagel and Newman can now define the notion of tautologous a formula is a tautology if, and only if, it falls in the class K1 no matter in which of the two classes its elements are placed . |
| Mas por qualquer método, todas as provas de consistência parecem exigir a noção primitiva de contradição além disso, ela parece como se essa noção, simultaneamente têm de ser de fora do sistema formal na definição de tautologia. | But by whatever method one goes about it, all consistency proofs would seem to necessitate the primitive notion of contradiction moreover, it seems as if this notion would simultaneously have to be outside the formal system in the definition of tautology. |
| Prova por contradição Para uma proposição formula_4 é verdade que formula_11, i. e. que formula_4 é uma tautologia, i. e. que ela é sempre verdadeira, se e somente se formula_13, i. e. se a negação de formula_4 é uma contradição. | Proof by contradiction For a proposition formula_4 it is true that formula_11, i. e. that formula_4 is a tautology, i. e. that it is always true, if and only if formula_13, i. e. if the negation of formula_4 is a contradiction. |
| Notação Formal A regra Modus ponens pode ser escrita na forma de sequentes, como é mostrado a seguir formula_2onde é um símbolo que significa que Q é uma consequência sintática de P Q e P em algum sistema lógico ou representado como a declaração de uma tautologia ou teorema da lógica proposicional formula_3Onde P e Q são proposições expressar em um sistema lógico. | Formal notation The modus ponens rule may be written in sequent notation formula_2where is a metalogical symbol meaning that Q is a syntactic consequence of P Q and P in some logical system or as the statement of a truth functional tautology or theorem of propositional logic formula_3where P , and Q are propositions expressed in some formal system. |
