Aller au contenu

Logique des propositions/Substitution

Leçons de niveau 15
Une page de Wikiversité, la communauté pédagogique libre.
Début de la boite de navigation du chapitre
Substitution
Icône de la faculté
Chapitre no 7
Leçon : Logique des propositions
Chap. préc. :Équivalence
Chap. suiv. :Sommaire
fin de la boite de navigation du chapitre
En raison de limitations techniques, la typographie souhaitable du titre, « Logique des propositions : Substitution
Logique des propositions/Substitution
 », n'a pu être restituée correctement ci-dessus.

Notion de substitution

[modifier | modifier le wikicode]


Mise en pratique

[modifier | modifier le wikicode]
Début de l'exemple
Fin de l'exemple


Notion de schéma

[modifier | modifier le wikicode]


Mise en pratique

[modifier | modifier le wikicode]
Début de l'exemple
Fin de l'exemple


Début de l'exemple
Fin de l'exemple


Il est important de constater que ce qui fait la validité ou non d'une formule, ce n’est pas la valeur de vérité qu'on distribue aux atomes, ou même l'agencement des atomes les uns par rapport aux autres, mais la construction de la formule : son schéma.