Editor, Editors, USER, admin, Bureaucrats, Check users, dev, editor, Interface administrators, lookupuser, oversight, push-subscription-manager, Suppressors, Administrators, translator, widgeteditor
17,894
edits
Changes
The logic of classical language/it (view source)
Revision as of 03:52, 27 October 2021
, 3 years agoCreated page with "dimostrazione per assurdo"
"<math>(3)</math>" means that every patient who is TMJ CT positive has TMDs but even though Mary Poppins is TMJ CT positive, she does not have TMDs.
"<math>(3)</math>" means that every patient who is TMJ CT positive has TMDs but even though Mary Poppins is TMJ CT positive, she does not have TMDs.
In order to prove that this proposition is true, we must use once again the above mentioned <u>demonstration by absurdity</u>. If its denial creates a contradiction, surely the neurologist's proposition will be true:
In order to prove that this proposition is true, we must use once again the above mentioned <u>dimostrazione per assurdo</u>. If its denial creates a contradiction, surely the neurologist's proposition will be true:
<math>\urcorner\{a \not\in x \mid \forall \text{x} \; A(\text{x}) \rightarrow {B}(\text{x}) \and A( a)\rightarrow \urcorner B(a) \}</math>. <math>(4)</math>
<math>\urcorner\{a \not\in x \mid \forall \text{x} \; A(\text{x}) \rightarrow {B}(\text{x}) \and A( a)\rightarrow \urcorner B(a) \}</math>. <math>(4)</math>