Logique des propositions/Substitution

Conclusion

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.