Cette vidéo présente l'utilisation des prédicats pour bâtir des propositions. Nous allons voir pourquoi on ne peut pas évaluer un prédicat et comment ajouter une information sur les variables pour rendre la proposition évaluable. Un parallèle sera fait avec le Python pour montrer comment cela se concrétise avec un langage de programmation. Le contenu de cette vidéo reprend les notions du cours sur la logique du BTS SIO.

0:00 • Présentation
1:07 • Introduction au calcul des prédicats
4:16 • Quantificateurs
8:20 • Quantificateurs et négation
12:58 • Négation d'une proposition
16:03 • Vocabulaire du calcul des prédicats
19:28 • Quantificateurs multiples
22:58 • Quantificateurs multiples et négation
26:31 • Définir un intervalle en Python
29:55 • Quantificateurs en Python (any, all)
32:30 • Conclusion