While seeking to use the mathematical formalism to translate the conclusions reached by the dentist with classical logic language, we consider the following predicates