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