Logiweb dictionary of opgave

Up Help

0	0	opgave
1	0	numeral zero
2	0	numeral one
3	0	numeral two
4	0	numeral three
5	0	numeral four
6	0	numeral five
7	0	numeral six
8	0	numeral seven
9	0	numeral eight
10	0	numeral nine
11	0	numeral n
12	0	rule div
13	0	rule r
14	0	rule r one
15	0	rule r two
16	0	rule r three
17	0	rule r four
18	0	rule r five
19	0	rule r six
20	0	conjel1
21	0	conjel2
22	0	conjin
23	0	disjin1
24	0	disjin2
25	0	t one
26	0	h zero a
27	0	h zero b
28	0	h one
29	0	h two
30	0	h three
31	0	h four
32	0	h four mark
33	0	h five
34	0	h six
35	0	h seven
36	0	h eight
37	0	h nine
38	0	h ten
39	0	h eleven
40	0	h twelwe
41	0	modus tollens
42	0	axiom s ten
43	0	prop three two
44	0	prop three two i
45	0	prop three two j one
46	0	prop three two j two
47	0	prop three two j
48	0	prop three two k one
49	0	prop three two k two
50	0	prop three two k
51	0	prop three two l one
52	0	prop three two l two
53	0	prop three two l
54	0	prop three two m one
55	0	prop three two m two
56	0	prop three two m
57	0	prop three two n one
58	0	prop three two n two
59	0	prop three two n
60	0	prop three two o
61	0	prop three four
62	0	prop three four a one
63	0	prop three four a two
64	0	prop three four a
65	0	prop three four b
66	0	prop three four c one
67	0	prop three four c two
68	0	prop three four c
69	0	prop three four d one
70	0	prop three four d two
71	0	prop three four d
72	0	prop three five
73	0	prop three five a
74	0	prop three five b
75	0	prop three five c
76	0	prop three five d one
77	0	prop three five d two
78	0	prop three five d
79	0	prop three five e one
80	0	prop three five e two
81	0	prop three five e
82	0	prop three five f one
83	0	prop three five f two
84	0	prop three five f
85	0	prop three five g one
86	0	prop three five g two
87	0	prop three five g three
88	0	prop three five g four
89	0	prop three five g
90	0	prop three five h one
91	0	prop three five h two
92	0	prop three five h
93	0	prop three five i one
94	0	prop three five i two
95	0	prop three five i
96	0	prop three five j one
97	0	prop three five j two
98	0	prop three five j
99	0	prop three seven
100	0	prop three seven a
101	0	prop three seven b
102	0	prop three seven c
103	0	prop three seven d
104	0	prop three seven e
105	0	prop three seven f
106	0	prop three seven g
107	0	prop three seven g mark
108	0	prop three seven h
109	0	prop three seven i
110	0	prop three seven j
111	0	prop three seven k
112	0	prop three seven k mark
113	0	prop three seven l
114	0	prop three seven l mark
115	0	prop three seven m
116	0	prop three seven n
117	0	prop three seven o
118	0	prop three seven p
119	0	prop three seven q
120	0	prop three seven r
121	0	prop three seven s
122	0	prop three seven t
123	0	prop three seven u
124	0	prop three seven u mark
125	0	prop three seven v
126	0	prop three seven w
127	0	prop three seven x
128	0	prop three seven x mark
129	0	prop three seven y
130	0	prop three seven y mark
131	0	prop three seven z
132	0	prop three seven z mark
133	0	prop three ten
134	0	prop three ten a
135	0	prop three ten b
136	0	prop three ten c
137	0	prop three ten d
138	0	prop three ten e
139	0	prop three ten f
140	0	prop three ten g
141	0	prop three ten h
142	0	prop three eleven
143	2	{MissingArg} ist {MissingArg}
144	2	{MissingArg} istq {MissingArg}
145	2	{MissingArg} inst {MissingArg}
146	2	{MissingArg} igt {MissingArg}
147	2	{MissingArg} igtq {MissingArg}
148	2	{MissingArg} ingt {MissingArg}
149	2	{MissingArg} neq {MissingArg}
150	2	{MissingArg} and1 {MissingArg}
151	2	{MissingArg} or1 {MissingArg}
152	2	exists {MissingArg} indeed {MissingArg}
153	2	{MissingArg} divides {MissingArg}
154	1	{MissingArg} ldots