Changes

==Mathematical formalism==

==Mathematical formalism==

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 as Temporomandibular Disorders or rather Orofacial Pain from Temporomandibular Disorders (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.

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 as Temporomandibular Disorders or rather Orofacial Pain from Temporomandibular Disorders (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.

=== Propositions ===

=== Propositions ===

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

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

Simpler propositions can be combined with each other to form new, more complex propositions. This occurs with the help of operators<ref>For 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. Strictly speaking, within classical logic, they cannot be treated as such but also by doing so; but even doing so 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:

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:

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

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