Une maintenance est programmée. UniCApod sera indisponible jeudi 10/07/25. Évitez tout transfert de contenu à cette date.
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)