игра брюс 2048
Главная / Образование / Введение в логику / Тест 13

Введение в логику - тест 13

Упражнение 1:
Номер 1
Какие утверждения о логике и математической логике являются истинными?

Ответ:

 (1) Логика, которой мы пользуемся в повседневной жизни, имеет свои законы  

 (2) Математическая логика имеет свои законы  

 (3) Законы логики жизни и математической логики полностью совпадают  

 (4) Законы логики жизни и математической логики во многом совпадают  


Номер 2
Какие утверждения о логике и математической логике являются истинными?

Ответ:

 (1) При доказательстве математических теорем обычная логика не применима  

 (2) При доказательстве математических теорем применима обычная логика  

 (3) При доказательстве математических теорем применима только математическая логика  

 (4) Доказательство некоторых теорем может быть формализовано с использованием аппарата математической логики  


Номер 3
Какие утверждения о логике и математической логике являются истинными?

Ответ:

 (1) Математическая логика – это наука о выводах, позволяющая формализовать рассуждения  

 (2) Рассуждения, применяемые в обычной логике, не могут быть формализованы  

 (3) Математическая логика позволяет формализовать все рассуждения любой сложности 

 (4) Формализация обычных рассуждений является сложной задачей  


Номер 4
Какие утверждения о логике и математической логике являются истинными?

Ответ:

 (1) Можно создать программу для компьютера, которая, используя законы математической логики, будет доказывать любые математические теоремы  

 (2) Можно создать программу для компьютера, которая, используя законы математической логики, будет доказывать некоторые математические теоремы  

 (3) Невозможно создать программу для компьютера, которая, используя законы математической логики, будет доказывать любые математические теоремы  

 (4) Невозможно создать программу для компьютера, которая, используя законы математической логики, будет доказывать некоторые математические теоремы 


Номер 5
Какие утверждения о логике и математической логике являются истинными?

Ответ:

 (1) У математической логики нет собственного предмета исследований, она позволяет только формализовать рассуждения, применяемые в обычной логике  

 (2) У математической логики, как и у всякой математической дисциплины, есть собственный предмет исследования, в частности она исследует основания математики, устанавливая, что доказуемо, а что не доказуемо в формальной математической системе  

 (3) Математическая логика лежит в основе работы компьютеров  

 (4) У компьютеров своя логика, отличная как от обычной логики, так и от математической логики  


Номер 6
Какие утверждения о логике и математической логике являются истинными?

Ответ:

 (1) Математическая логика применима только к математическим выводам  

 (2) Математическая логика может быть применена для формализации обычных рассуждений  

 (3) Обычная логика применяется в математических выводах  

 (4) Математическая логика и логика, применяемая в повседневной жизни, не имеют ничего общего  


Упражнение 2:
Номер 1
На какие разделы (фрагменты) принято делить математическую логику?

Ответ:

 (1) Мужская логика  

 (2) Логика высказываний  

 (3) Логика Аристотеля  

 (4) Темпоральная логика  


Номер 2
На какие разделы (фрагменты) принято делить математическую логику?

Ответ:

 (1) Логика предикатов  

 (2) Женская логика  

 (3) Модальная логика  

 (4) Модная логика  


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

Ответ:

 (1) Логика предикатов  

 (2) Логика высказываний  

 (3) Темпоральная логика  

 (4) Модальная логика  


Номер 4
Какой из разделов математической логики позволяет формализовать утверждения, связанные с единичным объектом?

Ответ:

 (1) Логика предикатов  

 (2) Логика высказываний  

 (3) Темпоральная логика  

 (4) Модальная логика  


Номер 5
Какой из разделов математической логики позволяет формализовать утверждения, связанные с множественными объектами?

Ответ:

 (1) Логика предикатов  

 (2) Логика высказываний  

 (3) Темпоральная логика  

 (4) Модальная логика  


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

Ответ:

 (1) Логика предикатов  

 (2) Логика высказываний  

 (3) Темпоральная логика  

 (4) Модальная логика  


Упражнение 3:
Номер 1
К логике высказываний относятся высказывания:

Ответ:

 (1) связанные с единичными объектами  

 (2) принимающие одно из двух значений – истина или ложь  

 (3) истинность которых зависит от значений предметных переменных, входящих в высказывание  

 (4) связанные с переменными, представляющими элементы множеств  


Номер 2
Какие утверждения относятся к логике высказываний?

Ответ:

 (1) X меньше Y  

 (2) Анна сестра Андрея  

 (3) Анна мать Y  

 (4) Андрей бабушка Анны  


Номер 3
Какие утверждения относятся к логике высказываний?

Ответ:

 (1) X больше или равно Y  

 (2) Петр старший брат Y  

 (3) Петр отец Анны  

 (4) Неверно, что Андрей родственник Петра  


Номер 4
Какие утверждения относятся к логике высказываний?

Ответ:

 (1) Андрей муж Ирины  

 (2) Ирина жена Сергея  

 (3) Ирина и Сергей родственники  

 (4) X «Потомок» Y  


Номер 5
Какие утверждения относятся к логике высказываний?

Ответ:

 (1) Елена единственная любовь Париса  

 (2) X жена Y  

 (3) Сергей дядя Петра  

 (4) X племянник Y 


Номер 6
Какие утверждения относятся к логике высказываний?

Ответ:

 (1) Петр Сергеевич учитель Игоря  

 (2) Петр Сергеевич классный руководитель Игоря  

 (3) Игорь имя Y  

 (4) ИА 120567 номер паспорта Игоря  


Упражнение 4:
Номер 1
Укажите, какие из утверждений следует отнести к логике предикатов, а не к логике высказываний?

Ответ:

 (1) X автор Y  

 (2) Пушкин автор поэмы «Руслан и Людмила»  

 (3) Пушкин автор романа X  

 (4) Все одноклассники Пушкина – знаменитые люди  


Номер 2
Укажите, какие из утверждений следует отнести к логике предикатов, а не к логике высказываний?

Ответ:

 (1) Сергей нравится Ирине  

 (2) Сергей нравится Z  

 (3) X и Y – друзья  

 (4) X дружит с Y  


Номер 3
Укажите, какие из утверждений следует отнести к логике предикатов, а не к логике высказываний?

Ответ:

 (1) Все школьники знают информатику  

 (2) Кто-то из школьников знает информатику  

 (3) Существуют школьники, умеющие программировать  

 (4) Андрей знает математику и информатику на отлично  


Номер 4
Укажите, какие из утверждений следует отнести к логике предикатов, а не к логике высказываний?

Ответ:

 (1) Андрей Андреевич глава семьи Андреевых  

 (2) Андрей член семьи Андреевых  

 (3) Все ученики школы Хогвартс с фамилией «Визли» принадлежат одной семье  

 (4) X учится в школе Хогвартс  


Номер 5
Укажите, какие из утверждений следует отнести к логике предикатов, а не к логике высказываний?

Ответ:

 (1) Число 26 квадрат числа 6  

 (2) Число 6 - корень квадратный числа 36  

 (3) Для всех простых чисел корень квадратный из простого числа является иррациональным числом  

 (4) Число X Арксинус числа Y  


Номер 6
Укажите, какие из утверждений следует отнести к логике предикатов, а не к логике высказываний?

Ответ:

 (1) Число X на единицу больше числа Y  

 (2) Число X вдвое больше числа Y  

 (3) В десятичной системе счисления 2* 2 равно 4  

 (4) Число 5 на единицу больше числа 3.  


Упражнение 5:
Номер 1
Какие операции являются синонимами операции «конъюнкция»?

Ответ:

 (1) Дизъюнкция  

 (2) And  

 (3) Or  

 (4) И  


Номер 2
Какие операции являются синонимами операции «конъюнкция»?

Ответ:

 (1) &  

 (2) And  

 (3) =  

 (4) И  


Номер 3
Какие операции являются синонимами операции «дизъюнкция»?

Ответ:

 (1) Конъюнкция  

 (2) And  

 (3) Or  

 (4) |  


Номер 4
Какие операции являются синонимами операции «дизъюнкция»?

Ответ:

 (1) &  

 (2) Или  

 (3) Or  

 (4) =  


Номер 5
Какие операции являются синонимами операции «импликация»?

Ответ:

 (1) Следование  

 (2) Or  

 (3) ->  

 (4) =  


Номер 6
Какие операции являются синонимами операции «импликация»?

Ответ:

 (1) Если А то В  

 (2) Или А Или В  

 (3) =>  

 (4) Влечет  


Упражнение 6:
Номер 1
Укажите корректную формализацию утверждения «А и В сидели на трубе»: 

Ответ:

 (1) X & Y, где X – логическая переменная, принимающая значение True, когда А сидит на трубе, Y - логическая переменная, принимающая значение True, когда B сидит на трубе  

 (2) X Or Y, где X – логическая переменная, принимающая значение True, когда А сидит на трубе, Y - логическая переменная, принимающая значение True, когда B сидит на трубе  

 (3) X И Y, где X – логическая переменная, принимающая значение True, когда А сидит на трубе, Y - логическая переменная, принимающая значение True, когда B сидит на трубе  

 (4) X -> Y, где X – логическая переменная, принимающая значение True, когда А сидит на трубе, Y - логическая переменная, принимающая значение True, когда B сидит на трубе  


Номер 2
Укажите корректную формализацию утверждения «А, И, В сидели на трубе»: 

Ответ:

 (1) X & Y, где X – логическая переменная, принимающая значение True, когда А сидит на трубе, Y - логическая переменная, принимающая значение True, когда B сидит на трубе  

 (2) X & Y, где X – логическая переменная, принимающая значение True, когда А сидит на трубе, Y - логическая переменная, принимающая значение True, когда И сидит на трубе  

 (3) X Or YOr Z , где X – логическая переменная, принимающая значение True, когда А сидит на трубе, Y - логическая переменная, принимающая значение True, когда B сидит на трубе, Z - логическая переменная, принимающая значение True, когда И сидит на трубе  

 (4) X & Y & Z , где X – логическая переменная, принимающая значение True, когда А сидит на трубе, Y - логическая переменная, принимающая значение True, когда И сидит на трубе, Z - логическая переменная, принимающая значение True, когда В сидит на трубе  


Номер 3
Истинность каких утверждений зависит от момента времени, когда было сделано высказывание?

Ответ:

 (1) Петр голоден  

 (2) Петр всегда голоден  

 (3) Солнце всходит и заходит  

 (4) Солнце взошло в 6 утра  


Номер 4
Истинность каких утверждений зависит от момента времени, когда было сделано высказывание?

Ответ:

 (1) Все уроки сделаны  

 (2) Петр брат Анны  

 (3) Петр Александрович классный руководитель Анны  

 (4) В нашем классе всегда есть школьники, которые любят математику и информатику  


Номер 5
Истинность каких утверждений зависит от момента времени, когда было сделано высказывание?

Ответ:

 (1) Наташа любит Андрея  

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

 (3) Идет дождь  

 (4) Осенью идут дожди  


Номер 6
Укажите корректную формализацию утверждения «Пойдет направо – песнь заводит, налево – сказки говорит»: 

Ответ:

 (1) X & Y, где X – логическая переменная, принимающая значение True, когда кот ученый заводит песнь, Y - логическая переменная, принимающая значение True, когда кот ученый сказки говорит  

 (2) X -> Y & V -> W, где X – логическая переменная, принимающая значение True, когда кот ученый пойдет направо, Y - логическая переменная, принимающая значение True, когда кот ученый заводит песнь V – логическая переменная, принимающая значение True, когда кот ученый пойдет налево, W - логическая переменная, принимающая значение True, когда кот ученый сказки говорит  

 (3) X -> Y Or V -> W, где X – логическая переменная, принимающая значение True, когда кот ученый пойдет направо, Y - логическая переменная, принимающая значение True, когда кот ученый заводит песнь V – логическая переменная, принимающая значение True, когда кот ученый пойдет налево, W - логическая переменная, принимающая значение True, когда кот ученый сказки говорит  

 (4) X -> Y And V -> W, где X – логическая переменная, принимающая значение True, когда кот ученый пойдет направо, Y - логическая переменная, принимающая значение True, когда кот ученый заводит песнь V – логическая переменная, принимающая значение True, когда кот ученый пойдет налево, W - логическая переменная, принимающая значение True, когда кот ученый сказки говорит  




Главная / Образование / Введение в логику / Тест 13