Escolar Documentos
Profissional Documentos
Cultura Documentos
1
O QUE É LÓGICA DE PROGRAMAÇÃO?
2
O QUE É SILOGISMO?
3
O QUE É UMA PROPOSIÇÃO?
exemplos:
4
O QUE É UMA ARGUMENTO E
PREMISSAS ?
O Computador trabalha com binários 0 e 1 e usa isso para
processar os dados. Comparando o computador com nosso
processo de raciocínio, nós usamos o Raciocínio Lógico para
chegar a uma verdade, processamos mentalmente os argumentos
entre verdadeiros e falsos.
Exemplo:
Premissa1: Todo homem é mortal, Premissa2: William é homem
Conclusão: William é mortal
6
QUAIS OS TIPOS INFERÊNCIA?
1- Dedução
Dedução é o processo de derivar uma conclusão dos fatos dados.
Ou seja, tire uma conclusão com base nos conhecimentos e
observações disponíveis.
Inferência por dedução também é conhecida como inferência
lógica.
Exemplo:
Todos os mamíferos têm glândulas mamárias. Fato / premissa: As baleias são mamíferos.
Conclusão: As baleias possuem glândulas mamárias.
7
QUAIS OS TIPOS INFERÊNCIA?
2- Indução
Por outro lado, indução implica derivar uma regra geral de
observações particulares ou específicas.
Esse tipo de raciocínio é o oposto do dedutivo. Basicamente,
significa extrair conclusões de vários dados, indo do específico
para o geral.
Exemplo: Dados:
Juan dorme menos de seis horas e acorda cansado.
Lucia dorme menos de seis horas e acorda cansada.
Maria dorme menos de seis horas e acorda cansada.
Carlos dorme menos de seis horas e acorda cansado.
Inferência: se uma pessoa dorme menos de seis horas, ela acorda cansada.
8
QUAIS OS TIPOS INFERÊNCIA?
3- Rapto
Esse tipo de inferência começa com um conjunto incompleto de
observações, resultando na explicação mais provável possível.
Baseia-se na criação e teste de hipóteses, utilizando as melhores
informações disponíveis. Geralmente envolve fazer uma suposição
após observar um fenômeno para o qual não há uma explicação
clara.
Exemplo:
Um exemplo disso são diagnósticos médicos com base nos resultados dos testes. Outro
exemplo são as decisões dos jurados nos julgamentos, com base nas evidências
apresentadas a eles.
9