ABCDEFGHIJKLMNO
1
Timestamp
Номер группы (например, 192-2)
Фамилия И.О. (например, Верещагин Н.К.)
(2) Какие из формул выводимы в исчислении высказываний?
(1) Какие из формул выводимы в Исчислении Высказываний из множества гипотез {x, ~x}?
(2) Какие из формул выводимы в Исчислении Высказываний из множества гипотез {x, ~y}?
(1) Отметьте галочкой все истинные утверждения
ИтогДоля*10
2
31/10/2020 11:18:270Правильные ответы
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
610
3
31/10/2020 14:25:50191-1Амеличев К.В.
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
610
4
31/10/2020 14:23:59191-1Аржанцев А.И.
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
610
5
31/10/2020 14:23:12191-1Иваник Д. И.
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
610
6
31/10/2020 14:24:07191-1Исмагилов А.Н.
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
610
7
31/10/2020 14:22:37191-1Катунькин М.А.
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
610
8
31/10/2020 14:23:36191-1Макоян А.К.
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
610
9
31/10/2020 14:26:13191-1Погодин М.А.
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
610
10
31/10/2020 14:25:25191-1Пятько Д.В.
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
610
11
31/10/2020 14:25:02191-1Романов В.О.
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
610
12
31/10/2020 14:26:44191-1Случ Д. Б.
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
610
13
31/10/2020 14:27:16191-1Фридман И. В.
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
610
14
31/10/2020 14:26:21191-1Че А.
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
610
15
31/10/2020 14:24:04191-1
Ширма Кирилл Олегович
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
610
16
31/10/2020 14:24:19191-2Акулов Д.А.
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
610
17
31/10/2020 14:25:24191-2Ахметшин К.Д
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
610
18
31/10/2020 14:25:00191-2Барышников А.К.
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
610
19
31/10/2020 14:24:20191-2Волгин Д.Э.
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
610
20
31/10/2020 14:23:24191-2Гудзь М.Е.
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
610
21
31/10/2020 14:25:05191-2Зинченко Д. С.
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
610
22
31/10/2020 14:26:43191-2Ичалов Л.Е.
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
610
23
31/10/2020 14:23:39191-2
Колодезный Александр Анатольевич
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
610
24
31/10/2020 14:23:29191-2Кондратьев З.М.
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
610
25
31/10/2020 14:24:48191-2Перевышин А.К.
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
610
26
31/10/2020 14:22:38191-2Сапожников Д.С.
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
610
27
31/10/2020 14:25:19191-2Сизов К.И.
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
610
28
31/10/2020 14:23:42191-2Упирвицкий А. Н.
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
610
29
31/10/2020 14:27:14191-2Шишков А.А.
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
610
30
31/10/2020 14:23:06191-3Белецкий А. А.~x --> ( x ---> y )y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
46.666666667
31
31/10/2020 14:26:46192-2Бакалова А.К.
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
610
32
31/10/2020 14:24:52192-1Буклей Г.А.
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
610
33
31/10/2020 14:28:29192-1Гринберг П.М.
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x~(x ---> y), x or y, z ---> y
Все тавтологии выводимы в Исчислении высказываний.
46.666666667
34
31/10/2020 14:24:42192-1Дудкин В.В.
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
610
35
31/10/2020 14:21:59192-1Коган Е.С.
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
46.666666667
36
31/10/2020 14:27:41192-1Козлов А.С.
~x ---> x, (x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x~(x ---> y), y --> z, z ---> y
Все тавтологии выводимы в Исчислении высказываний., Отрицание любой выполнимой формулы выводимо в исчислении высказываний
11.666666667
37
31/10/2020 14:28:07192-1Козлов А.Д.
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
610
38
31/10/2020 14:23:39192-1Кокорина Ю.А.
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
610
39
31/10/2020 14:24:20192-1Лагутина Е.А.
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
610
40
31/10/2020 14:27:02192-1Раевская А.С.
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
610
41
31/10/2020 14:25:12192-1Романов И.П.
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
610
42
31/10/2020 14:23:53192-1Тимонина М.А.
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
610
43
31/10/2020 14:24:39192-1Тряпицын А.М.
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
610
44
31/10/2020 14:25:55192-2Гладких Р.Е
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
610
45
31/10/2020 14:24:54192-2Ильиных А. О.
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
610
46
31/10/2020 14:25:59192-2Карпенко К.И.
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
610
47
31/10/2020 14:25:52192-2Карпов Е.А.
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
610
48
31/10/2020 14:28:23192-2Корягин Никита
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
610
49
31/10/2020 14:26:45192-2Курченко Л.С.
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
610
50
31/10/2020 14:23:13192-2Поздеев Д.М.
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
610
51
31/10/2020 14:23:07192-2Смородинов А. А.
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
610
52
31/10/2020 14:28:27192-2Тимина Н.А.
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
610
53
31/10/2020 14:27:43192-2Федоров Г.В.
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
610
54
31/10/2020 14:21:36192-2Шарафатдинов К А
(x ---> ~x) --> ~x, (y --> x) ---> x
x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
35
55
31/10/2020 14:28:09192-2Якшимамедов В.С.
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~xx or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
46.666666667
56
31/10/2020 14:22:19194-1Калиниченко Г. А.
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
610
57
31/10/2020 14:24:46194-1Клименко З.И.
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
610
58
31/10/2020 14:22:20194-1Колесников П.М.
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
610
59
31/10/2020 14:22:52194-1Кочерин Н.А.
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
610
60
31/10/2020 14:23:02194-1Лишуди Д.А.
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
610
61
31/10/2020 14:22:59194-1Мансуров М. Р.
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
610
62
31/10/2020 14:24:18194-1Набатова Д.С.
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
610
63
31/10/2020 14:23:55194-1Орлов А. Ю.
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
610
64
31/10/2020 14:23:01194-1Петров М.Д.
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
610
65
31/10/2020 14:23:38194-1Смирнов Г.И.
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
610
66
31/10/2020 14:24:47194-1Стрыгин А.О.
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
610
67
31/10/2020 14:25:20194-1Шешукова М.Е.
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
610
68
31/10/2020 14:22:26194-1Шипилов Ф.А.
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
610
69
31/10/2020 14:21:54194-2Безрукова А. И.
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
610
70
31/10/2020 14:23:25194-2Иванов Д. Д.
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
610
71
31/10/2020 14:24:29194-2Лишуди А.А.
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
610
72
31/10/2020 14:22:31194-2Поляков Д.А.
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
610
73
31/10/2020 14:25:29194-2Соколихин А.А.
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний., Все выполнимые формулы выводимы в исчислении высказываний
58.333333333
74
31/10/2020 14:23:10194-2Хабиров Д.Р.
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
610
75
31/10/2020 14:22:21194-2Халматова М.И.
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
610
76
31/10/2020 14:23:54194-2Чубарова Д. А.
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
610
77
31/10/2020 14:22:31194-2Шакиров А.Р.
(x ---> ~x) --> ~x, ~x --> ( x ---> y )
y, x ---> y, y --> x, x and ~x
~(x ---> y), ~(x and y), x or y, y --> z
Все тавтологии выводимы в Исчислении высказываний.
610
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100