непустой

  • 1непустой — непустой …

    Орфографический словарь-справочник

  • 2непустой — содержательный, небесплодный, незряшный Словарь русских синонимов. непустой прил., кол во синонимов: 3 • небесплодный (8) • …

    Словарь синонимов

  • 3ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории …

    Философская энциклопедия

  • 4АЛГЕБРАИЧЕСКАЯ СИСТЕМА — множество с определенными на нем операциями и отношениями. А. с. принадлежат к числу основных математич. структур и имеют глубоко разработанную общую теорию, сформировавшуюся в начале 50 х гг. 20 в. на грани между алгеброй и математич. логикой.… …

    Математическая энциклопедия

  • 5ЛОГИЧЕСКИЙ ЗАКОН — или Закон логики, выражение, содержащее только логические константы и переменные и являющееся истинным в любой (непустой) предметной области. Примерами Л.з. могут служить закон противоречия, закон исключенного третьего, закон де Моргана, закон… …

    Философская энциклопедия

  • 6ПРАВИЛО ВЫВОДА —         определяет переход от посылок к следствиям; более точно устанавливает соответствие между некоторой совокупностью высказываний (формул), наз. посылками, и одним определ. высказыванием (формулой), наз. логич. следствием из этих посылок.… …

    Философская энциклопедия

  • 7Список (информатика) — У этого термина существуют и другие значения, см. Список. В информатике, список (англ. list)  это абстрактный тип данных, представляющий собой упорядоченный набор значений, в котором некоторое значение может встречаться более одного… …

    Википедия

  • 8незряшный — непустой, небесплодный Словарь русских синонимов. незряшный прил., кол во синонимов: 4 • достойный внимания (11) • …

    Словарь синонимов

  • 9содержательный — Массивный, полный. Прот. полный …

    Словарь синонимов

  • 10логический закон — выражение, содержащее только логические константы и переменные и явля ющееся истинным в любой (непустой) предметной области. Примером Л. з. может служить любой закон логики высказываний (скажем, непротиворечия закон, закон исключенного третьего,… …

    Словарь терминов логики