Cho A = {1, 2, 3, 4, 5, 6}. Quan hệ R được xác định: ∀a,b ∈ A, aRb ⇔ a + b = 2k (k=1,2,...). Xác định phân hoạch do R sinh ra.

Chỉ nhận chân trị sai khi P đúng Q sai. Nhận chân trị đúng trong các trường hợp còn lại

Chỉ nhận chân trị sai khi P sai Q đúng. Nhận chân trị đúng trong các trường hợp còn lại

Chỉ nhận chân trị đúng khi P sai Q đúng. Nhận chân trị sai trong các trường hợp còn lại

Nhận chân trị đúng khi 1 trong 2 mệnh đề nhận chân trị đúng, sai trong các trường hợp còn lại

p ∧ (p ∨ q) ⇔ p; p ∨ (p ∧ q) ⇔ p

p ∨ 1 ⇔1; p ∧ 0 ⇔ 0

p ∨ 0 ⇔ p; p ∧ 1 ⇔ p

p ∨ p ⇔ p; p ∧ p ⇔ p

Phạn xạ - đối xứng

Phản xạ - đối xứng – bắc cầu

Phản xạ - đối xứng – phản đối xứng

Phản xạ - phản đối xứng – bắc cầu

Gián tiếp

Trực tiếp

Phân chia trường hợp

Phản chứng

Một nhóm các đối tượng hay vật thể có chung tính chất nào đó

Một nhóm các đối tượng và vật thể có chung tính chất nào đó

Một nhóm các đối tượng và vật thể có chung duy nhất một tính chất nào đó

Một nhóm các phần tử có chung duy nhất một tính chất nào đó

Là một mệnh đề mà chỉ nhận giá trị T khi và chỉ khi p, q nhận giá trị T. Nhận giá trị F trong các trường hợp còn lại

Là một mệnh đề chỉ đúng khi một trong p hoặc q là đúng và sai trong các trường hợp khác còn lại

Là một mệnh đề mà nó chỉ nhận giá trị T khi và chỉ khi ít nhất một trong hai mệnh đề p, q nhận giá trị T. Nhận giá trị F khi và chỉ khi cả p, q đều nhận giá trị F

Là một mệnh đề nhận giá T khi và chỉ khi p nhận giá trị F hoặc p và q cùng nhận giá trị T. Nhận giá trị F khi và chỉ khi p nhận giá trị T và q nhận giá trị F

{2, 4}

{1, 3, 5, 7}

{2, 4, 5, 6, 7, 8}

{1, 2, 3, 4, 5, 6, 7, 8}

{a, b, g}

{b, c, e}

{a, b, c, d}

{a, b, c, e}

Phần dễ giải quyết và phần khó giải quyết

Phần cơ sở và phần đệ quy

Phần cơ sở và phần quy nạp

Phần hữu hạn và phần quy nạp