Master 1 Informatique - Programmation logique par contraintes - IRIF
Exercice 10 - Traduire en logique propositionnelle les phrases suivantes : 1. Jules n'est jamais en vacances quand il lit le journal. 2. Pour que Jules soit à .
Exercice 10 - Traduire en logique propositionnelle les phrases suivantes : 1. Jules n'est jamais en vacances quand il lit le journal. 2. Pour que Jules soit à .