Changes

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:

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:

*''x'' <math>\equiv</math> Normal patients (normal stands for patients commonly present in the specialist setting)

*''x'' <math>\equiv</math> Pacientes normais (normal significa pacientes comumente presentes no ambiente especializado)

*<math>A(x) \equiv</math> Bone remodelling with osteophyte from stratigraphic examination and condylar CT; and

*<math>A(x) \equiv</math> Bone remodelling with osteophyte from stratigraphic examination and condylar CT; and