Ппппп. БИЛЕТЫ ПО ЛОГИКЕ. Вопросы к экзамену по логике

• Название: Вопросы к экзамену по логике
• Анкор: Ппппп
• Дата: 17.02.2022
• Размер: 15.62 Kb.
• Имя файла: БИЛЕТЫ ПО ЛОГИКЕ.docx
• Тип: Вопросы к экзамену; #365311

ВОПРОСЫ К ЭКЗАМЕНУ ПО ЛОГИКЕ

1. 
   Предмет и основные понятия логики. Понятия рассуждения, умозаключения, логической формы, истинностного значения.
   
2. 
   *Понятие контрпримера к схеме умозаключения. Ограниченность метода контрпримера при обосновании логической правильности умозаключения.
   
3. 
   Язык классической логики высказываний. Список исходных символов. Определение формулы в языке классической логики высказываний.
   
4. 
   Пропозициональные связки в классической логике высказываний (отрицание, конъюнкция, дизъюнкция, импликация, эквиваленция, константа истины, константа лжи). Определение этих связок как логических функций.
   
5. 
   Определение структурной информации предложений с точки зрения ЯКЛВ: правила и последовательность перевода. Элементарные и составные/сложные формулы формулы.
   
6. 
   Структуры вида «если А, то В», «только если А, то В», «А, если и только если В», «А, разве что В», «если А, то В, в противном случае С». Виды формул ЯКЛВ, соответствующие этим структурам.
   
7. 
   Формальное представление условный связей в ЯКЛВ (язык классической логики высказываний): понятия необходимого/ не необходимого условия, достаточного/недостаточного условия и соответствующие им формулы в ЯКЛВ.
   
8. 
   Логический статус формул в классической логике высказываний: тождественно-истинные (законы логики), тождественно-ложные (логические противоречия), логически недетерминированные.
   
9. 
   Логический статус высказываний естественного языка: истинные в силу структуры (логически истинные), ложные в силу структуры (логически ложные), логически недетерминированные.
   
10. 
    Отношение логического следования в классической логике высказываний. Логически правильные и неправильные умозаключения с точки зрения семантики КЛВ.
    
11. 
    Сравнение формул по силе в КЛВ: 1) А логически сильнее, чем В; 2) логическая эквивалентность высказываний; 3) несравнимость высказываний по силе.
    
12. 
    Логическое противоречие. Тривиальные теории. Недопустимость противоречия в теориях, основанных на классической логике – обоснование через таблицы истинности.
    
13. 
    Сравнение по силе пропозициональных логических связок (конъюнкция, дизъюнкция, импликация, эквиваленция, константа истины, константа лжи).
    
14. 
    Свойства отношения логического следования: рефлексивность, симметричность, транзитивность, монотонность.
    
15. 
    Важные законы логики: противоречия, закон исключенного третьего, закон тождества, законы де Моргана, закон отрицания импликации, законы симметричности, законы поглощения, закон конрапозиции.
    
16. 
    Правильные и неправильные условно-категорические умозаключения. Структура, примеры.
    
17. 
    Конструктивные и диструктивные дилеммы. Структура, примеры.
    
18. 
    Понятие как форма мысли. Объем и содержание понятия. Виды понятий по объему.
    
19. 
    Понятие: операции над объемами понятий (вычитание, пересечение, объединение).
    
20. 
    Отношения между объемами понятий: сравнимые, несравнимые, подчинение, пересечение, дополнительность, противоречие, соподчинение.
    
21. 
    Деление как логическая операция. Дихотомическое деление и деление по видоизмененному основанию. Правила для правильного деления.
    
22. 
    *Определение как логическая операция. Явные определения. Виды явных определений по типу определяющей части.
    
23. 
    Неявные определения: индуктивные, рекурсивные.
    
24. 
    Логические требования к правильному определению.
    
25. 
    Категорические атрибутивные высказывания. Состав, виды.
    
26. 
    Логический квадрат. Умозаключения по логическому квадрату.
    
27. 
    Простой категорический силлогизм. Структура. Общие правила силлогизма.
    
28. 
    Фигуры и модусы простого категорического силлогизма.
    
29. 
    *Энтимема. Критерии корректности энтимемы.
    

Типы задач

1. 
   Перевести предложения на ЯКЛВ
   
2. 
   Преобразовать предложение по закону де Моргана, закону отрицания импликации, закону контрапозиции.
   
3. 
   Проверить с помощью таблиц истинности логический статус формулы (как Упр.13 из Гл.3 учебника)
   
4. 
   Проверить логический статус высказывания с помощью таблиц истинности (как Упр.16 из Гл.3)
   
5. 
   Проверить, является ли схема рассуждения логически правильной табличным методом (как Упр.19 Гл.3)
   
6. 
   Проверить табличным методом, является ли рассуждение логически правильным (как Упр.20 Гл.3)
   
7. 
   Изобразить соотношение между объемами понятий с помощью кругов Эйлера (например, понятия 1) книга 2) книга, написанная по-английски 3) англоязычный автор 4) книга, написанная по-английски или по-испански 5) англичанин 6) бестселлер, переведенный на английский)
   
8. 
   Проверить правильность деления (например, учащиеся студентов, школьников, бюджетников и платников)
   
9. 
   Проверить силлогизм на правильность.
   
10. 
    Обосновать, можно ли данную энтимему достроить до правильного силлогизма. Если можно, достроить.
    

В скобках даны ссылки на учебник по логике Невдобенко (см. в сообществе или с Интернете; при чтении учебника в Интернете помните, что некоторые логические знаки со смартфонов могут опознаваться неправильно, лучше открывать/скачать со стационарного компьютера).

Вопросы по экзамену/подготовке к экзамену можно задать в личном сообщении в сообществе Невдобенко МГТУ, по бауманской почте, либо в комментах к посту по Билетам к экзамену по логике.