950809
столько раз учителя, ученики и родители
посетили сайт «Инфоурок»
за прошедшие 24 часа
+Добавить материал
и получить бесплатное
свидетельство о публикации
в СМИ №ФС77-60625 от 20.01.2015
Дистанционные курсы профессиональной переподготовки и повышения квалификации для педагогов

Дистанционные курсы для педагогов - курсы профессиональной переподготовки от 1.410 руб.;
- курсы повышения квалификации от 430 руб.
Московские документы для аттестации

ВЫБРАТЬ КУРС СО СКИДКОЙ ДО 90%

ВНИМАНИЕ: Скидка действует ТОЛЬКО до конца апреля!

(Лицензия на осуществление образовательной деятельности №038767 выдана ООО "Столичный учебный центр", г.Москва)

ИнфоурокИнформатикаТестыТест для проверки знаний по теме "Математическая логика"

Тест для проверки знаний по теме "Математическая логика"

библиотека
материалов
Скачать материал целиком можно бесплатно по ссылке внизу страницы.

Тест по математической логики

1.Что относится к формам мышления?

А) ощущение, восприятие, представление

Б) доказательство, опровержение

В) понятие, суждение, умозаключение

Г) прямая и косвенная аргументация

2.Объединение двух или нескольких высказывания с помощью союза И это-…?

А) инверсия

Б) дизъюнкция

В) конъюнкция

Г) высказывание

3.Истино тогда, когда истинно хотя бы одно из входящих это-..?

А) инверсия

Б) дизъюнкция

В) конъюнкция

Г) высказывание

4.Логическое отрицание делает истинное высказывание или ложное или истинное это-..?

А) инверсия

Б) дизъюнкция

В) конъюнкция

Г) высказывание

5. Операция, раскрывающая объем понятия, это –

А) определение

Б) деление

В) обобщение

Г) ограничение

6. Любое понятие выражается в форме…
А) простого предложения
Б) слова или словосочетания
В) связного текста
Г) сложного предложения


7.Логика — это…
А) наука об умозаключениях и доказательствах
Б) наука о правилах мышления
В) наука о формах и законах правильного познания
Г) наука о формах и законах правильного мышления

8. Понятие «спортсмен» и «футболист» находятся в отношении

А) пересечения

Б) подчинения

В) равнозначности

Г) соподчинения

9. Создатель логики:

А) Сократ

Б)Г. Лейбниц

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

Г) Кант

10. Закон исключенного третьего формулируется так:

А) из двух противоречащих суждений одно истинно, другое – ложно.

Б) два противоположных или противоречащих суждения не могут быть вместе истинными

В) каждая мысль на протяжении всего процесса рассуждения должна быть тождественна сама себе

Г) а истинно, если для этого есть достаточное основание В.

11. понятие «спортсмен» и «футболист» находятся в отношении

А) пересечения

Б) подчинения

В) равнозначности

Г) соподчинения

12.   В структуру доказательства входят:

А) посылки и термины

Б) тезис, антитезис, аргументы и контраргументы

В) тезис, аргументы, демонстрация

Г) ничто из вышеперечисленного

13. Какому логическому выражению соответствует следующая таблица истинности? 
A B F 
0 0 1 
0 1 1 
1 0 1 
1 1 0

А) неA & неB

Б) не (А& B)

В) А V B

Г) А & В

14.Правило коммутативности
А) (
A&B) &C=A&(B&C)

Б) (A&B) V(A&C) =A&(BVC)

В) A&B=B&A

Г) A&A=A

15. Форма мышления с помощью которой из одного или нескольких суждений(посылок) может быть получена любое суждения(вывод)

А) умозаключение
Б) алгебра высказывания
В) высказывание
Г) понятие

16.Повествовательное предложение на основе понятия

А) умозаключение
Б) алгебра высказывания
В) высказывание
Г) понятие

17.Служит для операции истинности или ложности, составных высказываниях

А) умозаключение
Б) алгебра высказывания
В) высказывание
Г) понятие

18.Составные высказывания, состоящие из логических переменных и знаков логических операций

А) разносимые логические выражения
Б) таблица истинности
В) логические выражения
Г) умозаключение
19.Выражение у которых таблицы истинности совпадают

А) разносимые логические выражения
Б) таблица истинности
В) логические выражения
Г) умозаключение

20.Составляются для любого составного высказывания, чтобы определить его истинность для логических комбинаций логических переменных

А) разносимые логические выражения
Б) таблица истинности
В) логические выражения
Г) умозаключение
21.Сколько видов существуют логические функции от двух переменных?

А)18

Б)15

В)16

Г)17

22.Логическая функция от двух переменных F2
А) логическое сложение
Б) отрицание А

В) умножение логическое
Г) отрицание В

23. Логическая функция от двух переменных F13

А) отрицание А

Б) отрицание в
В) логическое умножение
Г) логическое сложение

24. Логическая операция инверсия на естественном языке имеет следующий смысл.
а)И

Б)НЕ
В)ИЛИ
Г)Если …,то…

25. Из предложенного перечня выберите правильное обозначение для логической операции дизъюнкция.

А)→

Б)&

В)V

Г)↔

26. Из предложенного перечня выберите правильное обозначение для логической операции конъюнкции

А)¬

Б)&

В)↔

Г)V

27. Из предложенных формул выберите соответствующую таблице истинности


А)(A V B) &C V (¬ A V B)

Б)(A V B) & C V ¬ (A V B)

В)(A V B) &C Λ ¬ (A V B)

Г)(A V B) V C V ¬ (A V B)

28. Из предложенных логических записей выберите "Закон исключения третьего".


А)X Λ ¬X = 0

Б)X V ¬X = 0

В)(X V Y) Λ Y= Y

Г)(X Λ Y) V Y= Y

29. Назовите логическую операцию, которая образуется соединением двух высказываний в одно с помощь А) конъюнкция

Б) эквивалентность

В) инверсия

Г) импликация

30 . Как обозначается эквивалентность?

А) A V B

Б) Ā

В) А Λ В

Г) АóВ
















Общая информация

Номер материала: ДВ-549227

Вам будут интересны эти курсы:

Курс повышения квалификации «Табличный процессор MS Excel в профессиональной деятельности учителя математики»
Курс повышения квалификации «Информационные технологии в деятельности учителя физики»
Курс повышения квалификации «Современные информационные технологии и их использование в работе преподавателей. Системы автоматизированного проектирования одежды и организация технологического процесса»
Курс повышения квалификации «Основы создания интерактивного урока: от презентации до видеоурока»
Курс повышения квалификации «Внедрение системы компьютерной математики в процесс обучения математике в старших классах в рамках реализации ФГОС»
Курс повышения квалификации «Организация работы по формированию медиаграмотности и повышению уровня информационных компетенций всех участников образовательного процесса»
Курс профессиональной переподготовки «Информатика: теория и методика преподавания в образовательной организации»
Курс «1С: Предприятие 7.7»
Курс «3D Studio MAX»
Курс «WEB-ВЕРСТКА (HTML, CSS)»
Курс повышения квалификации «Сетевые и дистанционные (электронные) формы обучения в условиях реализации ФГОС по ТОП-50»
Курс повышения квалификации «Развитие информационно-коммуникационных компетенций учителя в процессе внедрения ФГОС: работа в Московской электронной школе»
Курс повышения квалификации «Использование компьютерных технологий в процессе обучения в условиях реализации ФГОС»
Курс повышения квалификации «Введение в программирование на языке С (СИ)»
Курс профессиональной переподготовки «Математика и информатика: теория и методика преподавания в образовательной организации»

Благодарность за вклад в развитие крупнейшей онлайн-библиотеки методических разработок для учителей

Опубликуйте минимум 3 материала, чтобы БЕСПЛАТНО получить и скачать данную благодарность

Сертификат о создании сайта

Добавьте минимум пять материалов, чтобы получить сертификат о создании сайта

Грамота за использование ИКТ в работе педагога

Опубликуйте минимум 10 материалов, чтобы БЕСПЛАТНО получить и скачать данную грамоту

Свидетельство о представлении обобщённого педагогического опыта на Всероссийском уровне

Опубликуйте минимум 15 материалов, чтобы БЕСПЛАТНО получить и скачать данное cвидетельство

Грамота за высокий профессионализм, проявленный в процессе создания и развития собственного учительского сайта в рамках проекта "Инфоурок"

Опубликуйте минимум 20 материалов, чтобы БЕСПЛАТНО получить и скачать данную грамоту

Грамота за активное участие в работе над повышением качества образования совместно с проектом "Инфоурок"

Опубликуйте минимум 25 материалов, чтобы БЕСПЛАТНО получить и скачать данную грамоту

Почётная грамота за научно-просветительскую и образовательную деятельность в рамках проекта "Инфоурок"

Опубликуйте минимум 40 материалов, чтобы БЕСПЛАТНО получить и скачать данную почётную грамоту

Включите уведомления прямо сейчас и мы сразу сообщим Вам о важных новостях. Не волнуйтесь, мы будем отправлять только самое главное.