Esse tipo de demonstração usa uma equivalência lógica para validar um teorema, tal equivalência pode ser escrita como: p→q↔~q→~p Tal demonstração é...
Esse tipo de demonstração usa uma equivalência lógica para validar um teorema, tal equivalência pode ser escrita como:
p→q↔~q→~p
Tal demonstração é uma
Demonstração por indução.
Demonstração por absurdo.
Demonstração direta.
Demonstração por indireta.
Demonstração por contra positiva.
p→q↔~q→~p
Tal demonstração é uma
Demonstração por indução.
Demonstração por absurdo.
Demonstração direta.
Demonstração por indireta.
Demonstração por contra positiva.
Essa pergunta também está no material:
💡 1 Resposta
Ed 
A equivalência lógica apresentada, p→q↔~q→~p, é conhecida como a equivalência contrapositiva. Portanto, a demonstração que utiliza essa equivalência é chamada de Demonstração por contrapositiva.
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
✏️ Responder
Para escrever sua resposta aqui, entre ou crie uma conta
Outros materiais
Perguntas dessa disciplina
Compartilhar