a,b,c €R  ve a ≠0 olmak üzere  ax²+bx+c  şeklindeki her açık önermeye ikinci dereceden bir bilinmeyenli bir denklem denir.Bu açık önermeyi doğrulayan ( eğer varsa) x gerçek sayılarına denklemin kökleri , tüm köklerin oluşturduğu kümeye denklemin çözüm kümesi , çözüm kümesini bulmak için yapılan işlemlere de denklemi çözme denir.