Словарь по логике

Контрадикторность: Высказывания A и B контрадикторны если и только если они не совместимы ни по истинности, ни по ложности.