Tautologia

Definição - o que significa tautologia?

Tautologia é um tipo de construção lógica que pode ser aplicada em TI. Refere-se a uma lógica redundante em que um princípio é reformulado ou é evidente em sua expressão.

Definirtec explica tautologia

Em alguns casos, a tautologia pode ser aplicada a certos tipos de ciência da computação ou princípios de programação. Por exemplo, um projeto de computador pode ser construído para revisar a "verificação tautológica". Módulos de código são escritos para testar se todos os critérios para tautologia estão presentes, a fim de determinar se um objeto constitui uma tautologia.

O uso da tautologia e da verificação da tautologia é um exemplo da interseção entre a programação de computadores e a matemática superior. Como a programação de computadores é construída em uma sintaxe rígida para se comunicar com a lógica rígida da linguagem de uma máquina, os programadores e engenheiros frequentemente discutem conceitos em termos de princípios matemáticos superiores e equações. O uso de convenções como a tautologia mostra como os algoritmos das tecnologias atuais são uma reminiscência das equações complexas que os matemáticos sempre fizeram cognitivamente no cérebro humano.