[LO5] 4.3. Substitutions propositionnelles
Channel: Sylvain Schmitz
Date: 2020-09-15

Définition des substitutions propositionnelles et exemples d'utilisation pour montrer que certaines formules sont logiquement équivalentes.