Logique du Premier Ordre
concept
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
Liens externes
Lien Wikipedia : https://fr.wikipedia.org/wiki/Calcul_des_prédicats
Lien Wikidata : https://www.wikidata.org/wiki/Q4055684