En lógica esto la afirmación sería: