Created page with "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"
Line 579:
Line 579:
===Proposições dentais===
===Proposições dentais===
−
While seeking to use the mathematical formalism to translate the conclusions reached by the dentist with classical logic language, we consider the following predicates:
+
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> Normal patients (normal stands for patients commonly present in the specialist setting)