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 cuidar do bebê, então não devo me distrair.

b) Vou lavar o carro e a bicicleta.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.