Retour sur la logique propositionnelle (transformation des formules, étude de la validité des implications), sur la logique des prédicats, sur les diverses expressions de l'implication et de l'équivalence.
Mots clés : equivalence implication predicats propositions
Informations
- Jean-Luc Gautero (jgautero@unice.fr)
- 15 décembre 2023 17:42
- Séquence de cours
- Français
- Licence
Commentaire(s)