Examen de logique 1 Satisfiabilité et validité (6 points)
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 ? ...