Định lí đảo
Cho định lý dưới dạng $\forall x \in X,P\left( x \right) \Rightarrow Q\left( x \right),$ (1)
$P\left( x \right)$ được gọi là giả thiết và $Q\left( x \right)$ là kết luận của định lý
Xét mệnh đề đảo của định lý dạng (1)
$\forall x \in X,Q\left( x \right) \Rightarrow P\left( x \right),$ (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).
|