Carte Super 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

Valeur

200 W

Attaque

313

Défense

250

Joueurs

0

1 341 vues Wikipédia ces 30 derniers jours

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…