Examens corriges

C2 session mai 2017 - Lettres Sorbonne Université

Dans cet exercice, LUSH Résolution en notation de Kowalski est exigée. Supposons données les hypothèses : P(a). P(b). Q(c). R(f(X)) ? ¬P(X).





Télécharger