a) Caracterizar um tipo de lógica, que não seja a formal. Quando possível exemplifique em que áreas pode ser utilizada.
Soluções para a tarefa
Resposta:
A Lógica Formal lida com a relação entre conceitos e fornece um meio de compor provas de declarações. Na Lógica Formal os conceitos são rigorosamente definidos.
Em lógica, pode-se distinguir três tipos de raciocínio lógico: dedução, indução e abdução.
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. Utiliza-se da regra e sua premissa para chegar a uma conclusão. Exemplo: "Quando chove, a grama fica molhada. Choveu hoje. Portanto, a grama está molhada." É comum associar os matemáticos com este tipo de raciocínio.Indução é determinar a regra. É aprender a regra a partir de diversos exemplos de como a conclusão segue da premissa. Exemplo: "A grama ficou molhada todas as vezes em que choveu. Então, se chover amanhã, a grama ficará molhada." É comum associar os cientistas com este estilo de raciocínio.Abdução significa determinar a premissa. Usa-se a conclusão e a regra para defender que a premissa poderia explicar a conclusão. Exemplo: "Quando chove, a grama fica molhada. A grama está molhada, então pode ter chovido." Associa-se este tipo de raciocínio aos diagnosticistas e detetives.