“ ”
10
20
&
22
∨
24
→
27
↔
33
50
mod pon, m.p.
50
conj inf
51
simp; conj simp
51
hyp syll
52
contrapos inf
52
79
ε
81
ded prin
89
H( ), F( ), etc.
127
(x); ∀(x)
132
(∃x)
135
IU
143
PGU*
146
IE
152
PGE
153
PGU
166
R
174
IS
174
F*(y)
174
ISC
176
e
183
o
184
x−1
188
1-1
192
≅
193
F [mod p]
200
disch assump
223 (see 178, 180)
224
|a|
228
An, {An}
234
contra
244
subst VSF
244
quant conv
247 (see 138)