Множество высказываний непротиворечиво, если существует по меньшей мере одно такое распределение истинностных значений простым компонентам, что все А одновременно получают значение Т. Противоречивость множества высказываний есть отрицание его непротиворечивости. Так, есть противоречивое множество, если при всяком распределении истинностных значений простым компонентам по меньшей мере одно из А получает значение F. Короче говоря, непротиворечиво, если имеет значение Т по меньшей мере для одной комбинации приписываемых простым компонентам истинностных значений, и противоречиво, если имеет значение F для всех комбинаций истинностных значений, приписываемых простым компонентам.
Противоречие есть формула, которая всегда принимает истинностное значение F (например, )