Discussion Forum

Exercise 3, question 3b

Exercise 3, question 3b

by Anton Alfonsson -
Number of replies: 1

This is possibly a stupid question. But in question 3b of exercise 3, we are supposed to show that $R(T) \cup \set{r}$ is not consistent for alll $r = (xy|z) \notin R(T)$.

Are the $x,y,z$ in the triple $r$ restricted to come from the same leaf-set $L$? Or can $R(T) \cup \set{r}$ be over leafset $L \cup \set{x,y,z}$?

In reply to Anton Alfonsson

Re: Exercise 3, question 3b

by Marc Hellmuth -
No, this is not a stupid question and in fact not clearly stated in the exercise.

It should be that x,y,z are in the same leaf set L of the tree T.