Суперечливість

Супере́чливість — 1) властивість окремої формули, множини формул, формальної системи (числення, теорії) або їхніх інтерпретантів

2) те саме, що й контрадикто́рність; логічне відношення між формулами