A desigualdade triangular tem origem na geometria euclidiana e refere-se ao teorema que afirma que, num triângulo, o comprimento de um dos lados é sempre inferior à soma dos comprimentos dos outros dois lados. No texto clássico Os Elementos, de Euclides, este teorema é a Proposição 20 do Livro I.
Prova-se a desigualdade das médias aritmética e geométrica: MA é maior ou igual a MG. Primeiro é feita a demonstração no caso em que temos apenas dois números e depois, através de um argumento por indução, prova-se o resultado que vale para qualquer quantidade de números.
Em lógica, pode-se distinguir três tipos de raciocínio lógico: dedução, indução e abdução. Dada uma premissa, uma conclusão, e uma regra segundo a qual a premissa implica a conclusão, eles podem ser explicados da seguinte forma: Dedução corresponde a determinar a conclusão.
É um processo de estruturação do pensamento de acordo com as normas da lógica que permite chegar a uma determinada conclusão ou resolver um problema. Um Raciocínio Lógico requer consciência e capacidade de organização do pensamento. ...
Pensamento computacional pode ser definido como uma estratégia usada para desenhar soluções e solucionar problemas de maneira eficaz tendo a tecnologia como base.
A lógica matemática é uma subárea que desdobra-se na análise das proposições, a fim de verificar se uma afirmação é verdadeira ou falsa. Entre as suas aplicações destacam-se a programação de computadores e o uso em questões de vestibulares. Todas essas áreas compartilham princípios básicos de lógica e definibilidade.