En términos lógicos representa la siguiente implicación: