ЛОГИЧЕСКАЯ МАТРИЦА

ЛОГИЧЕСКАЯ МАТРИЦА

система где М - непустое множество, - двуместные, а - одноместная операции на М. Любую формулу логики высказываний, построенную из пропозициональных переменных р 1, ..., р n с помощью логич. связок можно рассматривать как n-местную функцию на М, если р 1, ..., р n считать переменными с областью значений М, а логич. связки интерпретировать как соответствующие операции Л. м. Формула наз. общезначимой в если при любых значениях переменных в множестве Мзначение принадлежит D. Л. м. наз. характеристической для исчисления высказываний К, если в общезначимы те и только те формулы, к-рые выводимы в К. Примером Л. м. может служить система

где

Эта Л. м. является характеристической для классич. исчисления высказываний. Как доказал К. Гёдель (К. Godel), нельзя построить Л. м. с конечным множеством М, характеристическую для интуиционистского исчисления высказываний. В. Е. Плиско.



Математическая энциклопедия. — М.: Советская энциклопедия. . 1977—1985.

Игры ⚽ Поможем решить контрольную работу

Смотреть что такое "ЛОГИЧЕСКАЯ МАТРИЦА" в других словарях:

  • логическая матрица — — [Я.Н.Лугинский, М.С.Фези Жилинская, Ю.С.Кабиров. Англо русский словарь по электротехнике и электроэнергетике, Москва, 1999 г.] Тематики электротехника, основные понятия EN logic array …   Справочник технического переводчика

  • логическая матрица — loginių elementų matrica statusas T sritis automatika atitikmenys: angl. gate array; logic array vok. Gatterfeld, n; Logikmatrix, f; logische Matrix, f rus. логическая матрица, f; матрица логических элементов, f pranc. matrice logique, f; réseau… …   Automatikos terminų žodynas

  • логическая матрица, программируемая в процессе эксплуатации — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN field programmable logic arrayFPLA …   Справочник технического переводчика

  • логическая матрица с эксплуатационным программированием — vartotojo programuojama loginių elementų matrica statusas T sritis automatika atitikmenys: angl. field programmable logic array vok. anwender programmierbare Logikanordnung, f rus. логическая матрица с эксплуатационным программированием, f pranc …   Automatikos terminų žodynas

  • логическая матрица, программируемая плавкими перемычками — loginė lydžiosiomis jungėmis programuojama matrica statusas T sritis radioelektronika atitikmenys: angl. fuse programmable array logic vok. schmelzverbindungsprogrammierbare Matrixlogik, f rus. логическая матрица, программируемая плавкими… …   Radioelektronikos terminų žodynas

  • программируемая пользователем логическая матрица — Логическая схема, функции которой могут быть изменены пользователем в процессе эксплуатации. [Л.М. Невдяев. Телекоммуникационные технологии. Англо русский толковый словарь справочник. Под редакцией Ю.М. Горностаева. Москва, 2002] Тематики… …   Справочник технического переводчика

  • программируемая логическая матрица — programuojamoji loginių elementų matrica statusas T sritis automatika atitikmenys: angl. programmable gate array; programmable logic array vok. programmierte Gatteranordnung, f; programmierte Logikanordnung, f rus. программируемая логическая… …   Automatikos terminų žodynas

  • НЕКОММУТИРОВАННАЯ ЛОГИЧЕСКАЯ МАТРИЦА — НЕКОММУТИРОВАННАЯ ЛОГИЧЕСКАЯ МАТРИЦА, в вычислительной технике СХЕМА, состоящая из логических вентилей, соединенных всеми возможными способами. Состоит из одного чипа и представляет собой ИНТЕГРАЛЬНУЮ СХЕМУ, в котором все элементы идентичны.… …   Научно-технический энциклопедический словарь

  • ПРОГРАММИРУЕМАЯ ЛОГИЧЕСКАЯ МАТРИЦА — ПРОГРАММИРУЕМАЯ ЛОГИЧЕСКАЯ МАТРИЦА, в вычислительной технике СХЕМА, состоящая из логических ячеек, соединенных различными способами. Она представляет собой ИНТЕГРАЛЬНУЮ СХЕМУ, в которой все элементы идентичны. Чтобы приспособить схему под… …   Научно-технический энциклопедический словарь

  • нескоммутированная логическая матрица — nesujungtoji loginių elementų matrica statusas T sritis radioelektronika atitikmenys: angl. uncommitted logic array vok. unverdrahtete Logikanordnung, f rus. нескоммутированная логическая матрица, f pranc. réseau logique incommutable, m …   Radioelektronikos terminų žodynas


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»