Changes

{{q4|Then poor Mary Poppins is a TMD patient or she is not !!|let's see what Classical Language Logic tells us}}

{{q4|Then poor Mary Poppins is a TMD patient or she is not !!|let's see what Classical Language Logic tells us}}

**In addition to the confirmations derived from the logic of medical language discussed in the previous chapter, the dentist colleague acquires other instrumental data that allow him to confirm his diagnosis. The latter tests concern the analysis of the axiographic traces performed with a paraocclusal tray clutch which allow the visualization and quantification of the condylar traces in masticatory functions. As can be seen from Figure 4 the flattening of the condylar traces on the right side both in the mediotrusive masticatory kinetics (green colour) and the opening and protrusion cycles (gray colour) confirm the anatomical and functional flattening of the right TMJ in the dynamics chewing. In addition to the axiography, the colleague performs a surface electromyography on the masseters (Fig. 6) asking the patient to tighten to the maximum of his muscles force. This type of electromyographic analysis is called "EMG Interferential Pattern" due to the high frequency content of the spikes that undergo phase interference. In fact, Figure 6 shows the result of the test and shows an asymmetry in the recruitment of the motor units of the right masseter (upper trace) compared to those of the left masseter (lower trace).<ref>{{cite book  

In addition to the confirmations derived from the logic of medical language discussed in the previous chapter, the dentist colleague acquires other instrumental data that allow him to confirm his diagnosis. The latter tests concern the analysis of the axiographic traces performed with a paraocclusal tray clutch which allow the visualization and quantification of the condylar traces in masticatory functions. As can be seen from Figure 4 the flattening of the condylar traces on the right side both in the mediotrusive masticatory kinetics (green colour) and the opening and protrusion cycles (gray colour) confirm the anatomical and functional flattening of the right TMJ in the dynamics chewing. In addition to the axiography, the colleague performs a surface electromyography on the masseters (Fig. 6) asking the patient to tighten to the maximum of his muscles force. This type of electromyographic analysis is called "EMG Interferential Pattern" due to the high frequency content of the spikes that undergo phase interference. In fact, Figure 6 shows the result of the test and shows an asymmetry in the recruitment of the motor units of the right masseter (upper trace) compared to those of the left masseter (lower trace).<ref>{{cite book  

  | autore = Castroflorio T

  | autore = Castroflorio T

  | autore2 = Talpone F

  | autore2 = Talpone F

===Dental propositions===

===Dental propositions===

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

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

*''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)