ПОЛОЖИТЕЛЬНАЯ ЛОГИКА — логика, в которой приемлемыми считаются рассуждения, не связанные с опровержениями, т. е. с обоснованиями ложности высказываний. Поскольку выражение «А ложно» есть лишь иная форма выражения «не А», в П. л. отказываются от любых способов… … Философская энциклопедия
ПОЛОЖИТЕЛЬНАЯ ЛОГИКА — совокупность логических теорий, в которых изучаются способы рассуждений, не связанные с опровержениями; не содержит операции отрицания … Большой Энциклопедический словарь
положительная логика — Двоичная логическая система, в которой логической "I" соответствует более высокий уровень сигнала, чем логическому "0". [ГОСТ Р 50304 92] Тематики системы для сопряж. радиоэлектр. средств интерфейсные … Справочник технического переводчика
положительная логика — совокупность логических теорий, в которых изучаются способы рассуждений, не связанные с опровержениями; не содержит операции отрицания. * * * ПОЛОЖИТЕЛЬНАЯ ЛОГИКА ПОЛОЖИТЕЛЬНАЯ ЛОГИКА, совокупность логических теорий, в которых изучаются способы… … Энциклопедический словарь
положительная логика — 8 положительная логика: Двоичная логическая система, в которой логической «I» соответствует более высокий уровень сигнала, чем логическому «0» Источник: ГОСТ Р 50304 92: Системы для сопряжения радиоэлектронных средств интерфейсные. Термины и… … Словарь-справочник терминов нормативно-технической документации
Положительная логика — логика, в которой приемлемыми считаются только рассуждения, не связанные с опровержениями, т. е. с обоснованиями ложности высказываний. Поскольку выражение «А ложно» есть лишь иная форма выражения «не А», в П. л. отказываются от любых… … Большая советская энциклопедия
ФОРМАЛЬНАЯ ЛОГИКА — наука, занимающаяся анализом структуры высказываний и доказательств, обращающая основное внимание на форму в отвлечении от содержания. Определение «формальная» было введено И. Кантом с намерением подчеркнуть ведущую особенность Ф.л. в подходе к… … Философская энциклопедия
Минимальная логика — логическая система, являющаяся ослаблением интуиционистской логики (См. Интуиционистская логика) и конструктивной логики (См. Конструктивная логика) за счёт исключения из числа постулатов формулы ⌉А ⊃ (А ⊃ В) (интерпретируемой как «из… … Большая советская энциклопедия
ГОСТ Р 50304-92: Системы для сопряжения радиоэлектронных средств интерфейсные. Термины и определения — Терминология ГОСТ Р 50304 92: Системы для сопряжения радиоэлектронных средств интерфейсные. Термины и определения оригинал документа: 75 абонент интерфейса: Радиоэлектронное средство, подключенное к интерфейсу для выдачи или приема информации… … Словарь-справочник терминов нормативно-технической документации
Логическое исчисление — Исчисление (формальная система), интерпретируемое в терминах какого либо фрагмента дедуктивной логики (См. Логика). Различные Л. и. служат базой для построения более богатых «нелогических» (например, математических) теорий. Примерами Л. и … Большая советская энциклопедия