Logiweb dictionary of opgave

Up Help

0	0	opgave
1	2	general macro define {MissingArg} as {MissingArg} end define
2	1	make root visible {MissingArg} end visible
3	0	sequent example axiom
4	0	sequent example rule
5	0	sequent example contradiction
6	0	sequent example theory
7	0	sequent example lemma
8	1	set {MissingArg} end set
9	1	object var {MissingArg} end var
10	0	object a
11	0	object b
12	0	object c
13	0	object d
14	0	object e
15	0	object f
16	0	object g
17	0	object h
18	0	object i
19	0	object j
20	0	object k
21	0	object l
22	0	object m
23	0	object n
24	0	object o
25	0	object p
26	0	object q
27	0	object r
28	0	object s
29	0	object t
30	0	object u
31	0	object v
32	0	object w
33	0	object x
34	0	object y
35	0	object z
36	4	sub {MissingArg} is {MissingArg} where {MissingArg} is {MissingArg} end sub
37	4	sub zero {MissingArg} is {MissingArg} where {MissingArg} is {MissingArg} end sub
38	4	sub one {MissingArg} is {MissingArg} where {MissingArg} is {MissingArg} end sub
39	4	sub star {MissingArg} is {MissingArg} where {MissingArg} is {MissingArg} end sub
40	2	deduction {MissingArg} conclude {MissingArg} end deduction
41	2	deduction zero {MissingArg} conclude {MissingArg} end deduction
42	3	deduction one {MissingArg} conclude {MissingArg} condition {MissingArg} end deduction
43	3	deduction two {MissingArg} conclude {MissingArg} condition {MissingArg} end deduction
44	4	deduction three {MissingArg} conclude {MissingArg} condition {MissingArg} bound {MissingArg} end deduction
45	4	deduction four {MissingArg} conclude {MissingArg} condition {MissingArg} bound {MissingArg} end deduction
46	4	deduction four star {MissingArg} conclude {MissingArg} condition {MissingArg} bound {MissingArg} end deduction
47	3	deduction five {MissingArg} condition {MissingArg} bound {MissingArg} end deduction
48	4	deduction six {MissingArg} conclude {MissingArg} exception {MissingArg} bound {MissingArg} end deduction
49	4	deduction six star {MissingArg} conclude {MissingArg} exception {MissingArg} bound {MissingArg} end deduction
50	1	deduction seven {MissingArg} end deduction
51	2	deduction eight {MissingArg} bound {MissingArg} end deduction
52	2	deduction eight star {MissingArg} bound {MissingArg} end deduction
53	0	system s
54	0	double negation
55	0	rule mp
56	0	rule gen
57	0	rule div
58	0	deduction
59	0	axiom s one
60	0	axiom s two
61	0	axiom s three
62	0	axiom s four
63	0	axiom s five
64	0	axiom s six
65	0	axiom s seven
66	0	axiom s eight
67	0	axiom s nine
68	0	axiom s ten
69	0	repetition
70	0	lemma a one
71	0	lemma a two
72	0	lemma a four
73	0	lemma a five
74	0	prop three two a
75	0	prop three two b
76	0	prop three two c
77	0	prop three two d
78	0	prop three two e one
79	0	prop three two e two
80	0	prop three two e
81	0	prop three two f one
82	0	prop three two f two
83	0	prop three two f
84	0	prop three two g one
85	0	prop three two g two
86	0	prop three two g
87	0	prop three two h one
88	0	prop three two h two
89	0	prop three two h
90	0	prop three two i
91	0	prop three two j one
92	0	prop three two j two
93	0	prop three two j
94	0	prop three two k one
95	0	prop three two k two
96	0	prop three two k
97	0	prop three two l one
98	0	prop three two l two
99	0	prop three two l
100	0	prop three two m one
101	0	prop three two m two
102	0	prop three two m
103	0	prop three two n one
104	0	prop three two n two
105	0	prop three two n
106	0	prop three two o
107	0	prop three four a one
108	0	prop three four a two
109	0	prop three four a
110	0	prop three four b
111	0	prop three four c one
112	0	prop three four c two
113	0	prop three four c
114	0	prop three four d one
115	0	prop three four d two
116	0	prop three four d
117	3	block one {MissingArg} state {MissingArg} cache {MissingArg} end block
118	1	block two {MissingArg} end block
119	1	{MissingArg} hide
120	1	macro indent {MissingArg}
121	1	{MissingArg} suc
122	2	{MissingArg} equal {MissingArg}
123	2	{MissingArg} unequal {MissingArg}
124	1	{MissingArg} is object var
125	2	{MissingArg} avoid zero {MissingArg}
126	2	{MissingArg} avoid one {MissingArg}
127	2	{MissingArg} avoid star {MissingArg}
128	2	exist {MissingArg} indeed {MissingArg}
129	2	for all {MissingArg} indeed {MissingArg}
130	2	for all objects {MissingArg} indeed {MissingArg}
131	2	{MissingArg} imply {MissingArg}
132	2	{MissingArg} if and only if {MissingArg}
133	2	{MissingArg} avoid {MissingArg}
134	2	{MissingArg} object modus ponens {MissingArg}
135	2	for all terms {MissingArg} indeed {MissingArg}
136	3	block {MissingArg} line {MissingArg} end block {MissingArg}
137	2	because {MissingArg} indeed {MissingArg} end line
138	2	any term {MissingArg} end line {MissingArg}
139	2	{MissingArg} alternative {MissingArg}
140	0	evaluates to
141	2	{MissingArg} safe row {MissingArg}
142	2	{MissingArg} divides {MissingArg}