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...

Para representar a negação dos argumentos dados, podemos utilizar a seguinte estrutura: a) Vou cuidar do bebê, então não devo me distrair. Negação: Não vou cuidar do bebê ou devo me distrair. Forma simbólica: ¬(p → q), onde p representa "Vou cuidar do bebê" e q representa "Não devo me distrair". b) Vou lavar o carro e a bicicleta. Negação: Não vou lavar o carro ou não vou lavar a bicicleta. Forma simbólica: ¬(p ∧ q), onde p representa "Vou lavar o carro" e q representa "Vou lavar a bicicleta". Lembrando que a negação de uma proposição p é representada por ¬p.