Question

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

b) Mostrar em que aspectos o tipo de lógica explicado no item a se diferencia da lógica formal.

Answer 1

O tipo de lógica escolhida é a dedução, que trata-se de uma forma de argumento, onde se usa a lógica para validar os fatos narrados.

Como exemplo de dedução lógica, pode-se citar:

Todos os homens são mortais.

Marcos é homem.

Vale salientar que na lógica dedutiva só se considera os argumentos como verdade, caso todas premissas expostas sejam verdadeiras.

Dentre outros tipos de lógica, pode-se citar:

• indução;
• abdução.

Bons estudos!