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. Previ...

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. Refletindo sobre a lógica de predicados, avalie as seguintes asserções e a relação proposta entre elas. I - A lógica de predicados pode ser percebida como a parte lógica formal ou simbólica moderna, de modo que por meio dela seja possível constatar as relações lógicas que se dão entre as sentenças, haja vista como os predicados são apresentados tendo como base os intervalos de sujeitos. PORQUE II - Regras como a conjunção “E”, a disjunção “OU”, a implicação “SE...ENTÃO...” e a negação “NÃO”, permitem que abordagens mais complexas sejam estruturadas atribuindo valores a essas operações para que seja possível chegar a um resultado qualificado. A respeito dessas asserções, assinale a opção correta: Grupo de escolhas da pergunta As asserções I e II são proposições verdadeiras, mas a II não é uma justificativa da I. A asserção I é uma proposição verdadeira, e a II é uma proposição falsa. As asserções I e II são ambas proposições falsas. As asserções I e II são proposições verdadeiras, e a II é uma justificativa da I A asserção I é uma proposição falsa, e a II é uma proposição verdadeira.