Changes

<gallery mode="packed-hover" widths="250" heights="182" perrow="3">

<gallery mode="packed-hover" widths="250" heights="182" perrow="3">

File:Occlusal Centric view in open and cross bite patient.jpg|'''Figure 1a:''' Patient with malocclusion, open bite and right posterior crossbite who in rehabilitation terms must be treated with orthodontic therapy and / or orthognathic surgery.

File:Occlusal Centric view in open and cross bite patient.jpg|'''<translate>Figure</translate> 1a:''' <translate>Patient with malocclusion, open bite and right posterior crossbite who in rehabilitation terms must be treated with orthodontic therapy and / or orthognathic surgery</translate>

File:Bilateral Electric Transcranial Stimulation.jpg|'''Figure 1b:''' Motor evoked potential from electrical transcranial stimulation of the trigeminal roots.Note the structural symmetry calculated by the peak-to-peak amplitude on the left and right masseters (traces upper and lower respectively)

File:Bilateral Electric Transcranial Stimulation.jpg|'''<translate>Figure</translate> 1b:''' <translate>Motor evoked potential from electrical transcranial stimulation of the trigeminal roots.Note the structural symmetry calculated by the peak-to-peak amplitude on the left and right masseters (traces upper and lower respectively)</translate>

File:Jaw Jerk .jpg|'''Figure 1c:''' Mandibular reflex evoked or jaw jerk by percussion of the chin through a triggered neurological hammer. Note the functional symmetry calculated by the peak-to-peak amplitude on the left and right masseters (traces upper and lower respectively)

File:Jaw Jerk .jpg|'''<translate>Figure</translate> 1c:''' <translate>Mandibular reflex evoked or jaw jerk by percussion of the chin through a triggered neurological hammer. Note the functional symmetry calculated by the peak-to-peak amplitude on the left and right masseters (traces upper and lower respectively)</translate>

File:Mechanic Silent Period.jpg|'''Figure 1d:''' Mechanical silent period evoked by percussion of the chin through a triggered neurological hammer. Note the functional symmetry calculated on the integral area of the right and left masseters (traces upper and lower respectively).

File:Mechanic Silent Period.jpg|'''<translate>Figure</translate> 1d:''' <translate>Mechanical silent period evoked by percussion of the chin through a triggered neurological hammer. Note the functional symmetry calculated on the integral area of the right and left masseters (traces upper and lower respectively)</translate>.

</gallery>

</gallery>

----

----

{{q4|Let me better understand what Classical Language Logic has to do with it|We will do it following the clinical case of our Mary Poppins}}

{{q4|<translate>Let me better understand what Classical Language Logic has to do with it</translate>|<translate>We will do it following the clinical case of our Mary Poppins</translate>}}

{{apm}}

{{apm}}

==Mathematical formalism==

==<translate>Mathematical formalism</translate>==

In this chapter, we will reconsider the clinical case of the unfortunate Mary Poppins suffering from Orofacial Pain for more than 10 years to which her dentist diagnosed a 'Temporomandibular Disorders' (TMDs)  or rather Orofacial Pain from TMDs. To better understand why the exact diagnostic formulation remains complex with a Logic of Classical Language, we should understand the concept on which the philosophy of classical language is based with a brief introduction to the topic.  

<translate>In this chapter, we will reconsider the clinical case of the unfortunate Mary Poppins suffering from Orofacial Pain for more than 10 years to which her dentist diagnosed a 'Temporomandibular Disorders' (TMDs) or rather Orofacial Pain from TMDs. To better understand why the exact diagnostic formulation remains complex with a Logic of Classical Language, we should understand the concept on which the philosophy of classical language is based with a brief introduction to the topic</translate>.  

===Propositions===

===<translate>Propositions</translate>===

Classical logic is based on propositions. It is often said that a proposition is a sentence that asks whether the proposition is true or false. Indeed a proposition in mathematics is usually either true or false, but this is obviously a little too vague to be a definition. It can at best be taken as a warning: if a sentence, expressed in common language, makes no sense to ask whether it is true or false, it will not be a proposition but something else.

<translate>Classical logic is based on propositions. It is often said that a proposition is a sentence that asks whether the proposition is true or false. Indeed, a proposition in mathematics is usually either true or false, but this is obviously a little too vague to be a definition</translate>. <translate>It can be taken, at best, as a warning: if a sentence, expressed in common language, makes no sense to ask whether it is true or false, it will not be a proposition but something else</translate>.

It can be argued whether or not common language sentences are propositions as in many cases it is not often evident if a certain statement is true or false.  

<translate>It can be argued whether or not common language sentences are propositions as in many cases it is not often evident if a certain statement is true or false</translate>.  

‘''Fortunately, mathematical propositions, if well expressed, have no such ambiguities’.''

''‘<translate>Fortunately, mathematical propositions, if well expressed, do not show such ambiguities</translate>’.''

Simpler propositions can be combined with each other to form new, more complex propositions. This occurs with the help of operators<ref>For the sake of simplicity of exposition and reading, we will deal in this chapter with the ''symbol of belonging'', the ''symbol of consequence'' and the "''such that''" as if they were quantifiers and connectives of propositions in classical logic. <br>Strictly speaking, within classical logic they should not be treated as such, but even if we do, this does not absolutely change the meaning of the speech and no inconsistencies of any kind are created.</ref> called logical and quantifying connectives which can be reduced to the following:

<translate>Simpler propositions can be combined with each other to form new, more complex propositions. This occurs with the help of operators called ''logical operators'' and quantifying connectives which can be reduced to the following</translate><ref><translate>For the sake of simplicity of exposition and reading, we will deal in this chapter with the ''symbol of belonging'', the ''symbol of consequence'' and the "''such that''" as if they were quantifiers and connectives of propositions in classical logic</translate>.<br><translate>Strictly speaking, within classical logic they should not be treated as such, but even if we do, this does not absolutely change the meaning of the speech and no inconsistencies of any kind are created</translate>.</ref>:

#''Conjunction'', which is indicated by the symbol <math>\land</math>  (and):

#''<translate>Conjunction</translate>'', <translate>which is indicated by the symbol</translate> <math>\land</math>  (and):

#Disjunction, which is indicated by the symbol <math>\lor</math>  (or):

#''<translate>Disjunction</translate>'', <translate>which is indicated by the symbol</translate> <math>\lor</math>  (or):

#Negation, which is indicated by the symbol <math>\urcorner</math>  (not):

#''<translate>Negation</translate>'', <translate>which is indicated by the symbol</translate> <math>\urcorner</math>  (not):

#Implication, which is indicated by the symbol <math>\Rightarrow</math> (if ...then):

#''<translate>Implication</translate>'', <translate>which is indicated by the symbol</translate> <math>\Rightarrow</math> (if ... then):

#Consequence, which is indicated by the symbol <math>\vdash</math> (is a partition of..):

#''<translate>Consequence</translate>'', <translate>which is indicated by the symbol</translate> <math>\vdash</math> (is a partition of..):

#Universal quantifier, which is indicated by the symbol <math>\forall</math> (for all):

#''<translate>Universal quantifier</translate>'', <translate>which is indicated by the symbol</translate> <math>\forall</math> (for all):

#Demonstration, which is indicated by the symbol <math>\mid</math> (such that): and

#''<translate>Demonstration</translate>'', <translate>which is indicated by the symbol</translate> <math>\mid</math> (such that): and

#Membership, which is indicated by <math>\in</math> (is an element of) o <math>\not\in</math> (is not an element of):

#''<translate>Membership</translate>'', <translate>which is indicated by the symbol</translate> <math>\in</math> (is an element of) o <math>\not\in</math> (is not an element of):

===Demonstration by absurdity===

===Demonstration by absurdity===