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