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