Logique et Programmation Logique - Université de Strasbourg
Exercice 1 (corrigé). 1.Formaliser les propositions suivantes en utilisant uniquement les prédicats indiqués, les connecteurs logiques et les quantificateurs ...
Exercice 1 (corrigé). 1.Formaliser les propositions suivantes en utilisant uniquement les prédicats indiqués, les connecteurs logiques et les quantificateurs ...