Cercando di utilizzare il formalismo matematico per tradurre le conclusioni raggiunte dal dentista con il linguaggio logico classico, consideriamo i seguenti predicati