Created page with "Cercando di utilizzare il formalismo matematico per tradurre le conclusioni raggiunte dal dentista con il linguaggio logico classico, consideriamo i seguenti predicati"
Line 579:
Line 579:
===Proposizioni odontoiatriche===
===Proposizioni odontoiatriche===
−
While seeking to use the mathematical formalism to translate the conclusions reached by the dentist with classical logic language, we consider the following predicates:
+
Cercando di utilizzare il formalismo matematico per tradurre le conclusioni raggiunte dal dentista con il linguaggio logico classico, consideriamo i seguenti predicati:
*''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)