Sử dụng thuật ngữ “điều kiện cần và đủ”, phát biểu các định lí sau:
a) Một phương trình bậc hai có hai nghiệm phân biệt khi và chỉ khi biệt thức của nó dương;
b) Một hình bình hành là hình thoi thì nó có hai đường chéo vuông góc với nhau và ngược lại.