Логика для направления 032100. 62 «Востоковедение» подготовки бакалавра


Раздел 2. КЛАССИЧЕСКАЯ ЛОГИКА ВЫСКАЗЫВАНИЙ



Скачать 215.09 Kb.
страница3/5
Дата30.07.2018
Размер215.09 Kb.
ТипТематический план
1   2   3   4   5
Раздел 2. КЛАССИЧЕСКАЯ ЛОГИКА ВЫСКАЗЫВАНИЙ

Суждение, высказывание и предложение. Повествовательные, побудительные и вопросительные предложения и их логический смысл.

Простые и сложные высказывания. Образование сложных высказываний из простых. Принцип экстенсиональности. Виды сложных высказываний в зависимости от типа связок: соединительные, разделительные, условные высказывания, высказывания с внешним отрицанием.

Отношения между высказываниями по истинности. Совместимость по истинности, совместимость по ложности, несовместимость по истинности, несовместимость по ложности. Логическая независимость. Логическое следование. Отношения подчинения, эквивалентности, контрарности, субконтрарности, контрадикторности.

Язык логики высказываний. Алфавит и понятие формулы. Построение таблиц истинности для формул логики высказываний. Тождественно-истинные, тождественно-ложные и выполнимые формулы. Основные законы логики высказываний. Табличный способ установления отношений между высказываниями.

Натуральное исчисление высказываний и основные виды умозаключений из сложных высказываний. Условно-категорические умозаключения: модус поненс и модус толленс. Условные умозаключения: экспортация, импортация, транзитивность, контрапозиция. Разделительно-категоричес-кие умозаключения: modus ponendo tollens и modus tollendo ponens. Условно-разделительные умозаключения: простые и сложные дилеммы, конструктивные и деструктивные дилеммы.


Вопросы и задания для самостоятельной работы

1. Выявите логическую форму следующих сложных предложений средствами языка логики высказываний.

1. Некоторые мужчины не читают газет, если только они не пишут о футболе, не интересуются сплетнями, если только они не касаются футболистов, и не ухаживают за женщинами, если только те не болеют за любимую команду.

2. Если каждый день начинается с завтрака и заканчивается ужином, то каждая ночь начинается с ужина и заканчивается завтраком.

3. Если земельный участок не огорожен либо его собственник иным способом ясно не обозначил, что вход на участок без его разрешения не допускается, любое лицо может пройти через участок при условии, что это не причиняет ущерба или беспокойства собственнику.

4. Нашедший потерянную вещь обязан немедленно уведомить об этом лицо, потерявшее ее, или собственника вещи или кого-либо другого из известных ему лиц, имеющих право получить ее, и возвратить найденную вещь этому лицу.

5. Если Бог существует, то он существует либо необходимо, либо случайно, если же Бог не существует, то он также либо не существует необходимо, либо не существует случайно.



2. Построите таблицы истинности для следующих выражений.

1. ((p q ) r) p

2. (p  q)&(q p)&r

3. (p&q)  (q&s) (p&s)

4. (p&q)  r (q&r&s)

5. (p  q s)&(p  s)&q


3. Проверьте с помощью таблиц истинности правильность рассуждений.

  1. Если человек лишился рассудка, то он не может правильно рассуждать. Если человек не может правильно рассуждать, то его следует обучать логике. Следовательно, если человек лишился рассудка, то его следует обучать логике, а если человека не следует обучать логике, то он находится в здравом уме.

  2. Если вы поскользнулись и упали, то вы испачкались. Следовательно, если вы не испачкались, то вы не упали, даже если и поскользнулись.

  3. Если автор умнее читателя, то читатель не понимает его произведений. Если автор не умнее читателя, то читателю не интересны его произведения. Следовательно, ни одно произведение не является интересным и понятным.


4. Сделайте вывод из посылок из посылок и определите вид и правильность умозаключения.

  • Если бы действительно существующий мир не был лучшим из всех возможных миров, то, значит, лучшего Бог или не мог себе представить, или не мог сотворить и сохранить, или не хотел сотворить и сохранить: но (ввиду божественной мудрости, всемогущества и благости) неверно ни первое, ни второе, ни третье.

  • Если сон ужасен, то засыпать не стоило. Если сон приятен, то не стоит просыпаться. Сны бывают либо приятными, либо ужасными.

  • Болезни бывают инфекционные или неинфекционные. Диабет - это неинфекционная болезнь.

  • Если пример будет сложным, то ученик с ним не справится. Ученик справился с примером. Следовательно, он не был сложным.

  • Если температура падает, то в домах включают отопление. Температура не падает. Следовательно, в домах отопление не включили.

  • Если сопротивление в цепи возрастает, то сила тока падает. Сила тока не упала. Следовательно, сопротивление в цепи не возросло.

  • Если за окном завыла автомобильная сигнализация, значит, к автомобилю кто-то прикоснулся. Следовательно, если не касаться автомобиля, то за окном будет тихо.

  • Если умозаключение является правильным и все его посылки истинны, то и заключение должно быть истинным. Следовательно, если заключение не является истинным, то или по крайней мере одна из посылок не является истинной, или умозаключение не является правильным.


Литература

Основная: [Бочаров 2005, с.42-87].

Дополнительная: [Никифоров 1995, с.86-99]



Поделитесь с Вашими друзьями:
1   2   3   4   5


База данных защищена авторским правом ©znate.ru 2019
обратиться к администрации

    Главная страница