Essa é para quem é fera em lógica.Exercício

Aelciojoziasputzel
há 3 anos
Lógica
59

Essa é para quem é fera em lógica.Exercício

Essa é para quem é fera em lógica.

Exercício proposto:

Demonstrar a validade dos seguintes argumentos utilizando as regras de inferência

e outras equivalências conhecidas:

1. ~ p → q, q → r, ~r ∨ s, ~s Ⱶ p

2. p → q, r → s, q ∨ s → t, ~t Ⱶ ~p ∧ ~r

RESPONDER

Aelciojoziasputzel está aguardando sua ajuda, Clique aqui para responder.