- prof a écrit:
bye
b)
x appar à A et x n'appar po à C implque que x appar à B et x n'appar po à C
implique que x appar à B inter C barre
puisque pour tout x appartenant à A x appart à B
et pour
x £ A et x n'appar po à C implique que x £ B et x n'appar po à C
ça implique que A est inclu dans B