Logique : Prédicats

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