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

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