Định lí đảo
Cho định lý dưới dạng ∀x∈X,P(x)⇒Q(x), (1) P(x) được gọi là giả thiết và Q(x) là kết luận của định lý Xét mệnh đề đảo của định lý dạng (1) ∀x∈X,Q(x)⇒P(x), (2) Mệnh đề (2) có thể đúng, có thể sai. Nếu mệnh đề (2) đúng thì nó được gọi là định lý đảo của định lý dạng (1).
|