Calcul des prédicats : à quoi ça sert, à quoi ça ressemble ?

[@teemopanda3788]

encore un banger de sortie par le goat lui meme

[@guliagee6198]

Merci pour la vidéo

[@rubenalloun8034]

Salut, tes vidéos sont géniales ! Pourrais tu s'il te plait proposer une vidéo sur l'utilisation des différents quantificateurs dans les arbres de preuves. C'est vraiment quelque chose qui reste abstrait pour moi et qui est surtout très mal expliqué, pour ne pas dire inexistant sur KZbin. Merci ;)

[@JulesChouquet]

Bonjour, et merci pour le retour. Les quantificateurs dans les arbres de preuve, c’est-à-dire en déduction naturelle ?

[@rubenalloun8034]

@@JulesChouquet Oui Exact ! le " Il Existe " ou encore le " Pour Tout " etc ;)

[@JulesChouquet]

@@rubenalloun8034 Ok, je vais y songer dès que j’aurai le temps, ça fera suite aux vidéos de révision sur la déduction naturelle de cette playlist kzbin.info/www/bejne/iqK9hoSFhdaWgNk&pp=gAQBiAQB

[@rayata321]

C'est dommage que vous allez trop vite sans explication... Car s'il suffisait que vous parliez aussi vite que vous le fassiez avec presque aucune explication à la clé pour comprendre, le lecteur n'aura même pas besoin de cette vidéo et aura toutes les informations avant même l'écoute de votre vidéo. Donc en résumé, plus d'explications et moins de vitesse. Merci.

[@JulesChouquet]

Merci de votre retour. J’essaie de faire des vidéos pas trop longues, mais s’il y a des points précis qui ne sont pas clairs (dans cette vidéo c’est en effet un aperçu rapide de pas mal de choses) je pourrai faire d’autre vidéos pour les détailler.