Cho R{x,y} là một quan hệ, trong đó các chữ x và y là phân biệt; cho z là một chữ, phân biệt với x và y, không xuất hiện trong
R{x,y}. Hãy chứng minh rằng quan hệ (∃x)(∃y)R{x,y} tương đương với
(∃z)(z laˋ một cặp coˊ thứ tự vaˋ R{pr1z, pr2z})
và rằng quan hệ (∀x)(∀y)R{x,y} tương đương với
(∀z) ((z laˋ một cặp coˊ thứ tự)⇒R{pr1z, pr2z}).
Không có.
Không có.