Rare
Calcul des prédicats
méthode formelle, utilise des variables sur des objets non logiques et permet l'usage de phrases qui contiennent des variables; seules les variables sont quantifiées
Calcul des prédicats
En logique mathématique, le calcul des prédicats du premier ordre, logique du premier ordre, calcul des relations, logique quantificationnelle[réf. nécessaire], ou tout simplement calcul des prédicats, est un système formel utilisé pour raisonner et décrire des énoncés en mathématiques, informatique, intelligence artificielle, philosophie et linguistique. Il a été proposé par Gottlob Frege comme une formalisation du langage des mathématiques entre la fin du XIXe siècle et le début du XXe siècle. La logique du premier ordre comporte deux parties : la syntaxe définit le vocabulaire symbolique de base ainsi que les règles permettant de construire des énoncés ; la sémantique interprète ces énoncés comme exprimant des relations entre les éléments d'un domaine, également appelé modèle. Sur le plan syntaxique, les langages du premier ordre opposent deux grandes classes linguistiques : les constituants servant à identifier ou nommer des éléments du domaine : variables, symboles de constantes...
Ouvre des boosters, collectionne des cartes et échange-les. Gratuit.
Jouer gratuitement