Формализация естественного языка в логике высказываний. Язык логики высказываний. Простые и сложные высказывания. Логические союзы (конъюнкция, дизъюнкция, строгая дизъюнкция, импликация, тождество, отрицание) и их выражение в естественном языке. Грамматика логики высказываний. Основные принципы классической логики высказываний: принцип неразложимости простых высказываний, принцип не противоречия, принцип исключенного третьего, принцип функциональной зависимости истинностных значений сложных высказываний от истинностных значений простых высказываний.
Общая характеристика проблем следования и разрешения в логике высказываний. Тавтология и противоречие. Выполнимые формулы. Понятие логического закона в классической логике высказываний. Определение логических союзов (пропозициональных связок) с помощью таблиц истинности. Правила построения таблиц истинности. Установление функциональной зависимости истинностного значения сложных высказываний с помощью таблиц.
Равносильность формул логики высказываний. Тождественно-истинные преобразования.
Характеристика проблемы разрешения при табличном построении логики высказываний. Определение наличия логического следования. Логические отношения между сложными высказываниями.
Литература:
1. Гетманова А.Д. Логика. М., 1986. С. 80-89.
2. Ивин А.А. Логика. М., 1999. С. 132-141.
3. Ивлев Ю.В. Логика для юристов. М., 2000. С. 49-60.
4. Кириллов В.И., Старченко А.А. Логика: Учебник для юридических вузов. М., 2001. С. 78-85.
5. Никифоров А.Л. Общедоступная и увлекательная книга по логике. М., 1996. С. 58-72.