Answered

O Sistersinspirit.ca ajuda você a encontrar respostas confiáveis para todas as suas perguntas com a ajuda de especialistas. Junte-se à nossa plataforma de perguntas e respostas e obtenha informações precisas de especialistas em diversas áreas. Obtenha respostas rápidas e confiáveis para suas perguntas de nossa dedicada comunidade de especialistas em nossa plataforma.

Exercícios Consequências e Equivalências Lógicas

1) Verifique se as seguintes consequências lógicas são válidas:

a. (¬p → q),(r ∧ ¬q)╞ (p → r)

b. (¬p → q) ∨ (r ∧ ¬q)╞ (p → ¬r)

c. (p → q),(r ∧ ¬q)╞ (p → r)

d. ¬(p ∨ q) ↔ (¬r → ¬q),¬q╞ (p ∧ ¬q) ∨ r

e. (p ∧ q ∧ r) → (¬r ↔ ¬q),¬r╞ (p) → r

f. p → (q ∨ r), p╞ (p ∧ q)

g. (p ∧ q) → (r ∧ s),¬(¬p), q╞ s

h. p╞ (p ∨ q) ∧ (p ∨ r)

i. p,¬(¬(p → q)) ╞ q ∨ ¬q

j. p ↔ (q ∨ r), q╞ p

k. p,(p ∧ q) → ¬r,¬r → ¬s╞ q → ¬s

l. ¬p ↔ (¬q ∨ ¬r), r ∧ p╞ p

2) Mostre que as seguintes equivalências lógicas são válidas:

a. ¬(¬p ∨ q) ≡ (p ∧ ¬q)

b. p ∧ (q ∨ p) ≡ p

c. (p → q) ∧ (p → r) ≡ p → (q ∧ r)

d. (p → q) ∨ (p → r) ≡ p → (q ∨ r)

e. (p → q) → r ≡ (p ∧ ¬r) → ¬q

f.

Sagot :

fabiolamalafaia270

Resposta:

a letra a

Explicação:

e veriquei que e a letra a

Esperamos que nossas respostas tenham sido úteis. Volte a qualquer momento para obter mais informações e respostas a outras perguntas que tenha. Agradecemos seu tempo. Por favor, volte a qualquer momento para as informações mais recentes e respostas às suas perguntas. Sistersinspirit.ca está aqui para suas perguntas. Não se esqueça de voltar para obter novas respostas.