
GREEK
?
19
∂∨∪ⓒ
?∧ ⇔R∧R
⇔G∨ ∪
...
∀?GI⊆∧R
∧?
#?∨?∈?∧
⇔?⊂R ?
#∨∪ⓒ
?∧ ⇔R∧R
R#∪⇔∈R
⇔G∨ ∪ .
%ⓒ
?
?? ?
R#∪⊂GⓒR∪
#?∨?∈??R ⇔?R
ⓒ?
R#∪∈TM∪ⓒ ⓒ ⇔R∧R
⊂R
∧TMⓒ
G⊂#TM∨TM
∧TM
∈Gⓒ∧∨TM
⇔G∨ ∪ .
⊂ TM ?G
)#∪ ∪⇒∨? ⇔?
∝?? ⓒ!
∋?ⓒ∧R
TM∪∈TMⓒTM⊂ ?
↓∨⇒ⓒTM
∈?∪
↓∨?⊂?∧ ⓒ!
s
′R
?R∪∧TM ∨IR .
∃TM
⊂?∧∪TM
I? R∪
⊂∪?
#?∨?⊆Rⓒ?
⊂ ∨ ∪?.
≡? ⓒR∧?∪
⇔?ⓒ
ⓒ?
∪?∨∨GR∪
⇔ ⊂# ∈ⓒ ⊂?
?#⇒
∧TM
∈?∪⊂?∧∪⇔∧∪∈⇒
⊂?↓?ⓒ?⊂?.
∃TM
∈?∪⊂?∧∪⇔∧∪∈⇒
⊂?↓?ⓒ?⊂?
R
?R∪∧TM ∨IR
R#
3
?R#∧?
#R∨ #TM
⇒∧?ⓒ
R#?ⓒR∈∈∪ⓒ??R .
′Rⓒ
↓R∪
TM ∧R
R⇔∧? ⓒR∪
?#TM∧R?R⇔⊂?∧∪∈?.
?R∪∧TM ∨I ?
∧TM
∈?∪⊂?∧∪⇔∧∪∈TM
⊂?↓?ⓒ ⊂?∧TM
∈?ⓒR∪
?⇒∨ TM.
(
TM?⇒ⓒ?
∧TM
∧??R↓R∪∨∪⇔∧?∨ TM
R ⓒ?∪
?⊂ ∨
Rⓒ
R⊂⊇?ⓒ R∧?∪
∧ #TM∧?.
%∈TM IR∧?∪
Gⓒ?
∈∨⇒∧TM .
?
♠ #
∈?ⓒ?∧R
???TM
⇔∧?
?R∪∧TM ∨I ?
∧TM
↓∨TMⓒTM ∪?∈⇒#∧?
;
?
♠ #
G↓R∪
∈?R
?
?⇔⊇??R∪?
G↓R∪
?#TM R ↓?R
TM
∪?∈⇒#∧?
∈ ∈?⊂?∧TM
;
?
∝R ?∪ ?R ∧R
⇒∧∪
Rⓒ
#∨⇒∈R∪∧?∪
I∪?
⊂ ∨ ∪?
I∨?⇔ ?
?#⇒
∧TM ↓TM ,
⊂TM∈G∧?,
G#∪#??
⊇?⇔⊂?∧∪ⓒ?
R ?
⊂G⇔?
⇔∧TM
⊂?∧∪TM.
?
∃TM
⇔ ⊂# ∈ⓒ ⊂?
?⊂∪TM ∨IR ∧?∪
⇒∧?ⓒ
?
∨TM
?G∨?
∧TM
∈?∪⊂?∧∪⇔∧∪∈TM
⊂?↓?ⓒ ⊂?∧TM
↓R∪
∧TM
R⇔∧⇒
?G∨?
∧TM
⊂?∧ TM .
?
∂∨⇒∈R∪∧?∪
I∪?
∧TM
⇔ ⇔∧?⊂?
#∨TM⇔∧?⇔ ?
∧TM
⊂?↓?ⓒ∪⇔⊂TM .
?
∂R∨∪⊂GⓒR∧R
#R∨ #TM
∧∨ ?
?R#∧?
∈?∪
?
?R∪∧TM ∨I ?
??
?∨↓ ⇔R∪.
?
♠ #
R ⓒ?∪
∨⊂∪∈TM
∧TM
⊇ ?∧∨TM
;
∝?G#R
TM ?I R
∈???∨∪⇔⊂TM
∧TM
⊇ ?∧∨TM .
?
♠ #
G↓R∪
∨ ?⊂∪⇔∧R
???TM
?
?R∨⊂TM∈∨?⇔ ?
;
?
♠ #
G↓TM ⓒ
TM ?⇔R∪
TM∪
TM#G
R∪⇔⇒ TM
∈?∪
R⊆⇒ TM
?G∨?
∧?
R⇔ ∧R∨∪∈
⊂TMⓒ? ?
;
?
≤⇒∨ TM
#TM
⊂TM∪? R∪
⊂R
ⓒR∨⇒
#TM
∧∨G↓R∪.
-
∂∨⇒∈R∪∧?∪
I∪?
∧TM
?⇒∨ TM
#TM
∈?ⓒR∪
∧TM
⊇∨R⇒ⓒ
∧TM
TM#TM TM
∨GR∪
⊂G⇔?
⇔∧TM
∈?∪⊂?∧∪⇔∧∪∈⇒
⊂?↓?ⓒ?⊂?.
?
≤⇒∨ TM
#TM
⊂TM∪? R∪
⊂R
#R#∪R⇔⊂GⓒTM
?G∨?
⇒∧?ⓒ
?⊇ ⓒR∧?∪
R?R ?R∨TM
⇔∧?ⓒ
?∧⊂⇒⇔⊇?∪∨?.
-
∂∨⇒∈R∪∧?∪
I∪?
∧TM
?⇒∨ TM
∧TM
?⊇ I∨?ⓒ∧∪∈TM
ⓒR∨TM
∧TM
TM#TM TM
⊇ ⇔∧?∧?∪
R#R⊆R∨I?⇔ ?
⊂G⇔?
⇔∧TM
∈?∪⊂?∧∪⇔∧∪∈⇒
⊂?↓?ⓒ?⊂?.
?
♠ #
R ⓒ?∪
R⊆?ⓒ∧??⊂GⓒR
TM∪
⊂#?∧?∨ R ;
?
♠ #
∧TM
(+)
∈?∪
∧TM
(-)
G↓TM ⓒ
∧TM#TM?R∧??R
?ⓒ∧ ⇔∧∨TM⊇?;
?
&
?⇒∨ TM
? ∧⇒
#?∨?IR∧?∪
?#⇒
∧?
∪?⇔∧TM? /⇔ ⇔∧TM?
∧TM
⊂#∨TM⇔∧∪ⓒTM
#??∪⇔ TM
∈.?.#.
?⇒I
∧ ⓒ
????Iⓒ
?R∨⊂TM∈∨?⇔ ? .
)3
-
-
-
-
)6
7,
)0
-
-
4
-
Komentarze do niniejszej Instrukcji