Exercício 1
Formalizar as seguintes proposições
1. Se p então q.
2. Não é o caso que p ou q.
3. p somente se q e não r.
4. p ou não q.
5. Se p e q ...

Question

Exercício 1Formalizar as seguintes proposições1. Se p então q.2. Não é o caso que p ou q.3. p somente se q e não r.4. p ou não q.5. Se p e q então não r e não s.6. Se p então q e se q então p.1. Se p então q.2. Não é o caso que p ou q.3. p somente se q e não r.4. p ou não q.5. Se p e q então não r e não s.6. Se p então q e se q então p.

Ed · Answer

Vamos formalizar as proposições:

1. Se p então q: p → q
2. Não é o caso que p ou q: ¬(p ∨ q)
3. p somente se q e não r: p → (q ∧ ¬r)
4. p ou não q: p ∨ ¬q
5. Se p e q então não r e não s: (p ∧ q) → (¬r ∧ ¬s)
6. Se p então q e se q então p: (p → q) ∧ (q → p)

Espero que isso ajude! Se você tiver mais alguma pergunta, é só me dizer.

Exercício 1 Formalizar as seguintes proposições 1. Se p então q. 2. Não é o caso que p ou q. 3. p somente se q e não r. 4. p ou não q. 5. Se p e q ...

Lógica Matemática e Teoria dos Conjuntos

Colégio Objetivo

Essa pergunta também está no material:

Listas_exercicios_Logica

Lógica Matemática e Teoria dos Conjuntos • Fundação Centro de Ciências e Educação Superior a Distância do Estado do Rio de JaneiroFundação Centro de Ciências e Educação Superior a Distância do Estado do Rio de Janeiro

Respostas

Faça como milhares de estudantes: teste grátis o Passei Direto

Agora você pode testar o

Passei Direto grátis

Responda

Mais conteúdos dessa disciplina