Логическое программирование

       

Тогда и только тогда, когда


Вследствие того, что предполагается замкнутость мира, множество предложений, определяющих отношение, имеет металингвистический смысл, несколько отличающийся от его смысла с позиций объектного языка. Предположим, к примеру, что в программе представлено три предложения:

начальник(джордж).

начальник(гарри).

начальник(нэнси).

На уровне объектного языка смысл этих фраз следующий:

“X  является начальником , если

        X  -  это  джордж  или

        X  -  это   гарри   или

        X  -  это  нэнси”.

Однако из-за предположения замкнутости мира фактический смысл этих трех фраз на уровне метаязыка будет несколько иным:

“X  является начальником  тогда и только тогда, когда

        X  -  это  джордж  или

        X  -  это   гарри   или

        X  -  это  нэнси”.



Содержание раздела