l'analyse des logiques subjectives - Hal-SHS
fournit un test intéressant pour des systèmes d'IA (e.g. preuve automatique de
théorèmes). - ? Question 2. (20%). a) Est-ce que vous pouvez prouver que la
phrase 2 suivante est une conséquence logique de la phrase 1 par la résolution
par réfutation? Vous devez traduire d'abord ces phrases en expressions logiques
, ...