2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 логика помогите
Сообщение23.10.2017, 16:33 
ВАРИАНТ 17.
1. Сложные суждения. Разновидности логических союзов.
2. Установите, является ли определение корректным, а если - нет, укажите, какие правила нарушены:
1. Человек есть животное, строящее жилище.
2. Виктор Гюго - французский писатель, написавший роман «Собор Парижской.Богоматери».
3. Жизнь есть сумма жизненных функций.
4. Мошенничество — это преступление.
5. Солдат есть храбрый человек, который готов умереть за своё отечество.
3. Изобразите отношения между понятиями в кругах Эйлера:
1. Кража. Мошенничество. Разбой. Преступление против собственности. Грабеж.
2. Населенный пункт, село, город, город России, столица;
3. Студент, студент РАП, студент-юрист, военнообязанный;
4. Самолёт. Самолёт ТУ 134. Пассажирский самолёт. Грузовой самолёт. Винт самолёта. Крыло самолёта.
5. Сделка, оформленная в письменном виде. Сделка в устной форме. Нотариально заверенная сделка. Покупка овощей на рынке. Проезд на такси.
4. Какой из основных законов логики нарушен?
1. - Прекрасно! - промолвил Рудин. - Стало быть, по-вашему, убеждений нет?
- Нет и не существует.
- Это ваше убеждение?
-Да.
- Как же вы говорите, что их нет? Вот вам уже одно, на первый случай!
Все в комнате улыбнулись и переглянулись.
2. Один торговец занимался продажей копий и щитов и нахваливая свои щиты кричал: «Вот самые крепкие щиты, ничто не сможет пробить их!» Тут же, расхваливая свои копья, он говорил: «Эти копья пробивают что угодно».
Один из прохожих, услышав его слова, спросил: «А что будет, если попытаться проткнуть твой щит твоим же копьем?».
3. - Значит, это самая новая ткань?
- Только вчера получил, прямо с фабрики!
- А она не линючая?
- Да что вы! Больше месяца висела на витрине, и ничего ей не сделалось!
5. Запишите простой категорический силлогизм в стандартной форме. Проверьте по правилам, являются ли приведенные ниже категорические силлогизмы правильными, а заключение - истинным суждением.
1. Большинство учителей имеет высшее образование. Иванов - учитель. Значит, Иванов имеет высшее образование.
2. Все кинозалы нуждаются в проветривании. Это помещение не является кинозалом. Это помещение не нуждается в проветривании.
3. Все студенты нашей группы успешно сдали экзамены. Петров успешно сдал экзамен. Значит, он студент нашей группы.

1.Ответ
Сложные суждения - такие, которые состоят из простых суждений, связанных между собой логическими союзами (связками): «не», «и», «или», «если.., то», «если, и только если.., то».
Логические союзы, выражают логические операции.
Отрицание - логическая операция, в результате которой из данного суждения (р) получается новое суждение (не- р), называемое отрицанием исходного суждения.
Конъюнкция - логическая операция, соединяющая два или более высказывания при помощи союза «и» (p q).
Дизъюнкция - логическая операция, соединяющая два или более высказывания при помощи союза «или» (р или q; символически pq). Союз «или» употребляется в естественном языке в двух значениях - соединительно-разделительном и исключающее - разделительном.
Слабая дизъюнкция - логическая операция, соединяющая высказывания при помощи союза «или», употребленного в соединительно-разделительном значении, т. е. когда входящие в сложное суждение составляющие суждения не исключают друг друга. Например, в суждении «Н. - преступник или М. - преступник» утверждается, что преступником может быть Н. или М., или оба вместе (символически: pq).
Строгая дизъюнкция - логическая операция, соединяющая высказывания при помощи союза «или», употребленного в исключающем смысле: либо Н. преступник, либо М. - преступник, но не оба вместе (либо p, либо q; символически: pq).
Импликация - логическая операция, соединяющая высказывания при помощи союза «если.., то» (символически р → q).
Эквивалентность - логическая операция, позволяющая из двух высказываний р и q получить новое высказывание: р эквивалентно q (символически р ≡ q, или р ↔ q).
В зависимости от того, какие логические союзы используются при образовании сложных суждений, последние делятся на следующие виды: отрицательные, соединительные, разделительные, условные и эквивалентные суждения.
Все эти сложные суждения могут быть истинными и ложными. Но их истинность (ложность) зависит от истинности (ложности) простых суждений и смысла логических союзов, с помощью которых они образуются. Точный смысл логических союзов определяется с помощью так называемых таблиц истинности. Рассмотрим каждый их этих видов суждений.
Отрицание - суждение, образованное с помощью союза «не». Например, имеем суждение: «Человек совершил преступление» (р). Его отрицанием будет: «Неверно, что человек совершил преступление» p). Смысл отрицания состоит в следующем: если какое-то суждение (р) - истинно, то его отрицание (p) будет ложным. Если p - ложно, то его отрицание p - истинно. Союз «не» меняет значение истин¬ности на противоположное.
Конъюнктивное (соединительное) суждение - суждение, которое включает в качестве составных частей другие суждения, объединяемые союзом «и». Например: «Мы поедем в Санкт-Петербург и посетим Русский музей». В этом суждении выражается уверенность, что произойдут оба эти события. Схематично: «рq».

 
 
 
 Posted automatically
Сообщение23.10.2017, 16:56 
Аватара пользователя
 i  Тема перемещена из форума «Гуманитарный раздел» в форум «Карантин»
Причина переноса:
Отсутствуют собственные попытки решения задачи.

(Подробно)

Forum Administration в сообщении #27356 писал(а):
I. Нарушения и санкции
1) Нарушением считается:
г) Поиск халявы в отношении учебных задач и вопросов; публикация полных готовых решений учебных задач (см. п. III-2); вынесение на обсуждение задач еще не прошедших он-лайн и заочных олимпиад.
Приведите собственные содержательные попытки решения задачи и сообщите об этом в теме Сообщение в карантине исправлено.
Настоятельно рекомендуется ознакомиться с темами Что такое карантин и что нужно делать, чтобы там оказаться и Правила научного форума

 
 
 [ Сообщений: 2 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group