Para desenvolver adequadamente um algoritmo, é necessário usar a lógica, que consiste em organizar o pensamento para resolver problemas usando a me...

Para desenvolver adequadamente um algoritmo, é necessário usar a lógica, que consiste em organizar o pensamento para resolver problemas usando a mesma sequência adotada pelo computador, ou seja, usando a mesma lógica. A lógica, ao longo de toda sua história, justificou-se como um estudo sobre os argumentos. Em especial, a lógica justifica-se como um estudo sobre os critérios pelos quais se podem distinguir os “bons” dos “maus” argumentos. Quais os principais tipos de lógica?

A Lógica aristotélica, Lógica de programação, Lógica de argumentação, Lógica matemática e Lógica sistemática.
B Lógica socrática, Lógica de programação, Lógica de argumentação, Lógica matemática e Lógica proposicional.
C Lógica aristotélica, Lógica de programação, Lógica de argumentação, Lógica matemática e Lógica proposicional.
D Lógica aristotélica, Lógica de programação, Lógica de avaliação, Lógica matemática e Lógica proposicional.