dónde: "¬" es la negación,