A negação da afirmação “Um atacante é bom cobrador de pênalti se, e somente se, ele é canhoto e é um bom cobrador de falta” é logicamente equivalente à afirmação:

um atacante é bom cobrador de pênalti se, e somente se, ele não é canhoto ou não é um bom cobrador de falta.

um atacante não é bom cobrador de pênalti se, e somente se, ele não é canhoto ou não é um bom cobrador de falta.

ou um atacante é bom cobrador de pênalti ou ele não é canhoto e não é um bom cobrador de falta.

ou um atacante é bom cobrador de pênalti ou ele é canhoto ou é um bom cobrador de falta.

se um atacante é canhoto ou é um bom cobrador de falta, então ele não é bom cobrador de pênalti.