Les prédicats nous permettent de transformer en proposition une expression qui ne peut pas être évaluée sans ambiguïté à oui ou non. Cela fonctionne grâce à des outils de sélection comme les quantificateurs universels et existentiels. Nous rappellerons aussi des notions sur les ensembles et sur les intervalles. Notre but est de pouvoir attribuer une valeur de vérité à une expression. Cette version ces prédicats est conforme au programme des BTS CG.

0:00 • Présentation
1:29 • Prédicats
4:01 • Les ensembles en mathématiques
10:59 • Intervalle
16:13 • Quantificateur universel et quantificateur existentiel
18:14 • Traduire des prédicats
29:54 • Négation d'un prédicat
39:39 • Quantificateurs multiples
45:32 • Négation et quantificateurs multiples
50:57 • Du français vers la proposition
01:01:40 • Conclusion