ТЕМА 2 (часть 1)

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

1. Понятие формализованного языка. Основные отличия формализованных языков. Принципы

построения формализованных языков логики.
2. Язык классической логики высказываний (ЯКЛВ). Алфавит, синтаксис.
3. Понятие формулы языка.

Литература:
 Бочаров В.А., Маркин В.И. Введение в логику – гл. 3 §1
 Бочаров В.А., Маркин В.И. Основы логики – гл.2 § 1, 2.
Дополнительная литература:
 Горбатов В.В. Логика. М., 2007, тема 3 §1
 Войшвилло Е.К. Понятие как форма мышления. Часть 1, гл. 1
 Конверский А.Е. ЛОГИКА традиционная и современная. Гл.3

Основные определения, которые надо выучить:

Алфавит Алфавит ЯКЛВ
Выражение языка Формула КЛВ
Пропозициональная переменная Подформула
Пропозициональная связка Главный знак формулы
Технический символ

Упражнения:1
1. В каких из нижеследующих пассажей союзы «и», «но» не соответствуют конъюнкции КЛВ?
а) И решил я тогда: умру, но выучу хеттский язык!
б) Саша и Таня одного возраста.
в) Саша и Таня – студентки.
г) Сегодня у нас 2 пары английского и одна пара математики.
д) Встретились баба с пустыми ведрами и черная кошка, обе скончались на месте.
е) Если мы поможем ему, то и он нам тоже.
ж) Он заболел и умер.2

2. Для следующих формул укажите их главные знаки и все их подформулы. Постройте деревья
этих формул.
а) рq
б) (рq)
в) (pq)((sr)(sq))
г) ((рq)(qp))
д) (рq)(qp)

3. Являются ли данные последовательности символов формулами языка КЛВ? Если нет, то

укажите, где ошибка (ошибки)
а) (рq)((q(p))
б) (рq)(qp)
в) (рq)(qp)(рq)(qr)
г) (рq)(q(sr))
д) (рq)

1
Часть примеров в задании взята из учебника логики Невдобенко О.И. «Введение в символическую логику»
2
Рассматривая это предложение, учтите, что конъюнкция в изучаемой нами теории коммутативна, т.е. структура
(А&В) несет ту же информацию, что и структура (В&А)