Grátis: As dez regras básicas de inferência são abrangentes, fornecendo provas para todas as formas válidas na linguagem da lógica proposicional. Apesar di... – Questões Respondidas

Cálculo

Outros

As dez regras básicas de inferência são abrangentes, fornecendo provas para todas as formas válidas na linguagem da lógica proposicional. Apesar disso, a utilidade de outras regras adicionais reside em sua capacidade de simplificar as provas, embora não permitam a demonstração de algo novo além do que já é possível pelas dez regras fundamentais. Desta forma, baseado nas Regras Derivadas estudadas em nosso livro, analise cada uma das sentenças a seguir: I. Lei de Morgam II. Modus Tollens III. Dilema Construtivo IV. Exportação Assinale a alternativa CORRETA:

A Somente as sentenças I, III e IV estão corretas.
B Somente as sentenças I e II estão corretas.
C Somente as sentenças II e IV estão corretas.
D Somente as sentenças II e III estão corretas.

Aprimorando com Questões

ano passado

Aprimorando com Questões

ano passado

Avaliação Final (Objetiva) - Individual-1

Avaliação Final (Objetiva) - Individual-1

UVA

Respostas

Ed

ano passado

Vamos analisar cada uma das sentenças: I. Lei de Morgan - Esta é uma regra válida na lógica proposicional que permite transformar negações de conjunções e disjunções. Portanto, está correta. II. Modus Tollens - Esta é uma regra de inferência válida que afirma que se "P implica Q" e "não Q" é verdadeiro, então "não P" deve ser verdadeiro. Portanto, está correta. III. Dilema Construtivo - Esta é uma forma de raciocínio que combina duas implicações para chegar a uma conclusão. É uma regra válida, então está correta. IV. Exportação - Esta é uma regra que permite transformar uma implicação em uma forma equivalente. Também é uma regra válida na lógica proposicional, então está correta. Dessa forma, todas as sentenças I, II, III e IV estão corretas. No entanto, como as alternativas não incluem uma opção que reconheça que todas estão corretas, precisamos considerar a alternativa que mais se aproxima. Como todas as sentenças estão corretas, não há uma alternativa correta entre as opções apresentadas. Você pode precisar revisar as opções ou verificar se há um erro nas sentenças ou nas alternativas.

Essa resposta te ajudou?

0

0

left-side-bubbles-background

right-side-bubbles-background

Crie sua conta grátis para liberar essa resposta. 🤩

Já tem uma conta?

Ao continuar, você aceita os Termos de Uso e Política de Privacidade

Ainda com dúvidas?

Envie uma pergunta e tenha sua dúvida de estudo respondida!

Essa pergunta também está no material:

Avaliação Final (Objetiva) - Individual-1

Avaliação Final (Objetiva) - Individual-1

UVA

Mais perguntas desse material

A lógica proposicional é um formalismo matemático através do qual podemos abstrair a estrutura de um argumento, eliminando a ambiguidade existente na linguagem natural. Um dos seus operadores é o Modus Tollens. Com base no conceito desse operador, assinale a alternativa CORRETA que completa a premissa X:
A) Se choveu, é porque é inverno. Premissa: X Conclusão: não choveu. A premissa X é: não choverá.

B) Se choveu, é porque é inverno. Premissa: X Conclusão: não choveu. A premissa X é: não é inverno.

C) Se choveu, é porque é inverno. Premissa: X Conclusão: não choveu. A premissa X é: é inverno.

D) Se choveu, é porque é inverno. Premissa: X Conclusão: não choveu. A premissa X é: choveu ontem.

Em Lógica Matemática dizemos que duas proposições são equivalentes se a primeira implicar a segunda e vice-versa. Por exemplo: P: todo triângulo tem a soma de seus ângulos internos igual a 180°. Q: se um polígono possui a soma de seus ângulos igual a 180°, ele é um triângulo. Notamos que P e Q traduzem uma afirmação equivalente. Sobre a proposição que a proposição ~(p ∧ ~q) é equivalente, assinale a alternativa CORRETA:

A p ∧ q.
B p ∨ ~q.
C ~p ∧ q.
D ~p ∨ q.

O argumento na lógica matemática é o conjunto de enunciados que estão relacionados uns com os outros. Os enunciados podem ser classificados como fortes e fracos, dependendo da quantidade e qualidade. Em 'aos sábados eu jogo futebol' temos que tipo de argumento?

A Forte.
B Forte e Fraco.
C Fraco.
D Não temos um argumento.

No contexto da análise crítica e lógica, as falácias são falhas fundamentais que comprometem a validade de um argumento, manifestando-se através de desvios de relevância, raciocínio circular, manipulação semântica, generalizações apressadas ou inadequações na estrutura lógica formal. Segundo as falácias estudadas na Lógica Matemática, classifique V para as sentenças verdadeiras e F para as falsas:

( ) A falácia indutiva, muitas vezes chamada de amostragem prudente, ocorre quando alguém especifica uma conclusão limitada com base em evidências abrangentes ou representativas.
( ) Falácias semânticas envolvem erros na interpretação da linguagem, levando a conclusões incorretas devido a ambiguidades ou uso inadequado de termos.
( ) Falácias de relevância ocorrem quando os argumentos desviam do ponto principal, usando distrações ou apelos emocionais.
( ) O raciocínio circular é uma estratégia válida para fortalecer um argumento e torná-lo mais convincente.
A) F V F F
B) C V F F
C) A F B C V F

As duas regras de inferência, a prova do condicional e a redução ao absurdo, diferem das outras, pois empregam raciocínio hipotético. Sobre onde podemos ter uma afirmação da prova do condicional ou da redução ao absurdo, analise as sentenças a seguir: I- Raciocínio hipotético é um raciocínio baseado em uma falácia. II- Uma suposição feita a fim de mostrar que uma conclusão particular segue daquela suposição. III- De modo diferente de outras suposições de uma prova, as hipóteses não são declaradas como verdadeiras. IV- Elas são 'artifícios lógicos', as quais acolhemos temporariamente, como um tipo especial de estratégia de prova. Assinale a alternativa CORRETA:

A As sentenças II, III e IV estão corretas.
B As sentenças I, III e IV estão corretas.
C As sentenças I, II e IV estão corretas.
D As sentenças I, II e III então corretas.

Uma tabela-verdade apresenta todos os valores lógicos possíveis para uma proposição simples. A combinação várias proposições simples e o eventual valor lógico de uma proposição é composta para cada combinação dos valores das proposições simples que a formam. Considerando a tabela-verdade da proposição P(p, q) = ~p ∨ q, e a coluna solução, de cima para baixo, assinale a alternativa CORRETA:

A F - V - F - V.
B V - V - F - F.
C V - V - V - V.
D V - F - V - V.

A representação simbólica do pensamento lógico facilita a resolução de questões. O uso de conectivos ajuda a traduzir as proposições para a linguagem simbólica. Por exemplo, não é necessário memorizar os argumentos e premissas, tampouco as conclusões. Basta associar cada informação a um conectivo representativo. Sobre como é conhecido o resultado da combinação de duas proposições ligadas por conectivos ou, ainda, expressas pelas palavras 'mas, visto que, entre outras', assinale a alternativa CORRETA:

A Condicional.
B Conjunção.
C Condução.
D Disjunção.

Ao analisar a última coluna de uma tabela-verdade, podemos fazer várias observações, como comparar um argumento com outro para verificar sua equivalência. Construindo a tabela-verdade da proposição P(p, q) = (p ↔ q) ∧ (q → p), e com base na coluna solução, de cima para baixo, assinale a alternativa que apresenta a sequência CORRETA:

A F - V - F - F.
B V - F - F - V.
C V - V - F - V.
D V - V - V - V.

Afirmação do consequente é uma falácia formal que consiste em confundir condição suficiente com necessária. Baseia-se contrária à negação do antecedente. Sobre uma afirmação do consequente, na proposição lógica, assinale a alternativa CORRETA:

A Se ganhar na Loteria, fico rico. Fiquei rico, logo, não ganho na loteria.
B Se ganhar na Loteria, fico rico. Fiquei rico, logo, se não ganho não fico rico.
C Se ganhar na Loteria, fico rico. Fiquei rico, logo, ganhei na loteria.
D Se ganhar na Loteria, fico rico. Fiquei rico, logo, fico rico.