Poster un commentaire à la suite de l’article...

lundi 26 octobre 2015
par  Alain BUSSER

Les ordinateurs sont-ils logiques ? 2 : Logique des prédicats

Le contraire de « pour tout x, p(x) » est « il existe au moins un x tel que non p(x) ». La logique des propositions ne permet pas de formaliser cela. Et algorithmiquement, l’étude de la logique des prédicats est difficile.

modération a priori

Ce forum est modéré a priori : votre contribution n’apparaîtra qu’après avoir été validée par un administrateur du site.

Qui êtes-vous ?
Votre message

Pour créer des paragraphes, laissez simplement des lignes vides.