Corrigé des exercices - iFAC
MLO - TD logique des prédicats. Exercice 1 (Logique du premier ordre et syntaxe). Question 1. Quand dit-on qu'une variable est libre dans une formule ? Une ...
MLO - TD logique des prédicats. Exercice 1 (Logique du premier ordre et syntaxe). Question 1. Quand dit-on qu'une variable est libre dans une formule ? Une ...