Raisonnement correct

De Willforge
Aller à : navigation, rechercher

But formalisé de cette page[modifier]

Cette page a pour but

  1. de définir Raisonnement correct
  2. de donner une définition compréhensible par tous
  3. de donner une définition ne comportant aucun terme ambigu

Définition informelle[modifier]

Un raisonnement est dit formalisé s'il s'énonce dans une langue formelle, obéissant à des règles de syntaxe strictes et évacuant l'ambiguïté sémantique. Typiquement, les raisonnements mathématiques sont des raisonnements formalisés. Un raisonnement peut également être exprimé en langue naturelle et parfaitement respecter les règles d'inférences logiques. Il existe ainsi des degrés plus ou moins élevés de formalisme

d'après Wikipédia

Un raisonnement correct est un raisonnement formalisé exprimé en langue naturelle.

Définition formalisée[modifier]

Un raisonnement est dit formalisé s'il s'énonce dans une langue formelle, obéissant à des règles de syntaxe strictes et évacuant l'ambiguïté sémantique. Typiquement, les raisonnements mathématiques sont des raisonnements formalisés. Un raisonnement peut également être exprimé en langue naturelle et parfaitement respecter les règles d'inférences logiques. Il existe ainsi des degrés plus ou moins élevés de formalisme

Exemples[modifier]

Contre-exemples[modifier]

Autres définitions[modifier]

Conséquences[modifier]

Réfutations[modifier]

Les passages à souligner
Les remarques
Les passages à commenter
Les passages à questionner
Les passages à prouver
Les passages à réfuter
Les promesses à vérifier
Les passages à référencer
Les notes et références