_Вопросы к итоговой работе по логике. Вопросы к итоговой работе по логике декабрь 2021

• Название: Вопросы к итоговой работе по логике декабрь 2021
• Дата: 30.12.2021
• Размер: 23.49 Kb.
• Имя файла: _Вопросы к итоговой работе по логике.docx
• Тип: Документы; #322271

Вопросы к итоговой работе по логике

декабрь 2021

1. 
   Кто является основателем формальной логики?
   

(Аристотель)

2. 
   Каким символом обозначал Аристотель общеутвердительное высказывание? Как прочитывалось общеутвержительное высказывание во времена Аристотеля?
   

(Из латинского слова affirmo (утверждаю) он выбрал букву 𝑨 для обозначения общеутвердительного высказывания; 𝑺𝒂𝑷 все 𝑺 есть 𝑷 − общеутвердительное высказывание 𝑨)

3. 
   Каким символом обозначал Аристотель общеотрицательное высказывание? Как прочитывалось общеотрицательное высказывание во времена Аристотеля?
   

(Из латинского слова nego он выбрал букву 𝑬 для обозначения общеотрицательного высказывания; AeP все 𝑺 не есть 𝑷 − общеотрицательное высказывание 𝑬)

4. 
   Каким символом обозначал Аристотель частноутвердительное высказывание? Как прочитывалось частноутвердительное высказывание во времена Аристотеля?
   

(букву 𝑰 − для обозначения частноутвердительного высказывания; AiP некоторые 𝑺 есть 𝑷 − частноутвердительное высказывание 𝑰)

5. 
   Каким символом обозначал Аристотель частноотрицательное высказывание? Как прочитывалось частноотрицательное высказывание во времена Аристотеля?
   

(букву 𝑶 − для обозначения частноотрицательного высказывания; SoP некоторые 𝑺 не есть 𝑷 − частноотрицательное высказывание 𝑶)

6. 
   Кому из учёных принадлежит идея построения символической логики?
   

(Лейбниц Г.В.)

7. 
   Кто из учёных построил логику высказываний?
   

(Джордж Буль)

8. 
   Кто из учёных ввёл в логику понятия кванторов?
   

(Фреге Фридрих Людвиг Готлоб)

9. 
   Кто построил первую трёхзначную логику (а затем - многозначную логику)? Какие значения истинности могут принимать высказывания в трёхзначной логике?
   

(Ян Лукасевич, {«ложь, «возможно», «истина»} или {0, ½, 1})

10. 
    Кто первый из учёных построил нечёткую логику?
    

(Лотфи Заде)

11. 
    Какие четыре части выделял Аристотель в простом высказывании?
    

(квантор, субъект (первый термин) связку и предикат (второй термин))

12. 
    Сколько терминов содержит (простой категорический) силлогизм? Какие это термины?
    

(3 термина; Буквой 𝑆 обозначен меньший термин, буквой 𝑃 − бо́льший термин, буквой 𝑀 − средний термин)

13. 
    Расположение какого термина в посылках силлогизма определяет фигуру силлогизма?
    

(Тогда в зависимости от расположения среднего термина простые категорические силлогизмы разделяются на 4 фигуры)

14. 
    Сколько высказываний содержит силлогизм? Как называются эти высказывания?
    

(три высказывания: две посылки и заключение)

15. 
    Первая фигура силлогизма. Укажите расположение терминов P, S, M в посылках и заключении.
    

(83 страница)

16. 
    Вторая фигура силлогизма. Укажите расположение терминов P, S, M в посылках и заключении.
    
17. 
    Третья фигура силлогизма. Укажите расположение терминов P, S, M в посылках и заключении.
    
18. 
    Четвёртая фигура силлогизма. Укажите расположение терминов P, S, M в посылках и заключении.
    
19. 
    Какие символы содержатся в формулах логики высказываний?
    

(Переменная является формулой; Если F – формула, то не(F) – формула; Если F и G – формулы, то (F)&(G), (F)v(G), (F)(G), (F) <–>(G) – формулы; Иных формул в логике высказываний, кроме порожденных перечисленными правилами, нет)

20. 
    Какими символами обозначаются переменные в логике высказываний? Что обозначают переменные в логике высказываний?
    

(заглавными буквами латинского алфавита: P, Q, X, Y, …, Z; Простое повествовательное предложение, у которого можно определить значение истинности, т.е. определить, истинно оно или ложно)

21. 
    Если мы хотим сложное предложение записать в виде формулы логики высказываний, то какие части сложного предложения обозначаются переменными? (Элементарные высказывания)
    
22. 
    Преобразуйте к конъюнктивно нормальной форме следующую формулу логики высказываний: ОК
    
23. 
    Преобразуйте к конъюнктивно нормальной форме следующую формулу логики высказываний: ОК
    
24. 
    Запишите резолюцию следующих двух дизъюнктов логики высказываний: res ( B
    
25. 
    Запишите резолюцию следующих двух дизъюнктов логики высказываний: res ( квадратик
    
26. 
    Какими символами обозначаются переменные в логике предикатов?
    

(Предметные переменные логики предикатов обозначаются малыми буквами конца латинского алфавита: x, y, …, z)

27. 
    Какими символами обозначаются константы в логике предикатов?
    

(Константы обозначаются малыми буквами начала латинского алфавита: a, b, c …, d)

28. 
    Какие символы используются в формулах логики предикатов?
    

(Символы предметных констант (Const); Символы предметных переменных – строчные буквы x, y, z, …, возможно с индексами (Var); Функциональные символы (функции) – строчные буквы f, g, h, … (Func); Предикатные символы – прописные буквы P, Q, R, …)

29. 
    Как записывается в логике предикатов общеутвердительное высказывание: "Все элементы, обладающие свойством А, обладают свойством В?
    

( )

30. 
    Как записывается в логике предикатов общеотрицательное высказывание "Все элементы, обладающие свойством А, не обладают свойством В?
    

( )

31. 
    Как записывается в логике предикатов частноутвердительное высказывание "Некоторые элементы обладают свойством А и не обладают свойством В?
    

( )

32. 
    Как записывается в логике предикатов частноотрицательное высказывание "Некоторые элементы обладают свойством А и не обладают свойством В?
    

( )

33. 
    Запишите резолюцию следующих двух дизъюнктов логики предикатов: res ( B(a)
    
34. 
    Запишите резолюцию следующих двух дизъюнктов логики предикатов: res ( квадратик
    
35. 
    Если задана предметная область "птицы" и на ней - предикат , то как читается запись
    

(Каждый, кто летает)

36. 
    Если задана предметная область "собаки" и на ней - предикат , то как читается запись
    

(Некоторые, кто грызёт кости)

37. 
    Если задана предметная область "кошки" и на ней - предикаты , , то как читается запись ?
    

(Все ласковые кошки не ловят мышей)

38. 
    Если задана предметная область "зайцы" и на ней - предикаты , , то как читается запись ?
    

(Некоторые быстрые зайцы не пугливые)