Gerekli ve yeterli arasındaki fark şu şekildedir: - Gerekli bir koşul, bir ifadenin doğru olması için kanıtlanması gereken bir şarttır. - Yeterli bir koşul ise, kanıtlandığında ifadenin doğru olduğunu garanti eden bir şarttır. Özetle, gerekli olan bir şeyin yokluğu durumunda sonuç da yok olurken, yeterli olan bir koşulda sonuç, o koşulun varlığıyla kesin olarak elde edilir.