импликация
91Исчисления высказываний — Логика высказываний (или пропозициональная логика) это формальная теория, основным объектом которой служит понятие логического высказывания. С точки зрения выразительности, её можно охарактеризовать как классическую логику нулевого порядка.… …
92Климзо — Климзо, Борис Николаевич Климзо, Борис Николаевич Дата рождения: 1930 год(1930) Место рождения: Г …
93Пропозициональная логика — Логика высказываний (или пропозициональная логика) это формальная теория, основным объектом которой служит понятие логического высказывания. С точки зрения выразительности, её можно охарактеризовать как классическую логику нулевого порядка.… …
94ЛЬЮИС Кларенс — ЛЬЮИС (Lewis) Кларенс Ирвинг (12 апреля 1883, Стонем, Массачусетс 3 февраля 1964, Менло Парк, Калифорния) американский логик и философ, преподавал в Тарвардском и Стенфордском университетах, доктор философии (1910); член Американской академии …
95МНОГОЗНАЧНЫЕ ЛОГИКИ — МНОГОЗНАЧНЫЕ ЛОГИКИ обобщение классической двузначной логики (см. Логика высказываний) к примеру, посредством которого к обычным истинностным значениям “истина” и “ложь” добавляются и другие (промежуточные) значения. Этот факт указывает на то …
96ХРИСИПП — ХРИСИПП (Χρύσιππος) из Сол (ок. 278 ок. 205 н. э.), третий схоларх Стой и крупнейший представитель стоицизма, ученик и преемник Клеанфа. Жизнь. Единственное определенное хронологическое свидетельство «Хроники» Аполлодора (SVF II 1 = D. L …
97неклассические логики — НЕКЛАССИЧЕСКИЕ ЛОГИКИ широкая область логических исследований, выходящая за пределы или, наоборот, сужающая область исследований классической логики высказываний и логики предикатов. Идеи для построения Н. л. были высказаны еще до …
98релевантная логика — РЕЛЕВАНТНАЯ ЛОГИКА (от англ. relevant существенный) одно из направлений современной неклассической логики, сформировавшееся во второй половине 20 в. Ее возникновение связано с попыткой решить проблему формализации логического следования и …
99ЛОГИКА ВЫСКАЗЫВАНИЙ, или ПРОПОЗИЦИОНАЛЬНАЯ ЛОГИКА — раздел дедуктивной логики, в котором вопрос об истинности (или ложности) высказываний (т. е. суждений, рассматриваемых без их субъектно предикатной структуры) в умозаключениях рассматривается на основе изучения следующего средства их выражения т …
100обратное утверждение — обратная импликация инверсия — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом Синонимы обратная импликацияинверсия EN converse …
