Передикатна інтерпретація – це
Великий англо-український та українсько-англійський словник. 2001 .
Дивитись що таке "предикатна інтерпретація" в інших словниках:
Предикатна логіка - Логіка першого порядку (обчислення предикатів) формальне обчислення, що допускає висловлювання щодо змінних, фіксованих функцій, і предикатів. Розширює логіку висловлювань. У свою чергу є окремим випадком логіки вищого ... Вікіпедія
Змінна - змінне, одне з основних понять математики та логіки. Починаючи з робіт П. Ферма, Р. Декарта, І. Ньютона, Г. В. Лейбниця та ін. основоположників «вищої» математики під П. розуміли деяку «величину», яка може «змінюватися»…
ЛОГІЧНІ ЗЛІЧЕННЯ - формалізації змістовних логіч. теорій; виведені об'єкти Л. п. інтерпретуються як судження, складені з найпростіших (що мають, взагалі кажучи, суб'єктно-предикатну структуру) за допомогою зв'язок і кванторів. Найчастіше… … Математична енциклопедія
ЛОГІКА ПРЕДИКАТІВ — центральний розділ логіки, в якому вивчається суб'єктно-предикатна структура висловлювання та істинні взаємозв'язки між ними. Л.П. є змістовним розширенням логіки висловлювань. У рамках даного розділу будь-яке висловлювання… … Філософська енциклопедія
Дескрипційна логіка — Описові логіки[1] або дескрипційні логіки[2][джерело не зазначено 861 день](скор. ДЛ, англ. description logics, іноді використовується неточний переклад: дескриптивні логіки) сімейство мов уявлення знань … Вікіпедія
Теорема Геделя про неповноту — Цей термін має й інші значення, див. Теорема Геделя. Теорема Геделя про неповноту та друга теоремаҐеделя[1] дві теореми математичної логіки про принципові обмеження формальної арифметики і, як наслідок, будь-якої… … Вікіпедія
Логіка другого порядка - в математичній логіці формальна система, що розширює логіку першого порядка[1] можливістю квантифікації спільності та існування не тільки над атомами, а й над предикатами. Логіка другого порядку неприйнятна до логіки першого порядку. В… … Вікіпедія
ЛОГІКА — (від грец. logos слово, поняття, міркування, розум), або Формальна логіка, наука про закони та операції правильного мислення. Відповідно до основного принципу Л., правильність міркування (висновку) визначається лише його логічною формою, або ... ... Філософська енциклопедія
ЛОГІКА ВИКАЗІВ — розділ логіки, в якому вивчаються істинні взаємозв'язки між висловлюваннями. У межах цього розділу висловлювання (пропозиції, пропозиції) розглядаються лише з т.зр. їх істинності чи хибності, безвідносно до їхньої внутрішньої суб'єктно… Філософська енциклопедія