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

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

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.Логическая функция от двух переменных F₂
А) логическое сложение
Б) отрицание А

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

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

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

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

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

Б) Ā

В) А Λ В

Г) АóВ