Os teoremas de equivalência do cálculo proposicional, além de serem utilizados em provas, podem ser aplicados em muitas outras situações. Uma delas...
Os teoremas de equivalência do cálculo proposicional, além de serem utilizados em provas, podem ser aplicados em muitas outras situações. Uma delas, é possibilitar escrever a negação de um argumento. Para os argumentos a seguir, represente a escrita da sua negação e a forma simbólica de ambas.
a) Estou dirigindo, então não devo beber bebida alcoólica.
b) Tentarei passar na prova ou serei reprovado.Obs.: não esqueça de identificar cada proposição e pontuar a equivalência utilizada.
Dica: Inicie escrevendo a forma simbólica do argumento, depois a forma simbólica da negação e o por fim, a escrita da negação
💡 3 Respostas
Ed 
a) Vamos identificar as proposições: P: Estou dirigindo Q: Não devo beber bebida alcoólica O argumento é: P -> ~Q A negação do argumento é: ~P -> Q Forma simbólica da negação: ~P -> Q b) Vamos identificar as proposições: P: Tentarei passar na prova Q: Serei reprovado O argumento é: P ∨ Q A negação do argumento é: ~(P ∨ Q) Forma simbólica da negação: ~(P ∨ Q)
vrvn1234
bastante complicada, curte meus materias para eu somar pontos
vrvn1234
teoremas de equivalência do cálculo proposicional, além de serem utilizados em provas, podem ser aplicados em muitas outras situações.
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 relacionadas
Compartilhar