Editor, Editors, USER, admin, Bureaucrats, Check users, dev, editor, Interface administrators, lookupuser, oversight, Push subscription managers, Suppressors, Administrators, translator, Widget editors
17,889
edits
Difference between revisions of "Store:FLen01"
→Introduction
Gianfranco (talk | contribs) |
Gianfranco (talk | contribs) |
||
| Line 33: | Line 33: | ||
<math>\{a \in x \mid \forall \text{x} \; A(\text{x}) \rightarrow {B}(\text{x}) \vdash A( a)\rightarrow B(a) \}</math> (see chapter [[The logic of classical language|Classical Language's Logic]]), | <math>\{a \in x \mid \forall \text{x} \; A(\text{x}) \rightarrow {B}(\text{x}) \vdash A( a)\rightarrow B(a) \}</math> (see chapter [[The logic of classical language|Classical Language's Logic]]), | ||
argues that: "every normal patient ''<math>\forall\text{x} | argues that: "every normal patient ''<math>\forall\text{x}</math>'' which is positive on the radiographic examination of the TMJ ''<math>\mathrm{\mathcal{A}}(\text{x})</math>'' has TMDs''<math>\rightarrow\mathrm{\mathcal{B}}(\text{x})</math>'', as a direct consequence ''<math>\vdash</math>'' Mary Poppins being positive (and also being a "normal" patient) on the TMJ x-ray ''<math>A(a)</math>'' then Mary Poppins is also affected by TMDs ''<math>\rightarrow \mathcal{B}(a)</math>'' | ||
</math>'' which is positive on the radiographic examination of the TMJ ''<math>\mathrm{\mathcal{A}}(\text{x})</math>'' has TMDs''<math>\rightarrow\mathrm{\mathcal{B}}(\text{x})</math>'', as a direct consequence ''<math>\vdash</math>'' Mary Poppins being positive (and also being a "normal" patient) on the TMJ x-ray ''<math>A(a)</math>'' then Mary Poppins is also affected by TMDs ''<math>\rightarrow \mathcal{B}(a)</math>'' | |||
The limitation of the logical path that has been followed has led us to undertake an alternative path, in which the bivalence or binary nature of classical language logic is avoided and a probabilistic model is followed. The dentist colleague, in fact, changed the vocabulary and preferred a conclusion like: | The limitation of the logical path that has been followed has led us to undertake an alternative path, in which the bivalence or binary nature of classical language logic is avoided and a probabilistic model is followed. The dentist colleague, in fact, changed the vocabulary and preferred a conclusion like: | ||