4. Определите вид сложного умозаключения: ((рq)∧q)p и проверьте его правильность при помощи таблицы истинности.
Данное
сложное умозаключение является
дедуктивным. Умозаключение является
правильным, т.к. при любых комбинациях
значений принимает значение «истина».
Подтверждением тому служит таблица
истинности.
|
Л |
Л |
И |
И |
И |
И |
И |
|
Л |
И |
И |
Л |
Л |
И |
И |
|
И |
Л |
И |
И |
Л |
Л |
И |
|
И |
И |
И |
Л |
Л |
Л |
И |
Список
использованной литературы:
1.
Малыхина, Г. И. Логика / Г. И. Малыхина.
-Минск, 2002.
2.
Иванов, Е. И. Логика / Е. и, Иванов. -М.,2000.
3.
Тимощук, А.С. Методическая разработка
проведения занятия по теме 3 Понятие
курса “Логика” для слушателей дневной
формы обучения /А.С. Тимощук Владимир:
ВлЮИ МЮ РФ, 1999.
4.
Ивлев, Ю.В. Логика. / Ю. В. Ивлев. - М.: Логос,
1997
14