Восстановление пароля
Логин:   Пароль:  
Навигация по энциклопедии
А Б В Г Д Е Ё Ж З И Й К Л ЛА ЛЕ ЛЖ ЛИ ЛЛ ЛО ЛУ ЛХ ЛЧ ЛЫ ЛЬ ЛЭ ЛЮ ЛЯ М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я

Что такое (кто такой) "Логика Высказываний"

Значение слова "Логика Высказываний"

Партнеры
Большой энциклопедический словарь (БЭС) → Л → ЛО

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

ЛОГИКА ВЫСКАЗЫВАНИЙ, раздел логики, в котором вопрос об истинности или ложности высказываний рассматривается и решается на основе изучения способа построения высказываний из т.н. элементарных (далее не разлагаемых и не анализируемых) высказываний с помощь
ЛОГИКА ВЫСКАЗЫВАНИЙ, раздел логики, в котором вопрос об истинности или ложности высказываний рассматривается и решается на основе изучения способа построения высказываний из т.н. элементарных (далее не разлагаемых и не анализируемых) высказываний с помощью логических операций конъюнкции ("и"), дизъюнкции ("или"), отрицания ("не"), импликации ("если..., то...") и др. Логику высказываний, задаваемую системой постулатов (аксиом и правил вывода), называют исчислением высказываний.