- множество высказываний
- мат. set of sentences
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
ЛОГИКА ВЫСКАЗЫВАНИЙ, или ПРОПОЗИЦИОНАЛЬНАЯ ЛОГИКА — раздел дедуктивной логики, в котором вопрос об истинности (или ложности) высказываний (т. е. суждений, рассматриваемых без их субъектно предикатной структуры) в умозаключениях рассматривается на основе изучения следующего средства их выражения т … Современный философский словарь
Логика высказываний — Для улучшения этой статьи желательно?: Проставив сноски, внести более точные указания на источники. Логика высказываний (или пропозици … Википедия
логика высказываний — (Пропозициональная логика) раздел логики, формализующий употребление логических связок и , или , не , если, то и т. п., служащих для образования сложных высказываний из простых. Высказывание называется простым, если оно не включает в себя другие… … Словарь терминов логики
Исчисление высказываний — Логика высказываний (или пропозициональная логика) это формальная теория, основным объектом которой служит понятие логического высказывания. С точки зрения выразительности, её можно охарактеризовать как классическую логику нулевого порядка.… … Википедия
Исчисления высказываний — Логика высказываний (или пропозициональная логика) это формальная теория, основным объектом которой служит понятие логического высказывания. С точки зрения выразительности, её можно охарактеризовать как классическую логику нулевого порядка.… … Википедия
логика высказываний — ЛОГИКА ВЫСКАЗЫВАНИЙ, пропозициональная логика раздел символической логики, изучающий сложные высказывания, образованные из простых, и их взаимоотношения. В отличие от логики предикатов, простые высказывания при этом выступают как… … Энциклопедия эпистемологии и философии науки
ВЕРОЯТНОСТНАЯ ЛОГИКА — логическая система, в которой высказываниям соответствует непрерывная шкала значений истинности от 0 до 1, причем нуль приписывается высказыванию о невозможном событии, а 1 практически достоверному. В.л. формально можно рассматривать как… … Философская энциклопедия
НЕКЛАССИЧЕСКАЯ ТЕОРИЯ МОДЕЛЕЙ — теория моделей, отличающаяся от классической тем, что либо формальный язык, с к рым она имеет дело, отличен от языка первого порядка либо логика, лежащая в ее основе, отлична от классической (двузначной). В дальнейшем, если не оговорено противное … Математическая энциклопедия
ЯЗЫК — сложная развивающаяся семиотическая система, являющаяся специфическим и универсальным средством объективации содержания как индивидуального сознания, так и культурной традиции, обеспечивая возможность его интерсубъективности, процессуального… … История Философии: Энциклопедия
ЯЗЫК — сложная развивающаяся семиотическая система, являющаяся специфическим и универсальным средством объективации содержания как индивидуального сознания, так и культурной традиции, обеспечивая возможность его интерсубъективности, процессуального… … История Философии: Энциклопедия