Editor, Editors, USER, editor, translator
5,845
edits
Changes
The logic of classical language/pt (view source)
Revision as of 17:13, 3 November 2021
, 3 years agoCreated page with "Seguindo as regras lógicas dos predicados, não há razão para dizer que a negação (4) é contraditória ou sem sentido, portanto, o neurologista (ao contrário do dentist..."
<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>
Seguindo as regras lógicas dos predicados, não há razão para dizer que a negação (4) é contraditória ou sem sentido, portanto, o neurologista (ao contrário do dentista) não parece ter as ferramentas lógicas para confirmar sua conclusão.
{{q4|then the dentist triumphs!|don't take it for granted}}
{{q4|then the dentist triumphs!|don't take it for granted}}