Corrigés des exercices - De Boeck Supérieur
1. Formalisez en calcul des prédicats du premier ordre les phrases ci-dessous. Vous ne devrez utiliser que les quantificateurs ? et ?, les connecteurs ? ...
1. Formalisez en calcul des prédicats du premier ordre les phrases ci-dessous. Vous ne devrez utiliser que les quantificateurs ? et ?, les connecteurs ? ...