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

 

Функциональная несовместимость теорий относительно языка L
Если LЯзык(T1) и LЯзык(T2), то T1 и T2 функционально несовместимы относительно L существует формула A языка L такая, что T1|– A и T2|– ¬A, т.е. теории (T1L) и (T2L) не совместимы.

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