Aller au contenu

Discussion:Propositions et opération élémentaire/Définition

Le contenu de la page n’est pas pris en charge dans d’autres langues.
Ajouter un sujet
Une page de Wikiversité, la communauté pédagogique libre.

J’ai ajouté un paragraphe pour introduire les idées de théorie axiomatique et de preuve qui sont nécessaire pour parvenir à la décidabilité (ou non) d'une proposition. Bien entendu il faut rester le plus terre à terre que possible puisque ce cours est de niveau 6. Cependant puisqu’un exemple de proposition indécidable est donné, il m'a semblé pertinent de s'attacher aussi au mécanisme de la décidabilité : partir d'un groupe d'axiomes, utiliser la logique pour parvenir à une preuve du caractère faux ou non d'une proposition.

Lujan 15 mars 2008 à 21:34 (UTC)Répondre