Giả sử P và Q là 2 mệnh đề, P→Q là một mệnh đề…?

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

Là một bộ không kể thứ tự gồm k thành phần khác nhau lấy từ n phần tử đã cho

Là bộ có thứ tự gồm k thành phần lấy từ n phần tử của tập đã cho

Là bộ có thứ tự gồm k phần tử khác nhau lấy ra từ n phần tử đã cho. Các phần tử không được lặp lại

Là một cách xếp có thứ tự n phần tử đó