Page history
2 November 2021
Created page with "démonstration par l'absurde"
+2
Created page with "Afin de prouver que cette proposition est vraie, nous devons utiliser la méthode mentionnée ci-dessus."
+25
Created page with "Elle est également utilisée pour prouver qu'une affirmation particulière est fausse, ou qu'un élément de connaissance particulier est logiquement compatible/incompatible..."
+36
Created page with "À ce stade, il faut également considérer que la logique des prédicats n'est pas utilisée uniquement pour prouver qu'un ensemble particulier de prémisses implique une pre..."
+45
Created page with "Le langage des prédicats est exprimé de la manière suivante"
+2
Created page with " alors Mary Poppins est également affectée par les DTM."
+14
Created page with "être Mary Poppins positif (et aussi être un patient "normal") sur la radiographie de l'ATM"
+12
Created page with "il en découle que"
-7
Created page with "est affecté par les MDT"
+5
Created page with "et"
-1
Created page with "qui est positif à l'examen radiographique de l'ATM"
-7
Created page with "Tout patient normal"
+1
Created page with "Patient spécifique"
+3
Created page with "Troubles temporomandibulaires (TMD) entraînant des douleurs orofaciales (OP)"
+10
Created page with "et"
-1
Created page with "Remodelage osseux avec ostéophyte à partir de l'examen stratigraphique et du CT condylien"
+12
Created page with "Patients normaux (le terme "normal" désigne les patients couramment présents dans le milieu spécialisé)"
+20
Created page with "Propositions dentaires"
+3
Created page with "Traces supérieures superposées correspondant au masséter droit, inférieures au masséter gauche"
+11
Created page with "Modèle interférentiel EMG"
+1
Created page with "Axiographie du patient montrant un aplatissement du motif de mastication sur le condyle droit"
+3
Created page with "Tomodensitométrie de l'ATM"
-3
Created page with "Stratigraphie de l'ATM du patient montrant des signes d'aplatissement condylien et d'ostéophyte"
+18
Created page with "Patient signalant une "douleur orofaciale" dans son visage hémilatéral droit."
+15
Created page with "survolez les images"
-2
Created page with "2ème approche clinique"
+2
Created page with "En effet, la figure 6 montre une asymétrie dans le recrutement des unités motrices du masséter droit (trace supérieure) par rapport à celles du masséter gauche (trace in..."
+22
Created page with "En plus de l'axiographie, le collègue effectue une électromyographie de surface sur les masséters (Fig. 6) en demandant au patient d'exercer la force maximale de ses muscle..."
+17
Created page with "Comme on peut le voir sur la figure 4, l'aplatissement des traces condyliennes du côté droit, tant dans la cinétique masticatoire médiotruste (couleur verte) que dans les..."
+37
Created page with "En plus des confirmations dérivées de la logique du langage médical discutée dans le chapitre précédent, le collègue dentiste acquiert d'autres données instrumentales..."
+28
Created page with "voyons ce que la logique du langage classique nous dit"
+6
Created page with "Alors la pauvre Mary Poppins est une patiente TMD ou elle ne l'est pas !"
+18
Created page with "Intuitivement, un prédicat est une phrase qui concerne un groupe d'éléments (qui dans notre cas médical seront les patients) et qui énonce quelque chose à leur sujet"
+15
Created page with "Dans ce cas, on parle de prédicats"
Created page with "désigne un groupe générique (par exemple tous les joueurs de volley-ball)"
+16
Created page with "où"
-2
Created page with "ont une hauteur supérieure à 2 mètres"
+16
Created page with "Souvent, cependant, les énoncés mathématiques ne concernent pas l'objet unique, mais des objets génériques d'un ensemble tels que"
+18
Created page with "Ce que nous avons brièvement décrit jusqu'à présent est la logique des propositions. Une proposition affirme quelque chose à propos d'objets mathématiques spécifiques t..."
+61
Created page with "Prédicats"
Created page with "La procédure consiste à montrer que l'hypothèse selon laquelle <math>p</math> est fausse conduit à une contradiction logique. Ainsi, la proposition <math>p</math> ne peut..."
+18
Created page with "Supposons que nous devions prouver que la proposition <math>p</math> est vraie."
+11
Created page with " En outre, en logique classique, il existe un principe appelé le <u>tiers exclu</u> qui déclare qu'une phrase qui ne peut pas être fausse doit être considérée comme vrai..."
+30
Created page with "Démonstration par l'absurde"
+2
Created page with "ou par le symbole"
+1
Created page with "qui est indiqué par le symbole"
-1
Created page with "Adhésion"
-1
Created page with "qui est indiqué par le symbole"
-1
Created page with "Démonstration"
+1
Created page with "Quantificateur universel"
+4