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:55, 2 November 2021
, 3 years agoCreated page with "Se la sua negazione crea una contraddizione, sicuramente la proposizione del neurologo sarà vera"
"<math>(3)</math>" dire che ogni paziente che è positivo alla TMJ CT è affetta dai DTM, ma anche se Mary Poppins è positiva alla TMJ CT, non è affetta da DTM.
"<math>(3)</math>" dire che ogni paziente che è positivo alla TMJ CT è affetta dai DTM, ma anche se Mary Poppins è positiva alla TMJ CT, non è affetta da DTM.
Per dimostrare che questa proposizione è vera, dobbiamo usare ancora una volta la <u>dimostrazione per assurdo</u>. If its denial creates a contradiction, surely the neurologist's proposition will be true:
Per dimostrare che questa proposizione è vera, dobbiamo usare ancora una volta la <u>dimostrazione per assurdo</u>. Se la sua negazione crea una contraddizione, sicuramente la proposizione del neurologo sarà vera:
<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>