Editor, Editors, USER, editor, translator
5,845
edits
Changes
The logic of classical language/pt (view source)
Revision as of 17:10, 3 November 2021
, 3 years agoCreated page with "afirma que não é verdade que aqueles com teste positivo em TMJ CT têm DTMs, então Mary Poppins (paciente normal com TMJ CT positiva) não tem DTMs"
<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>" afirma que não é verdade que aqueles com teste positivo em TMJ CT têm DTMs, então Mary Poppins (paciente normal com TMJ CT positiva) não tem DTMs.
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.