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

 

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

© Автор статьи.