Логічна формула
ЛОГІЧНА ФОРМУЛА - вираз у мові формальної логіки, що є аналогом речення. Точне визначення Л. ф. дається кожному за конкретного логич. мови. Як правило, визначення формули має індуктивний характер: виділяється клас виразів, які називаються ... Математична енциклопедія
ЛОГІЧНА СЕМАНТИКА — розділ металогіки, в якому вивчаються інтерпретації логічних обчислень. основ. поняття Л. с. можна поділити на 2 групи: (1) поняття, застосування до рих до виразів логіч. обчислення істотно залежить від вибору інтерпретації (див. також Модель).
ЛОГІЧНА ІСТИННІСТЬ - (у формальній логіці) - істинність пропозиції (судження, висловлювання), обумовлена його формально логіч. структурою та прийнятими під час його розгляду законами логіки (на відміну від т.зв. фактичної істинності, для встановлення до рій необхідний… … Філософська енциклопедія
ЛОГІЧНА АКСІОМА - Формула логіко математич. мови, яка приймається як аксіома при побудові формальної теорії, істинна в будь-якій структурі для даної мови в силу сенсу логіч. символів. Л. а. вибираються таким чином, щоб безліч логічних наслідків з математичної енциклопедії.
Логічна диз'юнкція — Диз'юнкція логічна операція, за своїм застосуванням максимально наближена до союзу «або» у сенсі «або те, чи це, чи обидва одразу». Синоніми: логічне «АБО», що включає «АБО», логічне складання, іноді просто «АБО». Це бінарна інфіксована … Вікіпедія
Логічна сума — Диз'юнкція логічна операція, за своїм застосуванням максимально наближена до союзу «або» у сенсі «або те, чи це, чи обидва одразу». Синоніми: логічне «АБО», що включає «АБО», логічне складання, іноді просто «АБО». Це бінарнаінфікована … Вікіпедія
ЛОГІЧНА МАТРИЦЯ - система де М непорожня безліч, двомісні, а одномісна операції на М. Будь-яку формулу логіки висловлювань, побудовану з пропозиційних змінних р 1, . рn за допомогою логіч. зв'язок можна розглядати як n-місцеву функцію на М, якщо р … Математична енциклопедія
семантика логічна — СЕМАНТИКА ЛОГІЧНА розділ логічної науки, в якому вивчають відносини виразів мови до об'єктів, що позначаються і виражається змісту. Якщо семантика як розділ семіотики має справу із загальними аспектами інтерпретації будь-якого типу… Енциклопедія епістемології та філософії науки
форма логічна - ФОРМА ЛОГІЧНА спосіб зв'язку складових частин змісту думки на відміну від цього змісту, результат відволікання від «матерії» думки, тобто. від того, які саме індивіди, властивості, відносини, класи, ситуації тощо. є… … Енциклопедія епістемології та філософії науки
А=А - формула, що виражає принцип тотожності у формальній логіці; читається: А є А , А тотожно А , А дорівнює А , А є те саме, що А , А еквівалентно А . Розрізняють онтологічний та логіч. аспекти принципу А = А. Онтологіч. аспект означає… … Філософська енциклопедія
Алгебра кортежів - Алгебра кортежів математична система моделювання та аналізу багатомісних відносин. 1 Використання терміна 2 Визначення 3 На чому … Вікіпедія