Translation of "tautology" to Portuguese language:
Dictionary English-Portuguese
Tautology - translation :
Examples (External sources, not reviewed)
| Thus by definition our formula is not a tautology. | Assim, por definição, a nossa fórmula não é uma tautologia. |
| They observe that The property of being a tautology has been defined in notions of truth and falsity. | Eles observaram que A propriedade de ser uma tautologia foi definido com noções de verdade e falsidade. |
| 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. | 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. |
| It is true that the phrase survival of the fittest , in and by itself, is a tautology if fitness is defined by survival and reproduction. | É quase certo que a cauda do pavão diminui a sobrevivência do macho, porém essa desvantagem é compensada pela vantagem reprodutiva . |
| 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. | 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. |
| 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 . | 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 . |
| 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. | 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. |
| 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. | 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. |
| 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. | 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. |
