Exercice 6.5 - Solution avec preuve par construction

(∃R.D ⊓ ≤ 2R)(a)
R(a, b)
R(a, c)
U (b)
(¬U ⊓ ¬D)(c)


(∃R.D)(a)
(≤ 2R)(a)
R(a,x)
D(x)
¬U(c)
¬D(c)

Une entité est de trop parmi celles-ci: b, c et x.
Il faut donc qu'au moins deux d'entre elles soient la même.
Essayons toutes les possibilités:

Si b = c, on a U(b) et ¬U(b), donc une contradiction. Cas impossible
Si b = x, on a D(b)
Si c = x, on a D(x) et ¬D(x), donc une contradiction. Cas impossible

Dans le seul cas possible, on a D(b)