Question

a) Caracterizar um tipo de lógica, que não seja a formal. Quando possível exemplifique em que áreas pode ser utilizada.​

Answer 1

A Lógica Formal pode ser compreendida como sendo a relação estabelecida  entre conceitos predeterminados e nos fornece um meio a partir do qual conseguimos construir provas de declarações.

Os conceitos da Lógica Formal são definidos como:

• dedução que diz respeito a determinação da conclusão por meio de outros dois elementos: a regra e a premissa.

• indução que determina a regra.

• abdução que é quando determina-se a premissa.