Question

relação existente entre a lógica de Aristóteles e a lógica computacional?​

Answer 1

Resposta:

A lógica de Aristóteles é a base da lógica computacional. A obra de Aristóteles foi a primeira a fornecer um sistema formal de raciocínio, que tem sido usado como base para a lógica moderna. Lógica computacional é um ramo da ciência da computação que aplica conceitos lógicos ao desenvolvimento de sistemas e algoritmos de computador. Baseia-se nos princípios da lógica formal e usa métodos como prova de teoremas, raciocínio automatizado e verificação de modelos para resolver problemas. A lógica usada na lógica computacional é a mesma lógica usada na lógica de Aristóteles, mas com técnicas adicionais usadas para dar suporte aos processos do computador.

Explicação:

Desculpe por não lhe dar a fonte, eu aprendi isso anos atrás quando tinha iniciado na programação como front-end