Question

"Se João estuda, então Marcela chora". A negação dessa proposição é logicamente equivalente a

Answer 1

A negação de uma condicional é a conjunção negando a segunda parte.

A condição são as proposições do tipo "se...então", e as conjunções simples são as proposições do tipo "e", a negação do "se...então" é feita com a mudança do conectivo por um "e", mantendo a primeira parte e negando a segunda parte.

Logo temos que se João estuda, então Marcela chora, a sua negação será: João estuda e marcela não chora.

A negação é uma forma de negar uma proposição de forma diferente do que simplesmente deixando ela falsa.