Editor, Editors, USER, admin, Bureaucrats, Check users, dev, editor, founder, Interface administrators, member, oversight, Suppressors, Administrators, translator
11,492
edits
Changes
The logic of classical language/it (view source)
Revision as of 10:50, 2 November 2021
, 3 years agoCreated page with "afferma che non è vero che coloro che risultano positivi alla TMJ CT hanno i DTM, quindi Mary Poppins (paziente normale positiva alla TMJ CT) non è affetta da DTM"
<math>\urcorner\{a \in x \mid \forall \text{x} \; A(\text{x}) \rightarrow {B}(\text{x}) \vdash A( a)\rightarrow B(a) \}</math>. <math>(2)</math>
<math>\urcorner\{a \in x \mid \forall \text{x} \; A(\text{x}) \rightarrow {B}(\text{x}) \vdash A( a)\rightarrow B(a) \}</math>. <math>(2)</math>
"<math>(2)</math>" states that it is not true that those who test positive on TMJ CT have TMDs, so Mary Poppins (TMJ CT positive normal patient) does not have TMDs.
"<math>(2)</math>" afferma che non è vero che coloro che risultano positivi alla TMJ CT hanno i DTM, quindi Mary Poppins (paziente normale positiva alla TMJ CT) non è affetta da DTM.
The dentist believes that Mary Poppins' claim (that she does not have TMD under these premises) is a contradiction so the main claim is true.
The dentist believes that Mary Poppins' claim (that she does not have TMD under these premises) is a contradiction so the main claim is true.