ЛОГИКА ВЫСКАЗЫВАНИЙ
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором вопрос об истинности или ложности высказываний рассматривается и решается на основе изучения способа построения высказываний из т. н. элементарных (далее не разлагаемых и не анализируемых) высказываний с помощью логических операций конъюнкции ("и") — дизъюнкции ("или") — отрицания ("не") — импликации ("если..., то...") и др. Логику высказываний, задаваемую системой постулатов (аксиом и правил вывода) — называют исчислением высказываний.
Источник:
Большой энциклопедический словарь
на Gufo.me
Значения в других словарях
- ЛОГИКА ВЫСКАЗЫВАНИЙ — ЛОГИКА ВЫСКАЗЫВАНИЙ, пропозициональная логика – раздел логики символической [ЛОГИКА СИМВОЛИЧЕСКАЯ], изучающий сложные высказывания, образованные из простых, и их взаимоотношения. Новая философская энциклопедия
- Логика высказываний — Раздел математической логики (См. Логика), посвященный изучению логических форм сложных высказываний, образованных из элементарных высказываний с помощью связок, аналогичных союзам «и», «или», «если..., то...», отрицания («не») и др. Большая советская энциклопедия
- логика высказываний — ЛОГИКА ВЫСКАЗЫВАНИЙ, пропозициональная логика — раздел символической логики, изучающий сложные высказывания, образованные из простых, и их взаимоотношения. Энциклопедия эпистемологии и философии науки
