Definição tautologia

Tautologia é um termo que vem de uma palavra grega e se refere à repetição do mesmo pensamento através de diferentes expressões . Uma tautologia, para retórica, é uma afirmação redundante .

Tautologia

É comum que as tautologias sejam consideradas um erro na linguagem ou falta de estilo. No entanto, é possível recorrer a tautologias para enfatizar uma certa ideia. Por exemplo: a frase "Eu posso confirmar que o acusado é culpado desde que eu vi o assassinato com meus próprios olhos" apresenta um esclarecimento desnecessário sobre o uso de seus olhos, já que ele não poderia ter visto por nenhum outro meio; da mesma maneira, a ênfase da palavra "apropriado" pode ser omitida de maneira absoluta.

Outros exemplos muito comuns de tautologia podem ser vistos nas seguintes frases: "Subirei para encontrar um livro e voltarei", "tenho que sair para regar as plantas" . Sempre que você sobe é para cima; Do mesmo modo, deixar implica sair de um lugar, razão pela qual esses esclarecimentos são sem sentido e desnecessários para o entendimento.

Quando a tautologia supõe uma explicação redundante que não contribui com um novo conhecimento, geralmente se fala de truísmo ou verdade de Perogrullo : "Eu sou o que sou" . A expressão em que termos redundantes aparecem (como "subir" ou "sair" ), por outro lado, é chamada de pleonasmo .

No campo da lógica, uma tautologia é uma fórmula de um sistema que é verdadeira para qualquer interpretação. Em outras palavras, é uma expressão lógica que é verdadeira para todos os possíveis valores de verdade de seus componentes atômicos. Para saber se uma determinada fórmula é uma tautologia, uma tabela de verdade deve ser construída.

Tabela verdade

Tautologia A tabela de verdade (também conhecida como tabela de valores de verdade ) apresenta uma proposição composta e seu valor de verdade para cada uma das possíveis combinações que podem ser dadas com seus elementos. Seu autor foi o filósofo e cientista americano Charles Sanders Peirce, também conhecido como o mais alto representante da semiótica moderna, e o publicou em meados da década de 1880.

Para configurar um sistema formal, é necessário estabelecer as definições de cada operador e os argumentos devem ser apresentados na forma de raciocínio lógico-dedutivo, responder a um design puramente matemático e constituir uma aplicação lógica que defina suas variáveis ​​de entrada e saída.

Os dois valores possíveis que uma tabela de verdade pode lançar são: true, que é expressa pela letra "V" ou com o número "1" e indica que o circuito está fechado; falso, representado pela letra "F" ou pelo número "0", quando um circuito está aberto. As proposições a serem analisadas são as variáveis, e elas estão localizadas na parte superior da tabela, ocupando o lugar comumente usado para nomes de campos.

Os operadores usados ​​em uma tabela de verdade são:

* negação : quando executado em um determinado valor de verdade, lança o oposto (se era originalmente verdadeiro, retorna falso e vice-versa);

* conjunção : é usado para operar com dois valores de verdade, geralmente de duas proposições diferentes, e retorna verdadeiro quando ambos são verdadeiros, e falso para o resto dos casos;

* disjunção : similar à conjunção, mas é suficiente para uma das duas proposições ter valor verdadeiro para retornar tal resultado;

* condicional : também conhecido pelo nome de implicação, leva duas proposições e lança falso somente quando o primeiro retorna verdadeiro e o segundo falso. Para os casos restantes, o resultado é verdadeiro;

* biconditional : opera nos valores de verdade de duas proposições e retorna true se ambos tiverem o mesmo valor e forem falsos no caso oposto.

Recomendado