Đoạn dưới đây chứng minh “3n + 2 là lẻ thì n là lẻ”: Vì 3n + 2 lẻ là đúng ta có 2 là số chẵn nên 3n là số lẻ, mà 3 là số lẻ nên n là số lẻ. Vậy ta đã có thể kết luận n là lẻ. Đoạn trên sử dụng phương pháp chứng minh nào:

A. \[\overline P \wedge Q\]

B. \[\overline P \vee Q\]

C. \[\overline P \wedge Q\]

D. \[P \wedge \overline Q \]

A. \[p \wedge \left( {q \vee r} \right) \Leftrightarrow \left( {p \wedge q} \right) \vee \left( {p \wedge r} \right);p \vee \left( {q \wedge r} \right) \Leftrightarrow \left( {p \vee q} \right) \wedge \left( {p \vee r} \right)\]

B. \[p \wedge \left( {q \vee r} \right) \Leftrightarrow \left( {p \wedge q} \right) \wedge r;p \vee \left( {q \wedge r} \right) \Leftrightarrow \left( {p \vee q} \right) \vee r\]

C. \[p \wedge \left( {q \vee r} \right) \Leftrightarrow \left( {p \vee q} \right) \vee \left( {p \vee r} \right);p \vee \left( {q \wedge r} \right) \Leftrightarrow \left( {p \wedge q} \right) \wedge \left( {p \wedge r} \right)\]

D. \[\overline {p \wedge q} \Leftrightarrow \overline p \vee \overline q ;\overline {p \vee q} \Leftrightarrow \overline p \wedge \overline q \]

A. Tập chứa tất cả các phần tử chỉ thuộc A hoặc chỉ thuộc B, đồng thời thuộc cả A và

B. B. Tập chứa tất cả các phần tử chỉ thuộc A hoặc chỉ thuộc B, không đồng thời thuộc cả A và B.

C. Tập chứa tất cả các phần tử chỉ thuộc A và thuộc B, không đồng thời thuộc cả A và B.

D. Tập chứa tất cả các phần tử chỉ thuộc A và thuộc B, đồng thời thuộc cả A hoặc B.

A. Các mệnh đề

B. Các vị từ

C. Các biến mệnh đề

D. Các phép toán logic

A. Định nghĩa, biến đổi tương đương logic

B. Lập bảng giá trị chân lý và kết luận theo định nghĩa

C. Biến đổi tương đương logic

D. Chứng minh trực tiếp

A. Biểu thức chỉ nhận chân trị đúng khi các biến mệnh đề nhận chân trị đúng

B. Biểu thức nhận chân trị đúng trong mọi trường hợp về chân trị của bộ biến mệnh đề.

C. Biểu thức nhận chân trị sai trong mọi trường hợp về chân trị của bộ biến mệnh đề

D. Biểu thức chỉ nhận chân trị sai khi các biến mệnh đề nhận chân trị sai

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

B. p ∨ 1 ⇔ 1; p ∧ 0 ⇔ 0

C. p ∨ 0 ⇔ p; p ∧ 1 ⇔ p

D. p ∨ p ⇔ p; p ∧ p ⇔ p