Al tratar de utilizar el formalismo matemático para traducir las conclusiones alcanzadas por el dentista con el lenguaje lógico clásico, consideramos los siguientes predicados