Owner's Manual
26
K
%⊆ ∧R∨∪∈
♠TMⓒ? ?
∃?
#?ⓒ ?
∧TM
Rⓒ????∈∧?
?R∨⊂⇒∧?∧?
∈?∪
TM∪
TM#G
#??∪⇔ TM
∧?
R⊆ ∧R∨∪∈
⊂TMⓒ? ?
#∨G#R∪
ⓒ?
R?GI↓TMⓒ∧?∪
∧?∈∧∪∈?.
&ⓒ
⊇∨?⊆TM ⓒ
⊂R
?∈???∨⇔ R
?∪????
TM
Rⓒ????∈∧?
?R∨⊂⇒∧?∧?
∈?∪
TM∪
TM#G
#??∪⇔ TM ⊂#TM∨TM ⓒ
ⓒ?
∈???∨∪⇔∧TM ⓒ
R#?IIR?⊂?∧∪∈?
⊂R
?∧⊂⇒.
∃?
∨⊂∪∈?
⊇∨?I⊂Gⓒ?
#?ⓒ ?
⊂R∪ⓒTM ⓒ
∧?ⓒ
?#⇒ TM⇔?
∧TM
⇔ ⇔∧ ⊂?∧TM
∈?∪
?⊂∪TM ∨ITM ⓒ
⊂RI?? ∧R∨R
?#?ⓒR
?R∪∧TM ∨I R .
%⇔ ∧R∨∪∈
♠TMⓒ? ?
∂ #!∀′#∂#∀∃ ∃:
(?R ⇔∧R
∧TM
⇔ ⇔∧?⊂?
%∨∪ⓒ
?∨↓ ⇔R∧R
∧TMⓒ
∈???∨∪⇔⊂⇒.
(???∨ R∧R
∈?∪
⇔∈TM % R∧R
⊂R
Gⓒ?
⊂???∈⇒
⇔∧RIⓒ⇒
%?ⓒ .
♠?
↓∨?⇔∪⊂TM%TM∪R ∧R
↓? ∨ ⓒ?
?R∪?ⓒ∧∪∈?
%∨TM ⇒ⓒ∧?.
+
#?∨TM↓
∨R ⊂?∧TM
#∨G#R∪
ⓒ?
∈⇒ R∧?∪
#∨∪ⓒ
∧TMⓒ
∈???∨∪⇔⊂⇒
∧?
R⇔ ∧R∨∪∈
⊂TMⓒ? ? .
2
.
1.
.
,
.
K .
2.
K
.
?
,
.
?
(40C
),
.
3.
,
.
4.
.
♠?
↓∨?⇔∪⊂TM#TM∪R ∧R
#TM∧G
∧ #TM∧?
?#⇒
∧?
#?∨?∈?∧
:
?
ΥR∨⇒
#?ⓒ
?#⇒
40
?Χ.
♠#TM∨R
ⓒ?
#∨TM∈??G⇔R∪
#?∨?⊂⇒∨⊇ ⇔?
∈?∪/
?#TM↓∨ ⊂?∧∪⇔⊂⇒.
?
∂∧?∧∪∈G
TM ⇔ R .
♠#TM∨R
ⓒ?
∈?ⓒTM ⓒ
?⊂∪?
⇔∧∪
R#∪⊇?ⓒR∪R
∧TM
∈?∪⊂?∧∪⇔∧∪∈TM
⊂?↓?ⓒ ⊂?∧TM .
()#G
R∪⇔⇒ TM
?G∨?)
()#G
R∪⇔⇒ TM
?G∨?)
( ? ⓒ ⇔?)
)#G
R⊆⇒ TM
?G∨?
∀??⇔∧∪∈⇒
⇔ ? ⓒ?
?#TM⇔∧∨?II∪⇔?
∂?R ∨?
∂ ⇔
⊂G∨TM
()#G
R∪⇔⇒ TM
?G∨?)
( ? ⓒ ⇔?)
)#G
R⊆⇒ TM
?G∨?
∀??⇔∧∪∈⇒
⇔ ? ⓒ?
?#TM⇔∧∨?II∪⇔?
∂?R ∨?
∂ ⇔
⊂G∨TM
( ? ⓒ ⇔?)
∀??⇔∧∪∈⇒
⇔ ? ⓒ?
?#TM⇔∧∨?II∪⇔?
∂?R ∨?
∂ ⇔
⊂G∨TM
)#G
R⊆⇒ TM
?G∨?