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

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