Добавить материал и получить бесплатное свидетельство о публикации в СМИ
Эл. №ФС77-60625 от 20.01.2015
Свидетельство о публикации

Автоматическая выдача свидетельства о публикации в официальном СМИ сразу после добавления материала на сайт - Бесплатно

Добавить свой материал

За каждый опубликованный материал Вы получите бесплатное свидетельство о публикации от проекта «Инфоурок»

(Свидетельство о регистрации СМИ: Эл №ФС77-60625 от 20.01.2015)

Инфоурок / Информатика / Тесты / Тест для проверки знаний по теме "Математическая логика"
ВНИМАНИЮ ВСЕХ УЧИТЕЛЕЙ: согласно Федеральному закону № 313-ФЗ все педагоги должны пройти обучение навыкам оказания первой помощи.

Дистанционный курс "Оказание первой помощи детям и взрослым" от проекта "Инфоурок" даёт Вам возможность привести свои знания в соответствие с требованиями закона и получить удостоверение о повышении квалификации установленного образца (180 часов). Начало обучения новой группы: 28 июня.

Подать заявку на курс
  • Информатика

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

библиотека
материалов

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

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

Б) Ā

В) А Λ В

Г) АóВ

















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


Выберите специальность, которую Вы хотите получить:

Обучение проходит дистанционно на сайте проекта "Инфоурок".
По итогам обучения слушателям выдаются печатные дипломы установленного образца.

ПЕРЕЙТИ В КАТАЛОГ КУРСОВ

Автор
Дата добавления 23.03.2016
Раздел Информатика
Подраздел Тесты
Просмотров389
Номер материала ДВ-549227
Получить свидетельство о публикации
Похожие материалы

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