Title: Logique

Auteur
Benois Rognier, Guillaume Duhamel
Durée
4 h 30
Niveau
L1
Résumé rapide
Formaliser des phrases en langage naturel à l'aide des connecteurs et quantificateurs logiques. Chaques série d'exercices fournit des prédicats et des constantes spécifiques.
Acquis d'apprentissage
- connecteurs
- quantificateurs logiques

Réutilisation

Category: Formalisation — Formalisation présentation.h5p

Section 1
Lecture
Bûcheron
Grippe
Bonheur
Tournoi
Connaissance
Nature
Système solaire