Меню
Тесты
Тесты  /  Математика  /  Прочее  /  Доказательство теорем. Вывод из гипотез

Тест. Доказательство теорем. Вывод из гипотез

Avatar
07.04.2021
Внимание! Все тесты в этом разделе разработаны пользователями сайта для собственного использования. Администрация сайта не проверяет возможные ошибки, которые могут встретиться в тестах.
Видение структуры аксиом, последовательности формул в доказательстве и выводе формулы из гипотез.

Список вопросов теста

Вопрос 1

Формула 

\(\left(H\rightarrow F\right)\rightarrow\left(G\rightarrow\left(H\rightarrow F\right)\right)\)

является ...

Варианты ответов
  • Аксиомой 1
  • Аксиомой 2
  • Аксиомой 3
Вопрос 2

Формула 

\(\left(H\rightarrow F\right)\rightarrow\left(\left(G\rightarrow H\right)\rightarrow\left(H\rightarrow F\right)\right)\)

является ...

Варианты ответов
  • Аксиомой 1
  • Аксиомой 2
  • Аксиомой 3
Вопрос 3

Формула 

\(\left(G\rightarrow F\right)\rightarrow\left(\left(G\rightarrow H\right)\rightarrow\left(G\rightarrow F\right)\right)\)

является ...

Варианты ответов
  • Аксиомой 1
  • Аксиомой 2
  • Аксиомой 3
  • произвольной формулой
Вопрос 4

Формула 

\(\left(\neg F\rightarrow\neg\neg G\right)\rightarrow\left(\left(\neg F\rightarrow\neg G\right)\rightarrow F\right)\)

является ...

Варианты ответов
  • Аксиомой 1
  • Аксиомой 2
  • Аксиомой 3
  • произвольной формулой
Вопрос 5

Формула 

\(\left(\neg\neg F\rightarrow\neg\neg G\right)\rightarrow\left(\left(\neg\neg F\rightarrow\neg G\right)\rightarrow\neg F\right)\)

является ...

Варианты ответов
  • Аксиомой 1
  • Аксиомой 2
  • Аксиомой 3
  • произвольной формулой
Вопрос 6

Укажите недостающую формулу W так, чтоб третья из данных формул получалась из первой и второй формул по правилу вывода MP/

\(F\rightarrow\left(H\rightarrow F\right),\ \left(F\rightarrow\left(H\rightarrow F\right)\right)\rightarrow\left(F\rightarrow\left(G\rightarrow\left(H\rightarrow F\right)\right),\ W.\right)\)

Варианты ответов
  • \(F\)

  • \(F\rightarrow\left(G\rightarrow\left(H\rightarrow F\right)\right)\)

  • \(G\rightarrow\left(H\rightarrow F\right)\)

Вопрос 7

Укажите недостающую формулу W так, чтоб третья из данных формул получалась из первой и второй формул по правилу вывода MP/

\(G,\ G\rightarrow\left(F\rightarrow G\right),\ W\)

Варианты ответов
  • \(F\)

  • \(F\rightarrow G\)

  • \(G\)

Вопрос 8

Укажите недостающую формулу W так, чтоб третья из данных формул получалась из первой и второй формул по правилу вывода MP/

\(G\rightarrow F,\ W,\ \left(\left(G\rightarrow\neg F\right)\rightarrow\left(G\rightarrow F\right)\right)\)

Варианты ответов
  • \(\left(G\rightarrow F\right)\rightarrow\left(\left(G\rightarrow\neg F\right)\rightarrow\left(G\rightarrow F\right)\right)\)

  • \(F\rightarrow G\)

  • \(G\)

Вопрос 9

\(F\bigwedge G\)

означает

Варианты ответов
  • \(\neg\left(\left(F\rightarrow\neg G\right)\right)\)

  • \(\neg F\rightarrow G\)

  • \(\neg F\rightarrow\neg G\)

Вопрос 10

\(F\vee G\)

означает

Варианты ответов
  • \(\neg\left(\left(F\rightarrow\neg G\right)\right)\)

  • \(\neg F\rightarrow G\)

  • \(\neg F\rightarrow\neg G\)

Вопрос 11

Доказательство формулы - это

Варианты ответов
  • вывод её из аксиом
  • вывод её из аксиом и теорем
  • вывод её из гипотез
Вопрос 12

Формула 

\(\neg\neg F\rightarrow F\)

является

Варианты ответов
  • теоремой
  • аксиомой
  • гипотезой
Вопрос 13

Формула 

\(\left(F\rightarrow\neg G\right)\rightarrow F\)

является

Варианты ответов
  • теоремой
  • аксиомой
  • гипотезой
Вопрос 14

Формула 

\(\left(F\rightarrow\left(\neg G\rightarrow\neg F\right)\right)\)

является

Варианты ответов
  • теоремой
  • аксиомой
  • гипотезой
Вопрос 15

Формула 

\(F\rightarrow\left(\left(\neg G\rightarrow\neg F\right)\rightarrow F\right)\)

является

Варианты ответов
  • теоремой
  • аксиомой
  • гипотезой
Пройти тест
Сохранить у себя:

Комментарии 0

Чтобы добавить комментарий зарегистрируйтесь или на сайт