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.

Fonte: COPPIN, B. Inteligência Artificial. São Paulo: Grupo GEN, 2010, p. 137-138,174.

A lógica computacional é proveniente da lógica matemática.
A lógica de predicados é um dos tipos de lógica utilizados na computação.
Na lógica de predicados, o objeto pode ser apenas concreto.
Todas as afirmativas são verdadeiras.
Apenas as afirmativas 1 e 2 são verdadeiras.
Apenas as afirmativas 2 e 3 são verdadeiras.
Apenas as afirmativas 1 e 3 são verdadeiras.
Todas as afirmativas são falsas.