TD : Exercices de logique - Mathématiques à Angers
l(x) : x apprécie le cours de logique r(x) : x apprécie le cours de droit romain d(x) : x apprécie le cours de droit pénal. ?x(p(x) ? s(x) ? ¬l(x) ? ¬d(x)) ...
l(x) : x apprécie le cours de logique r(x) : x apprécie le cours de droit romain d(x) : x apprécie le cours de droit pénal. ?x(p(x) ? s(x) ? ¬l(x) ? ¬d(x)) ...