Создать тест
ВходДоказательство теорем. Вывод из гипотез
Список вопросов теста
Вопрос 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
296
Нравится
0
