Ao buscar usar o formalismo matemático para traduzir as conclusões a que chega o dentista com a linguagem da lógica clássica, consideramos os seguintes predicados