Вы находитесь на странице: 1из 1

1.

R(x)&R(y)
2. ((A∪B∪C)\(B∩C))\(A∩B∩C)
3. ∃x (A(x)&B(x)) & ∃x (A(x)&¬B(x))
4. A – выполнима. (наугад, вообще хз)
5. Математическая логика – логика по предмету и математика по методу.
6. F1(n) – число…
7. 21
8. Суперпозиция функций – простейший способ определения новых частично-рекусивных
функций из уже имеющихся частично-рекурсивных функций. (сложно, искал долго, но
сконялся между 2 и 3)
9. Тут два ответа A&B⊃A A&B⊃B
10. ∅⊆∅ ∅∈∅ ∅⊂∅
11. 25
12. Лжец
13. Стандарт правильности рассуждений для теории T определен настолько точно, что
проверку правильности готовых доказательств можно передать компьютеру.
14. биекция A на B.
15. В определение машины Тьюринга действительно существенно разрешение произвольно
большого количества материала для запоминающего устройства и произвольно длинных
вычислений.
16. ∃x y (f(x)=0 & f(x)=0 & ¬(x=y))
17. 1, 0
18. ((A∪B)\C)∪(B∩C)
19. {1,2,3}∈{1,2,3,{1,2,3}} ∅={∅} {1,2,3}⊆{1,2,3,{1,2,3}}
20. Это рассуждение логически правильное.