///
1) Se Luciana possui um cachorro, então Gabriel possui um gato.
2) Luciana possui um cachorro ou Diogo vai se casar.
3) Flávio não comprou uma bicicleta e Gabriel possui um cachorro.
A negação da segunda sentença é “Luciana não possui um cachorro e Diogo não vai se casar”.