Контрольная по логике 2
| Цена, руб. | 400 |
| Номер работы | 8757 |
| Предмет | Логика |
| Тип работы | Контрольная |
| Объем, стр. | 11 |
| Оглавление | "4. Выявите силлогистическую логическую форму следующих рассуждений (выбрать 5 – 6). Если необходимо уточните количественную оценку имеющихся суждений. Оцените их правильность с помощью известных Вами способов (метод круговых диаграмм Эйлера (не менее 2-х рассуждений), фигура//модус, алгоритм проверки силлогизмов (распределённость терминов, правила посылок)). 1. Трапеции — не ромбы, а квадраты не трапеции. Следовательно, некоторые ромбы являются квадратами. 2. Все жилые помещения нуждаются в ремонте, а это строение не является жилым помещением. Следовательно, оно не нуждается в ремонте. 3. Все млекопитающие — позвоночные и все лягушки — позвоночные. Следовательно, все лягушки — млекопитающие. 4. Этот человек не является местным жителем, ибо все местные жители знают дорогу к реке, а этот человек не знает ее. 5. Все выпускники школ сдают экзамены. Смирнов не является выпускником школы. Значит, он не сдает экзамены. 5. Задача про юристов. Даны следующие четыре утверждения: 1. Все адвокаты — юристы. 2. Некоторые адвокаты являются спортсменами. 3. Каждый спортсмен не курит. 4. Некоторые мужчины курят. Можно ли на основании этого утверждать, что некоторые юристы не курят? (обоснуйте ответ, используя круговые диаграммы Эйлера). Сам. работа № 3: Логика высказываний (пропозициональная логика) (пропозициональные схемы, метод истинностных таблиц, метод аналитических таблиц) 1. Попробуйте решить следующие две логические задачи: 1.1. Задача про ограбление банка. Вам известно, что в одном городе было совершено ограбление банка. В ходе расследования было установлено следующее. Преступник (или преступники) вывез награбленное на автомашине. В преступлении не мог быть замешан никто, кроме известных рецидивистов Смита, Джона и Брауна. Смит никогда не ходит на дело без Джона, а Браун не умеет водить машину. Можно ли на основе данных фактов обвинить Джона? 1.2.. Задача про устройство (Бочаров/Маркин): Существует сложное автоматическое устройство, состоящее из механизмов P, Q, R, S и удовлетворяющее следующим условиям: 1. Если работает механизм P, то не работает механизм Q; 2. По крайней мере, один из механизмов P или Q всегда работает; 3. Если работает механизм S, то не работает механизм R. Докажите, что в данном устройстве не могут одновременно работать механизмы P и S. 2.1. Сформулируйте основные законы и правильные пропозициональные схемы логики: Законы логики: закон тождества, закон исключенного третьего, закон непротиворечия modus ponens (модус поненс), modus tollens (модус толленс), modus tollendo ponens (разделительный силлогизм), цепь импликаций (чисто условный силлогизм, транзитивность импликации), закон контрапозиции, закон сложной контрапозиции, закон обратной контрапозиции, законы де Моргана, выражение импликации через дизъюнкцию и отрицание, выражение импликации через конъюнкцию и отрицание, дилеммы (простая и сложная, конструктивная и деструктивная), закон двойного отрицания, закон импортации и закон экспортации. 2.2. Сформулируйте схемы утверждения консеквента и отрицания антецедента. Покажите их неправильность с помощью контрпримера (можно использовать метод истинностных таблиц). 2.3. Недавно Британское адмиралтейство обратилось к министру финансов с просьбой выделять 18 шиллингов в месяц на питание кота, охраняющего документы от мышей. Министр ответил так: «Если в адмиралтействе есть мыши, то деньги на питание кота не нужны, т.к. он сможет питаться мышами. Если же мышей нет, то и деньги не нужны, т.к. тогда незачем вообще держать кота». Закончите рассуждение (подсказка: министр рассуждал по схеме одной из дилемм). 3. Выявите пропозициональную логическую форму следующих рассуждений. Оцените на основании логической формы правильность 5 из них с помощью известных Вам методов проверки: правильные схемы, метода истинностных таблиц или метода сокращенного перебора: 3.1. Схема рассуждения: P→Q∧R⊨¬P→(¬Q∨¬R). Если обозначить Q∧R=A, то в силу закона де Моргана схема рассуждения перепишется в виде P→A⊨¬P→¬A. 3.2. Схема рассуждения: ¬P→¬Q, R→¬P, Q ⊨¬R. 3.3. Схема рассуждения: P∧Q→R, ¬R⊨¬P∨¬Q. Если обозначить P∧Q=A, то в силу закона де Моргана схема рассуждения перепишется в виде A→R, ¬R⊨¬A. 3.4. Схема рассуждения: P∨Q, P→Q⊨Q. Построим таблицу истинности (применяя то же соображение о ложных посылках, что в п. 3.2): 3.5. Обозначим высказывание «вещественное число рационально» через P. " |
| Цена, руб. | 400 |
Заказать работу «Контрольная по логике 2»
Отзывы
-
17.04
Рецензия на отлично, спасибо!!!
Марина - 15.04 Михаил
-
04.04
Большое, Человеческое-СПАСИБО Вас Сергей, автору!!! Приятного вечера!
Владимир