“Chove” é uma condição necessária para a safra de grãos ser abundante.

“Se a safra de grãos não for abundante, então não chove” tem o mesmo valor lógico da proposição apresentada.

A negação pode ser “chove ou a safra de grãos não será abundante”.

“A safra de grãos será abundante” é uma condição suficiente para “chove”.

A negação pode ser “não chove ou a safra de grãos será abundante”.