Buscar

Identificar dentre as fórmulas abaixo as tautologias e as contradições. (a) ¬(p ∨ q) ∨ ¬q (b) p ∨ (p → q) (c) (p → q) → (¬q → ¬p) (d) p ∧ ¬(¬q ∨...

Identificar dentre as fórmulas abaixo as tautologias e as contradições.
(a) ¬(p ∨ q) ∨ ¬q
(b) p ∨ (p → q)
(c) (p → q) → (¬q → ¬p)
(d) p ∧ ¬(¬q ∨ p)
(e) p → (q → p)
(f) ¬(p → p)
(g) p → (¬p → q)

Essa pergunta também está no material:

Lista 1.2 - Cálculo Proposicional
3 pág.

Lógica I Pontifícia Universidade Católica do ParanáPontifícia Universidade Católica do Paraná

💡 1 Resposta

User badge image

Ed Verified user icon

Vamos analisar cada fórmula: (a) ¬(p ∨ q) ∨ ¬q: Esta fórmula não é uma tautologia nem uma contradição. (b) p ∨ (p → q): Esta fórmula não é uma tautologia nem uma contradição. (c) (p → q) → (¬q → ¬p): Esta fórmula é uma tautologia. (d) p ∧ ¬(¬q ∨ p): Esta fórmula não é uma tautologia nem uma contradição. (e) p → (q → p): Esta fórmula é uma tautologia. (f) ¬(p → p): Esta fórmula é uma contradição. (g) p → (¬p → q): Esta fórmula é uma tautologia. Portanto, as tautologias são: (c), (e) e (g). A contradição é: (f).

0
Dislike0

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

Esse e outros conteúdos desbloqueados

16 milhões de materiais de várias disciplinas

Impressão de materiais

Agora você pode testar o

Passei Direto grátis

Você também pode ser Premium ajudando estudantes

✏️ Responder

SetasNegritoItálicoSublinhadoTachadoCitaçãoCódigoLista numeradaLista com marcadoresSubscritoSobrescritoDiminuir recuoAumentar recuoCor da fonteCor de fundoAlinhamentoLimparInserir linkImagemFórmula

Para escrever sua resposta aqui, entre ou crie uma conta

User badge image

Outros materiais