Logo Passei Direto
Buscar

Lógica

Outros
São utilizadas palavras explícitas ou não explícitas para conectar as frases e dotá-las de sentido. Entretanto, na Lógica Matemática substituímos essas palavras por uma simbologia, “˄”; “˅”, “˅”; “→”, “↔”, “⁓”, conhecido como conectivos lógicos, sentenciais ou proposicionais.
Considere as seguintes proposições: P: “Marcos é economista e Maria é estudante”. Q: “Se ingerirmos água, não morreremos por inanição”. R: “Mariê foi ao cinema ou ao teatro”. S: “O triângulo ABC é retângulo ou é equilátero”. Traduza as proposições da linguagem corrente para a simbólica e assinale a alternativa que apresenta as traduções de “P”, “Q”, “R” e “S”, respectivamente:
a. p ˅ q; p ↔ q; p → q; p ˅ q.
b. p ˄ ⁓q; p ˄ q; p ˅ q; ⁓p ˅ q.
c. p ˄ q; p → ⁓q; p ˅ q; p ˅ q.
d. p ↔ q; p → q; p ˄ q; p ↔ q.
e. ⁓p ˄ ⁓q; p ˅ q; p ˄ ⁓q; p ˄ q.
User badge image
Praticando Para Aprender

há 7 meses

Respostas

User badge image

Ed Verified user icon

há 6 meses

Vamos analisar as proposições uma a uma e traduzi-las para a simbologia lógica: 1. P: “Marcos é economista e Maria é estudante” - Esta proposição é uma conjunção, que se traduz como p ˄ q. 2. Q: “Se ingerirmos água, não morreremos por inanição” - Esta proposição é uma implicação, que se traduz como p → ⁓q (onde p é "ingerirmos água" e ⁓q é "não morreremos por inanição"). 3. R: “Mariê foi ao cinema ou ao teatro” - Esta proposição é uma disjunção, que se traduz como p ˅ q. 4. S: “O triângulo ABC é retângulo ou é equilátero” - Esta proposição também é uma disjunção, que se traduz como p ˅ q. Agora, vamos verificar as alternativas: a. p ˅ q; p ↔ q; p → q; p ˅ q. b. p ˄ ⁓q; p ˄ q; p ˅ q; ⁓p ˅ q. c. p ˄ q; p → ⁓q; p ˅ q; p ˅ q. d. p ↔ q; p → q; p ˄ q; p ↔ q. e. ⁓p ˄ ⁓q; p ˅ q; p ˄ ⁓q; p ˄ q. Analisando as traduções que fizemos: - P: p ˄ q - Q: p → ⁓q - R: p ˅ q - S: p ˅ q Nenhuma das alternativas corresponde exatamente a todas as traduções que fizemos. No entanto, a alternativa que mais se aproxima é a b, que contém a conjunção para P e a implicação para Q, mas não está correta para R e S. Portanto, a resposta correta não está entre as opções apresentadas. Você pode precisar revisar as proposições ou as alternativas.

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