Cho các định lí:
P: “Nếu hai tam giác bằng nhau thì diện tích của chúng bằng nhau”;
Q: “Nếu a < b thì a + c < b + c” (a, b, c ∈ℝ).
a) Chỉ ra giả thiết và kết luận của mỗi định lí;
b) Phát biểu lại mỗi định lí đã cho, sử dụng thuật ngữ “điều kiện cần” hoặc “điều kiện đủ”.
c) Mệnh đề đảo của mỗi định lí đó có là định lí không?