Logo Passei Direto
Buscar

Lógica

Outros
Sabemos que o objetivo da consequência lógica é por meio das implicações e equivalências tautológicas, provas diretas e regras de inferência para realizar a validação dos argumentos.
Sendo assim considere a seguinte proposição composta “Q”: Q: “Se alguém é mágico, então faz truques. Se alguém faz truques, ilude. Logo, se alguém é mágico, ilude.” Traduza para a forma simbólica e organize na forma do argumento. Assinale a alternativa correta:
a. 1. p ↔ q P1 2. ⁓q → r P2 3. ∴ p ˄ r C
b. 1. p ˄ q P1 2. q ↔ r P2 3. ∴ p → ⁓r C
c. 1. ⁓p → q P1 2. q ˅ r P2 3. ∴ ⁓p → r C
d. 1. p → q P1 2. q → r P2 3. ∴ p → r C
e. 1. ⁓p ↔ ⁓q P1 2. ⁓q → r P2 3. ∴ p ˅ r C
User badge image
Praticando Para Aprender

há 7 meses

Respostas

User badge image

Ed Verified user icon

há 6 meses

Vamos analisar a proposição composta “Q” e traduzi-la para a forma simbólica. A proposição diz: 1. "Se alguém é mágico, então faz truques." - Isso pode ser representado como \( p \to q \). 2. "Se alguém faz truques, ilude." - Isso pode ser representado como \( q \to r \). 3. "Logo, se alguém é mágico, ilude." - Isso é a conclusão que queremos, que pode ser representada como \( p \to r \). Agora, organizando isso na forma do argumento, temos: 1. \( p \to q \) (P1) 2. \( q \to r \) (P2) 3. Portanto, \( p \to r \) (C) Agora, vamos analisar as alternativas: a. \( 1. p ↔ q \) - Incorreto, pois não é uma bicondicional. b. \( 1. p ˄ q \) - Incorreto, pois não é uma conjunção. c. \( 1. ⁓p → q \) - Incorreto, pois não é uma negação. d. \( 1. p → q \) - Correto, pois representa a primeira proposição. e. \( 1. ⁓p ↔ ⁓q \) - Incorreto, pois não é uma bicondicional. A alternativa correta é: d. 1. p → q P1 2. q → r P2 3. ∴ p → r C.

Essa resposta te ajudou?

0
Dislike0
left-side-bubbles-backgroundright-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:

Mais perguntas desse material

A história da lógica começa com as contribuições do filósofo grego Aristóteles (384-322 a. C.) não tendo sido encontrado evidências de contribuições anteriores. Sendo assim, a lógica formal surge com Aristóteles na concepção de instrumentos do pensamento (Órganon).
Para Aristóteles, como era denominado o raciocínio dedutivo?
a. Algoritmo
b. Silogismos
c. Absorção
d. Abdução
e. Predicados

O método da suposição estabelecido por Stanislaw Lesniewski (1886-1939), um filósofo e matemático polonês, foi transformado em técnica pelo lógico polonês Stanisław Jaśkowski e aperfeiçoado por Jacques Herbrand (1930) e Alfred Tarski (1936) dando origem ao Teorema da Dedução.
Sendo assim, considere as seguintes proposições: p ˄ s → r; ⁓ (q ˄ ⁓p); s ; q → r. Organize na forma do argumento e assinale a alternativa correta:
a. 1. p ˅ s → r P1 2. (q ˄ p) P2 3. ⁓s P3 4. ∴ q → r C
b. 1. ⁓p ˅ (s ˄ r) P1 2. ⁓(q ˄ ⁓p) P2 3. r P3 4. ∴ q → r C
c. 1. ⁓p ˄ s ↔ r P1 2. (q ˄ ⁓p) P2 3. ⁓s P3 4. ∴ q → r C
d. 1. q ↔ s ˄ r P1 2. q → ⁓p P2 3. s P3

Mais conteúdos dessa disciplina