Corrigés des exercices du chapitre 1 - Lionel Ponton
Page 7. 7. Les cinq propositions complexes peuvent être formalisées de la ... Page 62. ¬. {[? x (l(x) ? d(x)) ? ? x (r(x) ? l(x))] ? ? x (r(x) ? d(x))}.
Page 7. 7. Les cinq propositions complexes peuvent être formalisées de la ... Page 62. ¬. {[? x (l(x) ? d(x)) ? ? x (r(x) ? l(x))] ? ? x (r(x) ? d(x))}.