Para a disciplina de Matemática Finita por Ronan Soares
Uma afirmação que não se sabe se é verdade
n!≤n2 qualquer que seja n inteiro
Um exemplo mostrando uma conjectura sendo falsa
Basta um contra-exemplo!
n!≤n2 qualquer que seja n inteiro
4!=24
42=16
24>16
Uma forma organizada de se demonstrar uma conjectura
Um cisne é branco
Um segundo cisne é branco
Um terceiro cisne é branco também!
Conclusão: Todos os cisnes são brancos!
Errado!
Baseado em premissas
Respeitando regras de inferência
Argumentos que não são regras de inferência válidas
rejeitar o mensageiro em vez da mensagem
Você não pode falar sobre x pois é uma pessoa que gosta de y
aceitar a mensagem por influência do mensageiro
Deve ser verdade, pois fulano é formado em x
O pensamento dedutivo não é opinião
A wikipedia tem uma boa lista de tipos de falácias
Regra para se concluir algo verdadeiro a partir de algo verdadeiro
Verificar todos os casos para ver se satisfazem a propriedade
É impossível desenhar a figura abaixo sem levantar o lápis ou passar por cima de uma linha já desenhada
Utiliza premissas e as regras de dedução para se chegar em uma conclusão
P→Q
Pode assumir P como verdadeira
Usando as regras deve-se concluir Q
Se x é par e y é par, então xy é par
Conclusão: xy é par
Se o n2 é ímpar então n é ímpar
Se n é par então n2 é par
Se n+n=0 então n=0
Falta indução matemática...