math_logic/helper.cpp at master · slelaron/math_logic · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
#include <bits/stdc++.h>

using namespace std;

enum verdict
{
	MODUS_PONANS,
	EVERY,
	EXIST,
	ASSUMPTION,
	AXIOM_SCHEME,
	AXIOM,
	ERROR
};

int main()
{
	freopen("comment_for_exist", "r", stdin);
	freopen("output", "w", stdout);

	for (int i = 0; i < 106; i++)
	{
		string s;
		cin >> s;
		cerr << s << endl;
		if (s == "Assumption")
		{
			int a;
			cin >> a;
			cout << ASSUMPTION << ' ' << a - 1 << ' ' << -1 << endl;
		}
		if (s == "M.P.")
		{
			int a, b;
			cin >> a >> b;
			cout << MODUS_PONANS << ' ' << a - 1 << ' ' << b - 1 << endl;
		}
		if (s == "Axiom_scheme")
		{
			int a;
			cin >> a;
			cout << AXIOM_SCHEME << ' ' << a << ' ' << -1 << endl;
		}
		if (s == "Every")
		{
			int a;
			cin >> a;
			cout << EVERY << ' ' << a - 1 << ' ' << -1 << endl;
		}
		if (s == "Exist")
		{
			int a;
			cin >> a;
			cout << EXIST << ' ' << a - 1 << ' ' << -1 << endl;
		}
	}

	return 0;
}