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 preocupado, então devo ter mais cuidado.

b) Estou escrevendo e não poderei ir ao jogo.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.