Lógicas Não Clássicas

Prévia do material em texto

Atividade 4
Iniciado: 24 mai em 18:42
Instruções do teste

Pergunta 1 0,2 pts
Importante:
Caso você esteja realizando a atividade através do aplicativo "Canvas Student", é necessário que
você clique em "FAZER O QUESTIONÁRIO", no final da página.
Leia o texto a seguir:
“Susan Haack (1998) considera que existem dois tipos principais de lógicas não-clássicas: as que
são complementares, por não negarem os axiomas/regras da lógica clássica, mas apenas
ampliarem a lógica com novos operadores/quantificadores e criarem regras/axiomas para estes
novos operadores/quantificadores com a intenção de aumentar o escopo da lógica. E as alternativas,
que negam algum ou todos os axiomas da lógica clássica e pretendem substituí-la em muitos ou
todos domínios da lógica clássica.” (OLIVEIRA, 2010, p. 5).
Desse modo, conhecemos algumas lógicas que integram esse ambiente, sendo elas as
multivaloradas, as epistêmicas, as paraconsistentes, as intuicionistas, as não reflexivas, as
temporais, entre outras. Cada uma delas tem uma abordagem específica, enquanto, por exemplo,
uma busca a formalização do conhecimento proposicional, a outra tem o tempo como elemento de
destaque. Sendo assim, cada uma, nas suas especificidades, proporciona resultados que se
esperam na resolução de cada tipo de demanda que feita à máquina.
Fonte: OLIVEIRA, K. E. C. S. Uma introdução sobre lógicas não-clássicas. Universidade Estadual
Paulista, Faculdade de Ciências, Bauru, 2010. Disponível em:
http://www2.fc.unesp.br/matematica/semana/arquivos/lnc.pdf. Acesso em: 27 fev. 2023. (Adaptado)
 
Considerando as lógicas não clássicas alternativas, avalie as afirmações abaixo:
I. As lógicas multivaloradas fazem parte das lógicas não clássicas alternativas, e também são
conhecidas como lógicas plurivalentes e se caracterizam como um cálculo proporcional em que dois
valores ou mais são considerados verdade.
II. As lógicas epistêmicas fazem parte das lógicas não clássicas alternativas e também são
conhecidas como lógica do conhecimento. Por meio delas se procura formalizar o conhecimento
proposicional, elucidando princípios gerais do raciocínio.
III. As lógicas paraconsistentes fazem parte das lógicas não clássicas alternativas e estão
classificadas entre as lógicas não clássicas heterodoxas, isso ocorre porque elas derrogam alguns
dos princípios basilares da lógica clássica.
A+
A
A-
24/05/2024, 18:48 Teste: Atividade 4
https://famonline.instructure.com/courses/35570/quizzes/175784/take 1/6

Pergunta 2 0,2 pts
É correto o que se afirma em:
I e III, apenas.
III, apenas.
II e III, apenas.
I, apenas.
II, apenas.
Leia o texto a seguir:
A lógica modal é considerada uma das lógicas não clássicas, ou seja, uma extensão da lógica
clássica. Ela traz novos operadores e novas formas de avaliar a verdade dos fatos, considerando
necessidades e possibilidades associadas ao tempo, às crenças, ao conhecimento, etc. Sua
aplicação na computação é ampla. 
[...] 
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. 
As raízes da lógica remontam à Grécia Antiga. Nos períodos clássico e medieval, ela era
considerada um instrumento inseparável da ciência do pensamento científico (TAMBOSI, 2003).
Atualmente, a sua expansão ainda é contínua, fazendo-se relevante ferramenta dedutiva e
subdividindo-se em diversas tipificações, com saberes e problemas teóricos próprios. 
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. Um dos primeiros
pensadores a criar um estudo sistemático da lógica foi Aristóteles, que também forneceu os
primeiros conceitos que influenciaram a construção da lógica modal como a conhecemos hoje em
dia.
[...]
Uma fórmula é dita satisfeita em um ambiente lógico quando sua validade pode ser nele verificada.
Entretanto, na lógica modal, a validade de uma fórmula pode assumir diferentes valores em
diferentes mundos.
Fonte: SANTOS, M. S. Lógica modal. In: SANTOS, M. S. et al. (Orgs.). Lógica computacional. Porto
Alegre: Sagah, 2017, p. 173, 174, 185.
Considerando as informações apresentadas, assinale a opção correta.
A+
A
A-
24/05/2024, 18:48 Teste: Atividade 4
https://famonline.instructure.com/courses/35570/quizzes/175784/take 2/6

Pergunta 3 0,2 pts
Em lógicas modais, há um sistema de regras e também simbolismos usados para representar o raciocínio, há
também a presença do tempo.
Em lógicas modais, também conhecidas como lógica das normas, compreende-se o que é obrigatório ou permitido.
Em lógicas modais, há a caracterização da inclusão de um quantificador generalizado, o qual é interpretado com
um subconjunto.
Em lógicas modais, ou lógica do conhecimento, há a busca pela formalização do conhecimento proposicional.
Em lógicas modais, é possível raciocinar acerca de possibilidades e certezas, na lógica modal mundos possíveis
também são investigados.
Leia o texto a seguir:
 
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.
 
Fonte: SOARES, J. A. Linguagem e semântica da lógica dos predicados. In: SANTOS, M. S. et al.
(Orgs.). Lógica computacional. Porto Alegre: Sagah, 2017, p. 137.
 
Considerando a lógica de predicados, avalie as seguintes asserções e a relação proposta entre elas.
I. Na lógica de predicados, temos os cálculos de predicados, que permitem o raciocínio acerca de
propriedades de objetos e as relações.
PORQUE
II. É por meio dos predicados que as propriedades de objetos são expressas, sendo a parte lógica
formal onde são mostradas relações lógicas. 
A respeito dessas asserções, assinale a opção correta:
As asserções I e II são proposições verdadeiras, mas a II não é uma justificativa da I.
A+
A
A-
24/05/2024, 18:48 Teste: Atividade 4
https://famonline.instructure.com/courses/35570/quizzes/175784/take 3/6

Pergunta 4 0,2 pts

Pergunta 5 0,2 pts
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.
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.
Leia o texto a seguir:
 
Esse tipo de linguagem se tornou popular na Europa. Em 1981 os japoneses anunciaram o projeto
“Fifth Generation”, um plano de 10 anos para montar computadores inteligentes que utilizassem essa
linguagem. Essa linguagem de programação é de longe a mais utilizada em lógica, usada
principalmente como linguagem de prototipação rápida e para tarefas de manipulação de símbolos,
como a criação de compiladores. Este tipo de linguagem faz uso de letras maiúsculas para
representar variáveis e letras minúsculas para representar constantes. Vírgulas separam elementos
de conjunção em uma cláusula, e a cláusula é escrita “ao contrário” do que estamos acostumados:
em vez de A ∧ B ⇒ C, nesta linguagem temos C: - A, B.
 
Fonte: RUSSELL, S.; NORVIG, P. Inteligência artificial. Rio de Janeiro: Elsevier, 2013, p. 21 e 289.
(Adaptado).
Considerando o exposto, de qual tipo de linguagem de programação em lógica estamos falando?
Scheme
Common Lisp.
LISP
Deônticas.
Prolog.
A+
A
A-
24/05/2024, 18:48 Teste: Atividade 4
https://famonline.instructure.com/courses/35570/quizzes/175784/take 4/6
Leia o texto a seguir:
 
Para que um sistema computacional se torne inteligente e seja eficaz na sua manipulação, gerando
resultados promissores, utiliza-se algum tipo de lógica a fim de tornar o seu funcionamento cada vezmelhor.
 
“A lógica é a ciência do pensamento, e tem como papel fundamental o entendimento da linguística,
seria necessário que ela conseguisse formalizar qualquer tipo de argumento.” (OLIVEIRA, 2010, p.
3).
 
No entanto, existem vários tipos de lógica, desde as lógicas clássicas, que são as tradicionais e as
lógicas não-clássicas que surgiram como uma nova opção para formalização de todo e qualquer
argumento, pois como Oliveira informa, a lógica clássica é capaz de formalizar diversos tipos de
argumentos, contudo, existem alguns que não são possíveis de ser formalizados pelos métodos
clássicos.
 
Fonte: OLIVEIRA, K. E. C. S. Uma introdução sobre lógicas não-clássicas. Universidade
Estadual Paulista, Faculdade de Ciências, Bauru, 2010. Disponível em:
http://www2.fc.unesp.br/matematica/semana/arquivos/lnc.pdf
(http://www2.fc.unesp.br/matematica/semana/arquivos/lnc.pdf) . Acesso em: 27 fev. 2023. (Adaptado)
 
Considerando, então, as lógicas clássicas e não clássicas, leia as afirmações abaixo.
I. As lógicas clássicas são aquelas que não lidam bem com incertezas e com mudanças e entendem
que se um objeto é de tal maneira, ele sempre será assim.
II. As lógicas não clássicas são baseadas em princípios distintos e também admitem semânticas
distintas. Alguns exemplos são: lógicas epistêmicas e lógicas moduladas.
III. Para as lógicas não clássicas, é correto afirmar que o céu é azul, que árvores dão frutos e que
dois mais dois são quatro, por serem sentenças baseadas em linguagem pobre de poder de
expressão.
É correto o que se afirma em:
II e III, apenas.
II, apenas.
A+
A
A-
24/05/2024, 18:48 Teste: Atividade 4
https://famonline.instructure.com/courses/35570/quizzes/175784/take 5/6
http://www2.fc.unesp.br/matematica/semana/arquivos/lnc.pdf
http://www2.fc.unesp.br/matematica/semana/arquivos/lnc.pdf
http://www2.fc.unesp.br/matematica/semana/arquivos/lnc.pdf
http://www2.fc.unesp.br/matematica/semana/arquivos/lnc.pdf
Salvo em 18:48 
III, apenas.
I, apenas.
I e II, apenas.
Enviar teste
A+
A
A-
24/05/2024, 18:48 Teste: Atividade 4
https://famonline.instructure.com/courses/35570/quizzes/175784/take 6/6