Difference between revisions of "La logica del linguaggio classico"

===Dimostrazione per assurdità===

 

Supponiamo di dover dimostrare che la proposizione <math>p</math> è vero. La procedura consiste nel dimostrare che l'assunzione che <math>p</math> è falso porta a una contraddizione logica. Così la proposizione <math>p</math> non può essere falso, e quindi, secondo la legge del terzo escluso, deve essere vero. Questo metodo di dimostrazione è chiamato dimostrazione per assurdo.<ref>{{Cite book  

Ciò che abbiamo brevemente descritto finora è la logica delle proposizioni. Una proposizione afferma qualcosa su oggetti matematici specifici come: "2 è maggiore di 1, quindi 1 è minore di 2" o "un quadrato non ha 5 lati, quindi un quadrato non è un pentagono". Molte volte, però, le affermazioni matematiche non riguardano il singolo oggetto, ma oggetti generici di un insieme quali: '''<math>X</math>'' sono più alti di 2 metri 'dove ''<math>X</math>'' denota un gruppo generico (ad esempio tutti i giocatori di pallavolo). In questo caso si parla di predicati.

Intuitivamente, un predicato è una frase che riguarda un insieme di elementi (che nel nostro caso medico saranno i pazienti) e che afferma qualcosa su di essi.

 

Oltre alle conferme derivate dalla logica del linguaggio medico discussa nel capitolo precedente, il collega dentista acquisisce altri dati strumentali che gli consentono di confermare la sua diagnosi. Questi ultimi test riguardano l'analisi dei tracciati assiografici mediante l'utilizzo di una frizione paraocclusale funzionale personalizzata che consente la visualizzazione e la quantificazione dei tracciati condilari nelle funzioni masticatorie. Come si vede dalla Figura 4 l'appiattimento delle tracce condilari sul lato destro sia nella cinetica masticatoria mediotrusiva (colore verde) che nei cicli di apertura e protrusione (colore grigio) confermano l'appiattimento anatomico e funzionale dell'ATM destra nella dinamica masticare. Oltre all'assiografia, il collega esegue un'elettromiografia di superficie sui masseteri (Fig. 6) chiedendo al paziente di esercitare il massimo della sua forza muscolare. Questo tipo di analisi elettromiografica è chiamata "EMG Interferential Pattern" a causa del contenuto ad alta frequenza dei picchi che subiscono l'interferenza di fase. Infatti la Figura 6 mostra un'asimmetria nel reclutamento delle unità motorie del massetere destro (traccia superiore) rispetto a quelle del massetere sinistro (traccia inferiore).<ref>{{cite book  

  }}</ref><center>

File:Spasmo emimasticatorio.jpg|'''Figura 2:''' Paziente che riporta 'Dolore orofacciale' nella faccia emilaterale destra

File:Spasmo emimasticatorio ATM.jpg|'''Figura 3:''' Stratigrafia dell'ATM del paziente che mostra segni di appiattimento condilare e osteofiti

File:Spasmo emimasticatorio assiografia.jpg|'''Figura 5:''' Assiografia del paziente che mostra un appiattimento del pattern masticatorio sul condilo destro