Demonstre a propriedade 18) acima usando a 20) e a 17) Propriedade 18) é ~ (p → q) = p ∧ ~q Usando a propriedade 20), temos que p → q = ~p ∨ q Apl...
Demonstre a propriedade 18) acima usando a 20) e a 17)
Propriedade 18) é ~ (p → q) = p ∧ ~q
Usando a propriedade 20), temos que p → q = ~p ∨ q
Aplicando a propriedade 17), temos que ~ (~p ∨ q) = ~p ∧ ~q
Logo, ~ (p → q) = p ∧ ~q
Propriedade 18) é ~ (p → q) = p ∧ ~q
Usando a propriedade 20), temos que p → q = ~p ∨ q
Aplicando a propriedade 17), temos que ~ (~p ∨ q) = ~p ∧ ~q
Logo, ~ (p → q) = p ∧ ~q
Essa pergunta também está no material:
💡 1 Resposta
Ed 
A demonstração apresentada está correta. Podemos substituir a proposição p → q pela sua equivalência ~p ∨ q, usando a propriedade 20), e em seguida, aplicar a propriedade 17) para negar a proposição ~p ∨ q, obtendo ~ (~p ∨ q) = ~p ∧ ~q. Por fim, podemos concluir que ~ (p → q) = p ∧ ~q, usando a propriedade 18).
✏️ Responder
Para escrever sua resposta aqui, entre ou crie uma conta
Outros materiais
Perguntas relacionadas
Compartilhar