Owner's Manual
∃ ?I R
?R∪∧TM ∨I ?
12
K
∂
ⓒ?
??R∧R
⊂G⇔?
∧∪
⊂!?∧?∨ R
≡ ??⊆?
∈?∪
⊂ TM ?G
?∨ ⇔?
∧TM
)??R↓R∪⇔∧?∨ TM
∀ⓒ R∪∈∧∪∈?
??⊂#?∈∪?
?R∪∧TM ∨I ?
# ?I R
?R∪∧TM ∨I ?
%.
&⊇?∪∨G⇔∧R
∧TM
∈?? ⊂⊂?
⊂#?∧?∨ ?
∧∨? ⓒ∧?
∧TM
#∨TM
∧?ⓒ
∈?∧R ? ⓒ⇔?
#TM
R ↓ⓒR∪
∧TM
G?TM .
2.
∝??R∧R
⊂G⇔?
∧∪
⊂#?∧?∨ R
#∨TM⇔G↓TMⓒ∧?
∧?
⇔ ⇔∧
?G⇔?
∧TM
(+)
∈?∪
∧TM
(-)
∧?
⊂#?∧?∨ ? .
3.
?ⓒ?∈?R ⇔∧R
∧TM
∈?? ⊂⊂?
I?∪⇔∧∨ⓒ∧?
∧TM
# ⇔
⇔∧? ?G⇔?
∧TM .
?∨?⇔∪⊂TM#TM∪R ∧R
⊂#?∧?∨ R
2
&&&
(%.5
?ολτ).
♠?
↓∨?⇔∪⊂TM#TM∪R ∧R
R#?ⓒ?⊇TM∨∧∪ ⇒⊂RⓒR
⊂#?∧?∨ R .
?
∃TM
∧??R↓R∪∨∪⇔∧ ∨∪TM
⊂#TM∨R
ⓒ?
?#TM??keuqe
ivsunarmologhmevno
se
toivco.
?
°∪?
ⓒ?
??R∧R
⇔R
?R∪∧TM ∨I ?
∧TM
∈?∪⊂?∧∪⇔∧∪∈⇒
⊂?↓?ⓒ?⊂?
⊂?∧ TM
⇔∧∨G ∧R
∧TM
∧??R↓R∪∨∪⇔∧ ∨∪TM
#∨TM
∧TMⓒ
⇔?⊂?∧TM? #∧?.
?⊂?∧TM? %∧?
♣?⊂ ?ⓒR∪
∧?
⇔ ⊂?∧?
?#⇒
∧TM
∧??R↓R∪∨∪⇔∧ ∨∪TM.
∋↓TM
? ?
⇔?⊂?∧ ⓒ
:
TM
⇔ ⓒ∧TM⊂TM∪
↓?∨?∈∧?∨∪⇔∧∪∈TM
↓TM∪
Gⓒ?
#?∨?∧R∧?⊂GⓒTM
↓?∨?∈∧?∨∪⇔∧∪∈⇒
↓TM .
!ⓒ R∪∈∧∪∈?
♣?⊂%?∈∪?
♣R∪∧TM ∨I ?
!?R∪⇔∧⇒/&ⓒTM∪∈∧⇒
:
≡ ∧?∈∪?
?ⓒ?⊂⊂Gⓒ?
∈?∧?
∧?
?R∪∧TM ∨I ?
∧TM
⊂?↓?ⓒ ⊂?∧TM .
Υ ∈∧R∨∪ⓒ
♣R∪∧TM ∨I ?
:
≡ ∧?∈∪?
?ⓒ?⊂⊂Gⓒ?
∈?∧?
∧?
∪?∨∈R∪?
∧?
& ∧⇒⊂?∧?
Υ ∈∧R∨∪ⓒ
♣R∪∧TM ∨I ? .
?∨TMⓒTM ∪?∈⇒#∧?
:
≡ ∧?∈∪?
?ⓒ?⊂⊂Gⓒ?
∈?∧?
∧?
?R∪∧TM ∨I ?
∧TM
?∨TMⓒTM ∪?∈⇒#∧?.
♣R∪∧TM ∨I ?
R#?I⊂?∧TM
:
≡ ∧?∈∪?
?ⓒ?⊂⊂Gⓒ?
∈?∧?
∧?
?R∪∧TM ∨I ?
R#?I⊂?∧TM
(R⇔∧
∀∈∈ ⓒ?⇔?
(⊂⇒ⓒTM
⊂TMⓒ∧G?TM
⊂R
?ⓒ∧? ?
?R∨⊂⇒∧?∧? ).
♣∀Ι∃)? °?&
∀ ∃∀ ?!+
♠)Υ&′&
:
≡ ∧?∈∪?
?ⓒ?⊂⊂Gⓒ?
∈?∧?
∧?
?R∪∧TM ∨I ?
∧?
R⊆ ∧R∨∪∈
⊂TMⓒ? ?
(⊂⇒ⓒTM
⊂TMⓒ∧G?TM
⊆? ).
∂??⇔⊂?
:
+
?R∪∧TM ∨I ?
?#R∪∈TMⓒ R∪
∧TM
ⓒ?⊂∪∈⇒
∧∨⇒#TM
∧?
↓∨?⇔∪⊂TM#TM∪ⓒ∧?
Gⓒ?
#TM???#?⇒
⇔ ⇔∧?⊂?
⊇ ∧∪⇔⊂TM .