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

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