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

a) Forma simbólica: p → ¬q Forma simbólica da negação: p ∧ q Escrita da negação: Não vai chover hoje ou devo lavar o carro. Explicação: A proposição p é "Vai chover hoje" e a proposição q é "Devo lavar o carro". A forma simbólica do argumento é p → ¬q, que pode ser lido como "Se vai chover hoje, então não devo lavar o carro". A negação dessa proposição é p ∧ q, que pode ser lido como "Não é verdade que vai chover hoje ou devo lavar o carro". b) Forma simbólica: p ∨ q Forma simbólica da negação: ¬p ∧ ¬q Escrita da negação: Não vamos andar de bicicleta e não vamos correr. Explicação: A proposição p é "Vamos andar de bicicleta" e a proposição q é "Vamos correr". A forma simbólica do argumento é p ∨ q, que pode ser lido como "Vamos andar de bicicleta ou correr". A negação dessa proposição é ¬p ∧ ¬q, que pode ser lido como "Não é verdade que vamos andar de bicicleta e não é verdade que vamos correr".

precisaria da resposta correta