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) Vou andar de carro, então devo encher os pneus.

b) André gosta de jogar futebol e não xadrez.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.