Raciocínio lógioco

Definição e exemplos Tautologia
Uma fórmula da lógica proposicional é uma tautologia se a fórmula é sempre verdadeira independentemente de qual valoração seja usada para as variáveis proposicionais.
Exemplos.
* ("P ou não-P"), a lei do terceiro excluído. Esta fórmula tem somente uma variável proposicional, P. Qualquer valoração para esta fórmula deve, por definição, atribuir um dos valores de verdade verdadeiro ou falso para P, e atribuir o valor de verdade restante para P (isto é, se P é verdadeiro, então P é falso, e se P é falso, então P é verdadeiro). * ("se A implica B então não-B implica não-A", e vice-versa), o qual expressa a lei da contraposição.
A palavra tautologia tem origens no idioma grego. Tautó (o mesmo) mais logos (assunto), ou seja, a tautologia ocorre quando a mesma coisa é falada com utilização de diferentes termos. O assunto está presente em diversos campos de estudo: na filosofia e até mesmo na lógica. Porém, as dúvidas mais frequentes sobre o tema são relacionadas à linguagem. A tautologia, também conhecida como pleonasmo ou redundância é um vício frequente. Os exemplos mais utilizados para exemplificar sua ocorrência são: * Subiu para cima. * Desceu para baixo.
Neste caso, a omissão das palavras “para baixo” ou “para cima” não altera o significado. O termo redundante é desnecessário.
Outros Exemplos: empréstimo temporário | empréstimo temporário | surpresa inesperada | surpresa inesperada | escolha opcional | escolha opcional | planejar antecipadamente | planejar antecipadamente | a última versão definitiva | a última versão definitiva | possivelmente poderá ocorrer | possivelmente poderá ocorrer | comparecer em pessoa | comparecer em pessoa | a seu critério pessoal | a seu critério pessoal | seguindo em frente | seguindo em frente | pessoa humana | pessoa humana | fato real | fato real | certeza absoluta | certeza absoluta | em duas metades iguais | em duas metades iguais | encarar de frente