С.Ф. Тюрин, Ю.А. Аляев ДИСКРЕТНАЯ МАТЕМАТИКА ТЕСТ-ДРАЙВ ПО ДИСКРЕТНОЙ МАТЕМАТИКЕ И МАТЕМАТИЧЕСКОЙ ЛОГИКЕ

(3): универсальным (4): общим

t17. Понятие «математика» не является (1): положительным (2): отрицательным (3): безотносительным (4): конкретным

t18. Понятия «компьютер» и «ЭВМ» являются (1): тождественными (2): контрарными (3): контрадикторными (4): пересекающимися

Уровень – сложный

t19. Ограничением понятия «понятие» является (1): единичное понятие (2): форма рационального мышления (3): математическая логика (4): математика

t20. Обобщением понятия «понятие» является (1): пустое понятие (2): форма рационального мышления (3): общее понятие (4): единичное понятие

t21. Делением понятия «понятие» является (1): пустые и единичные (2): общие и универсальные (3): единичные и пустые

(4): конкретные и абстрактные

131

t22. Делением понятия «понятие» является (1): собирательные и конкретные (2): абстрактные и общие (3): относительные и положительные

(4): положительные и отрицательные

1.2. Суждение

Уровень – легкий

t1. Форма рационального мышления, которая фиксирует связь между понятиями, называется

(1): умозаключением (2): суждением

(3): простым категорическим силлогизмом (4): индукцией

t2. Суждение не может быть (1): истинным (2): ложным (3): общим (4): модальным

t3. Фактическую или логическую возможность, случайность, необходимость фиксирует модальность

(1): эпистемическая (2): деонтическая (3): эротетическая (4): алетическая

t4. Доказуемость, опровержимость и проблематичность фиксирует модальность

(1): алетическая (2): деонтическая (3): эпистемическая (4): эротетическая

132

t5. «Обязательно», «запрещено», «разрешено» – это модальность (1): алетическая (2): деонтическая (3): эпистемическая (4): эротетическая

t6. Утверждение или отрицание того или иного отношения между суждениями фиксируют суждения

(1): алетические (2): категороические (3): эпистемические (4): деонтические

t7. Как SaP обозначаются суждения (1): общеутвердительные (2): общеотрицательные (3): частноутвердительные (4): частноотрицательные

t8. Как SiP обозначаются суждения (1): общеотрицательные (2): частноутвердительные (3): общеутвердительные (4): частноотрицательные

t9. Как SeP обозначаются суждения (1): общеутвердительные (2): общеотрицательные (3): частноутвердительные (4): частноотрицательные

t10. Как SоP обозначаются суждения (1): общеутвердительные (2): частноутвердительные (3): частноотрицательные (4): общеотрицательные

133

t11. Как saP обозначаются суждения (1): общеотрицательные (2): единичноутвердительные (3): частноутвердительные (4): частноотрицательные

t12. Как sеP обозначаются суждения (1): единичноотрицательные (2): единичноутвердительные (3): частноутвердительные (4): частноотрицательные

Уровень – средний

t13. Между суждением типа А и суждением типа Е имеется отношение

(1): субконтрарности (2): подчинения (3): противоречия (4): контрарности

t14. Между суждением типа А и суждением типа I имеется отношение

(1): субконтрарности (2): контрарности (3): подчинения (4): противоречия

t15. Между суждением типа А и суждением типа O имеется отношение

(1): субконтрарности (2): контрарности (3): подчинения (4): противоречия

134

t16. Между суждением типа E и суждением типа I имеется отношение

(1): субконтрарности (2): противоречия (3): контрарности (4): подчинения

t17. Между суждением типа Е и суждением типа А имеется отношение

(1): субконтрарности (2): подчинения (3): противоречия (4): контрарности

t18. Между суждением типа E и суждением типа O имеется отношение

(1): субконтрарности (2): контрарности (3): подчинения (4): противоречия

Уровень – сложный

t19. Если суждение типа I истинно, то суждение типа (1): Е ложно, остальные не определены (2): А истинно (3): О ложно (4): А ложно

t20. Если суждение типа I ложно, то

(1): суждение типа Е истинно, остальные не определены (2): суждение типа А ложно, суждение типа О истинно (3): суждение типа А ложно, суждение типа О не определено

(4): суждение типа А не определено, суждение типа О истинно

135

1.3. Умозаключение

Уровень – легкий

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

(1): понятием (2): умозаключением (3): модальностью

(4): контрарностью

t2. Умозаключения не бывают (1): дедуктивными (2): индуктивными (3): контрадикторными (4): опосредованными

t3. Умозаключения не бывают (1): дедуктивными (2): индуктивными (3): непосредственными (4): контрарными

t4. В структуре простого категорического силлогизма имеются (1): одна посылка и вывод (2): три посылки и вывод (3): две посылки и вывод (4): посылка и два вывода

t5. Понятие, которое входит в одну из посылок и стоит на месте субъекта в выводе, называется … ПКС

(1): объектом (2): субъектом (3): предикатом

(4): средним термином

136

t6. Понятие, которое входит в одну из посылок и стоит на месте предиката в выводе, называется … ПКС

(1): предикатом (2): объектом (3): субъектом

(4): средним термином

t7. Посылка, содержащаяпредикат исреднийтермин, называется (1): малой посылкой (2): большой посылкой (3): средней посылкой (4): выводом

t8. Большая посылка стоит на … месте (1): втором (2): третьем (3): первом (4): четвертом

t9. Посылка, содержащая субъект и средний термин, называется (1): большей посылкой (2): меньшей посылкой (3): средней посылкой (4): выводом

t10. Меньшая посылка стоит на … месте (1): первом (2): третьем (3): втором (4): четвертом

t11. Общее понятие посылок называется (1): субъектом (2): предикатом

137

(3): большим термином (4): средним термином

Уровень – средний

t12. Непосредственное умозаключение, при котором субъект и предикат меняются местами, называется

(1): превращением (2): противопоставлением предикату (3): обращением

(4): умозаключением по логическому квадрату

t13. Непосредственное умозаключение, при котором изменяется качество суждения без изменения количества, а предикат заключения является отрицанием предиката посылки, называется

(1): обращением (2): противопоставлением предикату

(3): умозаключением по логическому квадрату (4): превращением

t14. Непосредственное умозаключение, при котором предикатом становится субъект, а субъектом – понятие, противоречащее предикату посылки, причем связка меняется на противоположную, называется

(1): обращением (2): превращением

(3): умозаключением по логическому квадрату (4): противопоставлением предикату

t15. Первая фигура силлогизма имеет вид

(1): Z (2): ]

(3): перевернутой Z (4): [

138

t16. Вторая фигура силлогизма имеет вид

(1): ] (2): Z

(3): перевернутой Z (4): [

t17. Третья фигура силлогизма имеет вид

(1): [ (2): Z

(3): перевернутой Z (4): ]

t18. Четвертая фигура силлогизма имеет вид

(1): [ (2): Z

(3): перевернутой Z (4): ]

Уровень – сложный

t19. Модус Barbara имеет вид в порядке: первая посылка, вторая посылка, вывод

(1): РаМ, МаS, SaP (2): РаМ, SаМ, SaP (3): МаР, SаМ, SaP (4): МаР, МаS, SaP

t20. Модус Ferio имеет вид в порядке: первая посылка, вторая посылка, вывод

(1): РeМ, МiS, SoP

(2): МeР, SiМ, SoP

(3): РeМ, SiМ, SoP

(4): МeР, МiS, SoP

139

t21. Модус Baroko имеет вид в порядке: первая посылка, вторая посылка, вывод

(1): МаР, SoМ, SoP (2): РаМ, SoМ, SoP (3): МаР, МoS, SoP (4): РаМ, МoS, SoP

t22. Модус Bocardo имеет вид в порядке: первая посылка, вторая посылка, вывод

(1): МoР, SaМ, SoP

(2): РoМ, SaМ, SoP

(3): МoР, МaS, SoP

(4): РoМ, МaS, SoP

t23. Модус Dimaris имеет вид в порядке: первая посылка, вторая посылка, вывод

(1): МiР, SaМ, SiP

(2): РiМ, МaS, SiP

(3): РiМ, SaМ, SiP

(4): МiР, МaS, SiP

2.Формулы логики высказываний

2.1.Формулы алгебры высказываний. Представление булевых функций формулами

Уровень – легкий

t1. Высказывание – это

(1): предложение, которое либо истинно, либо ложно (2): утверждение, которое всегда истинно (3): утверждение, которое всегда ложно

(4): утверждение, истинность которого нельзя ни доказать, ни опровергнуть

140