Para uma declaração condicional (se-então), um contraexemplo deve ser uma instância que satisfaça a hipótese, mas não a conclusão.
O que é um contraexemplo para uma premissa condicional?
Contra-exemplo: um exemplo que contradiz alguma afirmação ou argumento (ex. … Inválido: um argumento que não é válido. Podemos testar a invalidade assumindo que todas as premissas são true e ver se ainda é possível que a conclusão seja falsa. Se isso for possível, o argumento é inválido.
As declarações condicionais podem ser falsas?
Uma condicional é considerada falsa quando o antecedente é verdadeiro e o consequente é falso. Abaixo, os valores-verdade da condicional para todas as possibilidades do antecedente e conseqüente serem verdadeiros ou falsos são representados em uma tabela-verdade.
Qual é um exemplo de contraexemplo?
Um exemplo que refuta uma afirmação (mostra que ela é falsa). Exemplo: a afirmação "todos os cães são peludos" pode ser provada falsa encontrando apenas um cão sem pêlo (o contra-exemplo) como abaixo.
Quantos contraexemplos são necessários para mostrar que uma declaração condicional é falsa?
Basta um contraexemplo para mostrar que sua afirmação é falsa.
