Adaptez les exercices résolus à votre matière. Inscrivez-vous gratuitement

Exercices corrigés de logique propositionnelle

Une collection complète d'exercices corrigés couvrant les principales méthodes de la logique formelle.

Cette section propose des exercices résolus pas à pas en logique propositionnelle, logique des prédicats et théorie des ensembles. Les exercices sont classés par thème et niveau de difficulté pour un apprentissage progressif des techniques de démonstration.

Accès complet : Pour accéder aux exercices avancés et aux ressources complémentaires, inscrivez-vous sur Valideur.

Problèmes et énigmes

Énigmes logiques et problèmes de raisonnement
Défis de raisonnement logique et applications des techniques formelles à des situations concrètes.

Tables de vérité

Tables de vérité – Exercices corrigés
Construction de tables de vérité, identification des tautologies, contradictions et contingences. Méthodes complète et abrégée.

Théorie des ensembles

Théorie des ensembles – Exercices corrigés
Opérations ensemblistes, diagrammes de Venn, lois de De Morgan, simplifications, relations et fonctions.

Déduction naturelle

Déduction naturelle – Exercices corrigés
Démonstrations formelles avec le système de Gentzen pour la logique propositionnelle et des prédicats. Règles primitives et dérivées.

Formalisation

Formalisation du langage naturel
Traduction d'énoncés en français vers le langage formel de la logique propositionnelle et des prédicats.

Autres exercices par thème

Théorie des ensembles – Compléments

À noter: Les exercices sont régulièrement mis à jour. Pour toute suggestion ou correction, utilisez Écrivez-nous.