Leia o texto a seguir: Nos dias de hoje, diversos tipos de máquinas são capazes de resolver problemas com base na execução de algoritmos. Previame...

Leia o texto a seguir:

Nos dias de hoje, diversos tipos de máquinas são capazes de resolver problemas com base na execução de algoritmos. Previamente escritos por algum ser humano, esses algoritmos têm sua concepção e seu desenvolvimento profundamente conectados à lógica.

[...]

A lógica computacional é proveniente da lógica matemática, que, por sua vez, foi formada por pensamentos filosóficos que interpretam o mundo por meio de cálculos simbólicos.

[...]

A computação se encontra cada dia mais presente em nossa vida. Por meio dela, é possível resolver questões de maneira ágil e eficaz. Para isso, utiliza-se, sobretudo, a lógica de computação, que consiste na aplicação do raciocínio lógico em forma de ferramentas automatizadas que são executadas em computadores. Há, de fato, alguns tipos de lógica, a exemplo da lógica dos predicados.

[...]

Pereira (2009) afirma que, na lógica de predicados, o objeto é utilizado em um sentido muito amplo. Eles podem ser concretos, como, por exemplo “esse livro”, abstratos, como “a paz”, ou fictícios, como “um unicórnio”. Objeto pode ser qualquer coisa sobre a qual precisa-se dizer algo.

Font