negação da condicional se então