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 "Seguendo le regole logiche dei predicati, non c'è motivo di dire che la negazione (4) sia contraddittoria o priva di senso, quindi il neurologo (a differenza del dentista) no..."
<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>
Seguendo le regole logiche dei predicati, non c'è motivo di dire che la negazione (4) sia contraddittoria o priva di senso, quindi il neurologo (a differenza del dentista) non sembrerebbe avere gli strumenti logici per confermare la sua conclusione.
{{q4|then the dentist triumphs!|non darlo per scontato}}
{{q4|then the dentist triumphs!|non darlo per scontato}}