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
Aelciojoziasputzel está aguardando sua ajuda, Clique aqui para responder.
Mais perguntas de Lógica
Lógica
Lógica
O seguinte trecho de texto é um problema de lógica: João tem um irmão mais novo. João é o irmão mais velho.
Alícia Galvão - há 2 anos
Lógica
