a) Mệnh đề \(P \Rightarrow Q\), phát biểu là: “Nếu a và b chia hết cho c thì a + b chia hết cho c.”

Mệnh đề này đúng nên nó là một định lý.

Giả thiết của định lí: a và b chia hết cho c

Kết luận của định lí: a + b chia hết cho c

Phát biểu định lí dưới dạng điều kiện cần là: “ a + b chia hết cho c là điều kiện cần để có a và b chia hết cho c”

Phát biểu định lí dưới dạng điều kiện đủ là: “ a và b chia hết cho c là điều kiện đủ để có a + b chia hết cho c”

b) Mệnh đề đảo của mệnh đề \(P \Rightarrow Q\) là mệnh đề \(Q \Rightarrow P\).

Mệnh đề \(Q \Rightarrow P\): “Nếu a + b chia hết cho c thì a và b chia hết cho c”

Mệnh đề này sai.

Chẳng hạn a = 1 và b = 2, c =3. Ta có: \(1 + 2 = 3\; \vdots \;3\), nhưng 1 và 2 không chia hết cho 3.

a) Mệnh đề \(P \Rightarrow Q\) là: “Nếu \({a^2} < {b^2}\) thì  \(0 < a < b\)”

b) Mệnh đề \(Q \Rightarrow P\) là: “Nếu \(0 < a < b\) thì \({a^2} < {b^2}\)”

c) Mệnh đề \(P \Rightarrow Q\) là: “Nếu \({a^2} < {b^2}\) thì  \(0 < a < b\)” sai,

Chẳng hạn \(a =  2;\;b = -3\) ta có: \({2^2} < {( - 3)^2}\) nhưng không suy ra \(0<2<-3\).

 Mệnh đề \(Q \Rightarrow P\) là: “Nếu \(0 < a < b\) thì \({a^2} < {b^2}\)” đúng.

a) Mệnh đề \(P \Rightarrow Q\): “Nếu hai tam giác ABC và A’B’C’ bằng nhau thì chúng có diện tích bằng nhau”

b) Mệnh đề \(P \Rightarrow Q\) đúng nên nó là một định lí. Hai cách phát biểu định lí là:

Hai tam giác ABC và A’B’C’ bằng nhau là điều kiện đủ để có diện tích bằng nhau.

Hai tam giác ABC và A’B’C’ có diện tích bằng nhau là điều kiện cần để chúng bằng nhau.

“Tất cả học sinh của lớp đều thích học môn Toán”

+) Mệnh đề \(P \Rightarrow Q\) là: “Vì tam giác ABC đều nên tam giác ABC cân và có một góc bằng \({60^o}\)”.

+) Mệnh đề \(Q \Rightarrow P\) là: “Tam giác ABC cân và có một góc bằng \({60^o}\) suy ra tam giác ABC đều”.

Dễ thấy cả hai mệnh đề trên đều đúng.

+) Mệnh đề tương đương: (dùng một trong các cách sau:)

“Tam giác ABC đều tương đương tam giác ABC cân và có một góc bằng \({60^o}\)”

“Tam giác ABC đều là điều kiện cần và đủ để có tam giác ABC cân và có một góc bằng \({60^o}\)”

“Tam giác ABC đều khi và chỉ khi tam giác ABC cân và có một góc bằng \({60^o}\)”

“Tam giác ABC đều nếu và chỉ nếu tam giác ABC cân và có một góc bằng \({60^o}\)”

P: “tam giác ABC vuông tại A”

Q: “tam giác ABC có \(A{B^2} + A{C^2} = B{C^2}\)”

+) Mệnh đề \(Q \Rightarrow P\) là “Nếu tam giác ABC có \(A{B^2} + A{C^2} = B{C^2}\)thì tam giác ABC vuông tại A”

+) Từ định lí Pytago, ta có:

Tam giác ABC vuông tại A thì \(A{B^2} + A{C^2} = B{C^2}\)

Và: Tam giác ABC có \(A{B^2} + A{C^2} = B{C^2}\) thì vuông tại A.

Do vậy, hai mệnh đề “\(P \Rightarrow Q\)” và “\(Q \Rightarrow P\)” đều đúng.

P ⇒ Q: “ Nếu tam giác ABC có hai góc bằng 60o thì ABC là một tam giác đều”

Giả thiết: “Tam giác ABC có hai góc bằng 60o ”

Kết luận: “ABC là một tam giác đều”

Phát biểu lại định lí này dưới dạng điều kiện cần: “ABC là một tam giác đều là điều kiện cần để tam giác ABC có hai góc bằng 60o”

Phát biểu lại định lí này dưới dạng điều kiện đủ : “Tam giác ABC có hai góc bằng 60o là điều kiện đủ để ABC là tam giác đều”

C

dài  vvvvvvvvvvvvv

a) \(P:\forall x\left(x\in A\Rightarrow x\in B\right)\)

b) Mệnh đề đảo của P là \(\forall x\left(x\in B\Rightarrow x\in A\right)\) hay "B là một tập hợp con của A"

c) Phủ định của P là ; "A không phải là một tập con của B", hay "\(\exists x:\left(x\in A\Rightarrow x\notin B\right)\)"