Na lógica (especialmente em suas aplicações à matemática e filosofia), um contraexemplo (AO 1945: contra-exemplo) é uma exceção a uma regra ou lei geral proposta, e muitas vezes aparece como um exemplo que refuta uma declaração universal.
Exemplo contrário a outro ou que é usado para o contestar ou para contestar uma teoria ou um argumento. Plural: contra-exemplos. Grafia alterada pelo Acordo Ortográfico de 1990: contraexemplo. Grafia anterior ao Acordo Ortográfico de 1990: contra-exemplo.
Ela consiste em um modo de organização de raciocínios com o objetivo de evidenciar ou contradizer uma proposição (JAPIASSÚ; MARCONDES, 2001). ... Segundo Alves (2005), a argumentação filosófica visa ao convencimento racional, enquanto as demais formas de argumentação têm por objetivo a persuasão retórica.
Significado de Contrair Passar a possuir alguma coisa; ser alvo da ação de alguma coisa; adquirir: contrair experiência num ofício; contrair casamento. [Medicina] Ser alvo de uma doença ou de um agente patológico: contrair um vírus.
Uma forma comum de provar um teorema é assumir que o teorema é falso e então mostrar que esta suposição leva a uma conseqüência falsa, chamada contradição. Exemplo: Seja U um conjunto infinito, e seja S um subconjunto finito de U. Seja T o complemento de S em relação a U. Então T é infinito.
Para um número ser composto ele precisa ter mais de dois divisores, quando incluídos os divisores 1 e o próprio número. Exemplo: o número 49 é composto, pois ele é divisível por mais de dois divisores, o 1, o 7 e o próprio 49. Alguns números impares como o 9, 15, 21, 25, 27, 33, 35, 39, 45, 49, 51, 55, 57....