С помощью таблиц истинности проверить находятся ли суждения в отношении логического противоречия? 694
Предмет
Математическая логика
Тип работы
контрольная работа
Объем работы
7
Дата поступления
12.12.2012
1100 ₽
Содержание
1. Осуществить обращение непосредственного силлогизма 3
2. С помощью таблиц проверить является ли данное суждение законом? 4
3. Методом от противного определить является ли данное суждение законом? 5
4. С помощью таблиц истинности проверить находятся ли суждения в отношении логического противоречия? 6
5. По логическому квадрату, проверить в каком отношении находятся суждения? 7
Список литературы 8
Введение
Рассмотрим обращение силлогизма третьей фигуры Ferison в силлогизм первой фигуры Ferio.
Ни один женатый (M) не является монахом (P),
Некоторые женатые люди (M) являются священниками (S),
Некоторые священники не являются монахами.
Согласно правилу меньшая посылка должна быть обращена: PiSSiP: некоторые женатые люди являются священниками => некоторые священники являются женатыми людьми:
MeP =>MeP
MiS =>SiM
SoP =>SoP
Получаем:
Ни один женатый человек (M) не является монахом (P),
Некоторые священники (S) являются женатыми людьми (M);
Следовательно, некоторые священники (S) не являются монахами (P).
Из предложенного суждения получим:
Не все филателисты являются школьниками
2. С помощью табли
Литература
1. Лебедев С.А. Индукция как метод научного познания - М., 2005.
2. Маковельский А.О. История логики. - М., 1967.
3. Минто В. Дедуктивная и индуктивная логика. С-Пб., 2005.
4. Светлов В.А Практическая логика. С-Пб., 1997.
5. Свинцов В.И. Логика. М., 2001.