А... Б... В... Г... Д... Е... Ж... З... И... К... Л... М... Н... О... П... Р... С... Т... У... Ф... Х... Ц... Ч... Ш... Э... Ю... Я...

В начало сайта

ЛОГИКА ВЫСКАЗЫВАНИЙ

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

(Туристический терминологический словарь. 1999)

Библиотека словарей "Словарник"