En realidad la disyunción no es un operador básico o predefinido, sino que está meta-programado así: