Lo que en lógica se expresa de la siguiente forma: