Editor, Editors, USER, editor, translator
5,845
edits
Changes
The logic of classical language/fr (view source)
Revision as of 16:55, 2 November 2021
, 3 years agoCreated page with "En suivant les règles logiques des prédicats, il n'y a aucune raison de dire que la négation (4) est contradictoire ou dénuée de sens, donc le neurologue (contrairement a..."
<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>
En suivant les règles logiques des prédicats, il n'y a aucune raison de dire que la négation (4) est contradictoire ou dénuée de sens, donc le neurologue (contrairement au dentiste) ne semble pas avoir les outils logiques pour confirmer sa conclusion.
{{q4|then the dentist triumphs!|don't take it for granted}}
{{q4|then the dentist triumphs!|don't take it for granted}}