Owner's Manual
∃ ?I R
?R∪∧TM ∨I ?
14
K
ON
⊆?
?I∪R∪ⓒ
&⊇ I∨?ⓒ⇔?
& ∧⇒⊂?∧?
≤G∨⊂?ⓒ⇔?
(⊂TMⓒ∧G?TM
⊂R
?ⓒ∧? ?
?R∨⊂⇒∧?∧?
⊂⇒ⓒTM)
°∪?
ⓒ?
?ⓒR ?⇔R∧R
∧?
?R∨⊂TM∈∨?⇔ ?
°∪?
ⓒ?
∈?∧R ?⇔R∧R
∧?
?R∨⊂TM∈∨?⇔ ?
♣R∪∧TM ∨I ?
⊆?
∂?∧ ⇔∧R
∧TM
∈TM ⊂#
ⓒ?∨⊆? /∂? ⇔?
♣R∪∧TM ∨I ? .
+
⊂TMⓒ? ?
?ⓒ∧?#TM∈∨ ⓒR∧?∪
⊂R
Gⓒ?
↓?∨?∈∧?∨∪⇔∧∪∈⇒
↓TM.
&ⓒTM ⊆∧R
∧?ⓒ
#⇒∨∧?
∧TM
∧??R↓R∪∨∪⇔∧?∨ TM .
°∪?
ⓒ?
R#∪?G⊆R∧R
∧?
♣R∪∧TM ∨I ?
⊆?
#?∧ ⇔∧R
∧TM
∈TM ⊂#
∀#∪?TMI
∃∨⇒#TM
♣R∪∧TM ∨I ? .
!??R
⊇TM∨?
#TM
#?∧?∧R
∧TM
∈TM ⊂#
TM
∧∨⇒#TM
?R∧TM ∨I ?
⊂R∧?∧TM# R∧R
#∨TM
∧?ⓒ
∈?∧R ? ⓒ⇔?
∧TM
G?TM .
!?R ⇔∧R
∧?ⓒ
#⇒∨∧?
∧TM
∧??R↓R∪∨∪⇔∧?∨ TM . ?⊂ ⇔∧R
∧?
?R∨⊂TM∈∨?⇔ ?
#∪TM
∈?∧
?#⇒
∧?
?R∨⊂TM∈∨?⇔ ?
∧TM
⊂?∧ TM .
+
?R∨⊂TM∈∨?⇔ ?
⊂#TM∨R
ⓒ?
∨ ?⊂∪⇔∧R
⊂G⇔?
⇔R
⊂∪?
ⓒ?
⊂R∧?⊆
%8?Χ
∈?∪
30?Χ
⊂R
⊂?∧?
∧TM
%
?Χ.
?ⓒ?∨ ?⊂ ⇔∧R
∧?ⓒ
∧?↓ ∧?∧?
∧TM
?ⓒR⊂∪⇔∧ ∨?
⊂R
∧?ⓒ
#⇒∨∧?
∧TM
∧??R↓R∪∨∪⇔∧?∨ TM
?∈⇒⊂?
∈?R∪⇔∧ .
♠#TM∨R ∧R
ⓒ?
R#∪?G⊆R∧R
∧?ⓒ
∧?↓ ∧?∧?
∧TM
?ⓒR⊂∪⇔∧ ∨?
⇔R
∧G⇔⇔R∨?
R# #R ?
-
↓?⊂?? ,
⊂G∧∨∪?,
??
∈?∪
ΧΗΑΟΣ.
!??R
⊇TM∨?
#TM
#?∧?∧R
∧TM
∈TM ⊂#
???? R∪
?
∧?↓ ∧?∧?
∧TM
?ⓒR⊂∪⇔∧ ∨?.
1
2
3
4
≡ ⇔∪∈⇒
∨R ⊂?
?G∨?
⊂R
∧?
?TMI∪∈
ΧΗΑΟΣ
°∪?
#R∨∪⇔⇔⇒∧R∨?
? ⇔??⇔?
∨TM⇔∪?
?#⇒
TM∪? #TM∧R
????
∧?↓ ∧?∧?
?ⓒR⊂∪⇔∧ ∨?
#?∧ ⇔∧R
∧TMⓒ
∀#∪?TMIG?
∃?↓ ∧?∧?
∀⇔ ∧R∨∪∈TM
&ⓒR⊂∪⇔∧ ∨?
∈?∪
∨ ?⊂ ⇔∧R
∧TMⓒ
⇔∧?
?G⇔?
ΧΗΑΟΣ.
♠ ? ∧⇒ⓒ
∧TMⓒ
∧∨⇒#TM
?R∪∧TM ∨I ?
TM
?G∨?
⊇ ⇔?R∪
⇔?ⓒ
⊇ ⇔∪∈
? ∨?
⊂R
∧?ⓒ
? ∧⇒⊂?∧?
????I
∧?↓ ∧?∧?
?ⓒR⊂∪⇔∧ ∨?
⇔ ⊂⊇ ⓒ?
⊂R
∧?
?TMI∪∈
ΧΗΑΟΣ.