Owner's Manual

22
K
∃ ?I R ?R∪∧TM ∨I ?
ON OFF
CANCEL
SET
ON OFF
CANCEL
SET
AUTO CLEAN
2nd F
∂?∧ ⇔∧R
∧TM
∈TM ⊂#
ⓒ?∨⊆? /∂? ⇔?
♣R∪∧TM ∨I ? .
+
⊂TMⓒ? ?
?ⓒ∧?#TM∈∨ ⓒR∧?∪
⊂R
Gⓒ?
↓?∨?∈∧?∨∪⇔∧∪∈⇒ ↓TM.
1
&ⓒTM ∧R ∧?ⓒ
#⇒∨∧?
∧TM
∧??R↓R∪∨∪⇔∧?∨ TM
∈?∪
#?∧ ⇔∧R
∧TM
∈TM ⊂#
2?
♣R∪∧TM ∨I ? I∪?
ⓒ?
↓∨?⇔∪⊂TM#TM∪ ⇔R∧R ?R∪∧TM ∨I R R∈∧ # ⊂GⓒR
⊂R
⊂#?R
↓∨⊂?
⇔∧TM
∈?∧
⊂G∨TM
∧ ⓒ
∈TM ⊂#∪ⓒ. (∀?GI ∧R ∧?ⓒ Gⓒ R∪ ?
∧TM
∈TM ⊂#∪TM
2?
♣R∪∧TM ∨I ?
∧TM
∧??R↓R∪∨∪⇔∧?∨ TM ).
& ∧? ∧?
∈TM ⊂#∪?
?G∧TM ⓒ ⇔R
?R∪∧TM ∨I ?
∧?
∨ ?⊂∪⇔? ↓∨TMⓒTM ∪?∈⇒#∧?
R :
2
∃TM
∈TM ⊂#
2?
♣R∪∧TM ∨I ? ⇔ ⓒR∪
⇔R
? ITM ? ∧⇒⊂?∧?
⇒∧?ⓒ
#?∧??R
∈?∪
#??∪ ∧TM
∈TM ⊂# .
°∪?
!R∨∪⇔⇔⇒∧R∨R !??∨TM⊇TM∨ R , ?ⓒ?∧∨G ∧R ⇔∧∪
?R∪∧TM ∨I R
⇔∧?ⓒ
R!⇒⊂Rⓒ?
⇔R? ?.
3