Что такое Логика Высказываний? Значение Логика Высказываний в энциклопедическом словаре

Логика Высказываний - раздел логики, в котором вопрос об истинности илиложности высказываний рассматривается и решается на основе изученияспособа построения высказываний из т. н. элементарных (далее неразлагаемых и не анализируемых) высказываний с помощью логических операцийконъюнкции (""и""), дизъюнкции (""или""), отрицания (""не""), импликации(""если..., то..."") и др. Логику высказываний, задаваемую системойпостулатов (аксиом и правил вывода), называют исчислением высказываний.

Логика Высказываний

раздел логики, в котором вопрос об истинности илиложности высказываний рассматривается и решается на основе изученияспособа построения высказываний из т. н. элементарных ( далее неразлагаемых и не анализируемых) высказываний с помощью логических операцийконъюнкции (""и""), дизъюнкции (""или""), отрицания (""не""), импликации(""если..., то..."") и др. Логику высказываний, задаваемую системойпостулатов (аксиом и правил вывода), называют исчислением высказываний.

Значение слова Логика Высказываний в других словарях:

Узнайте лексическое, прямое, переносное значение следующих слов:

  • Логос - (греч. logos) одно из основных понятий древнегреческой ...
  • Логопатия - (от греч. logos слово речь и ...
  • Логометр - (от греч. logos слово здесь ...
  • Логово - (логовище) место долговременного отдыха, спячки или выведениядетенышей ...
  • Логическое Следствие - суждение (предложение, высказывание, формула),полученное посредством дедуктивного рассуждения из ...
  • Логический Элемент - простейшая структурная единица ЭВМ выполняющаяопределенную логическую операцию ...
  • Логический Позитивизм - течение неопозитивизма, возникшее в 1920х гг.(Венский кружок); пытался ...
  • Логарифмическая Кривая - то же, что логарифмика. ...
  • Логарифмирование - действие, заключающееся в нахождении логарифмачислового, алгебраического или иного ...
  • Логарифм - данного числа N при основании а показатель ...
  • Логан - (Logan) вершина в горах Св. Ильи на ...
  • Ловчие Птицы - хищные птицы (беркут, соколы, ястребы), используемые дляспортивной и ...
  • Ловушки - орудия и приспособления для ловли диких зверей и ...
  • Ловозерские Тундры - горный массив на Кольском полуострове, в Мурманскойобл. Высота ...
  • Себастьян - (Sebastian) Михаил (19071945) румынский драматург ипублицист. Психологические ...


Прикладные словари

Справочные словари

Толковые словари

Жаргонные словари

Гуманитарные словари

Технические словари