
18
∂∨TM⊇ ??⊆R∪ !⇔⊇??R ?
∀ ?I R ♣R∪∧TM ∨I ?
≡∨TMⓒ∧ ? ∈?∪ ⓒ∧ ∨?⇔?
⊂ TM ?G I∪? #∃∪ ∪⇒∨? ⇔? ∝?? ⓒ
∂ # #?∃
∝??∧R
∧TM
∈?∪⊂?∧∪⇔∧∪∈⇒
⊂?↓?ⓒ?⊂?
⇔R
?R∪∧TM ∨I ?
⊂R
∧?
?R∪∧TM ∨I ?
! ∈?TM⊇TM∨ ?
%G∨?
(?ⓒ?∧∨G⊆∧R
⇔∧?
⇔R? ?
)4)
I∪?
2
G
3
∨R .
?
♠R
∧TMⓒ
∧∨⇒#TM
? ∧⇒
⇔∧RIⓒⓒTM ⓒ
TM∪
R⇔ ∧R∨∪∈TM
⊂?↓?ⓒ∪⇔⊂TM
∧?ⓒ
∧TM
∈?∪⊂?∧∪⇔∧∪∈⇒
⊂?↓?ⓒ?⊂?
Rⓒ
%∨⇒∈R∪∧?∪
ⓒ?
↓∨?⇔∪⊂TM%TM∪??R
I∪?
%TM?
∈?∪∨⇒
∧?ⓒ
∧TM
∈?∪⊂?∧∪⇔∧∪∈⇒
⊂?↓?ⓒ?⊂?
%∨⇒∈R∪∧?∪
ⓒ?
⊆?ⓒ?↓∨?⇔∪⊂TM%TM∪??R
!?R ⇔∧R
∧TM
∪?∈⇒#∧?
∈ ∈?⊂?∧TM
∈?∪
I??∧R
∧TM
⊇∪
?#⇒
∧?ⓒ
#∨ ?.
%⊇?∪∨G⇔∧R
∧∪
⊂#?∧?∨ R
?#⇒
∧TM
∧??R↓R∪∨∪⇔∧ ∨∪TM.
∧?ⓒ
∧TM
∈?∪⊂?∧∪⇔∧∪∈⇒
⊂?↓?ⓒ?⊂?
Rⓒ
#∨⇒∈R∪∧?∪
ⓒ?
↓∨?⇔∪⊂TM#TM∪??R
I∪?
#TM?
∈?∪∨⇒
(?R ⇔∧R
∧TM
∪?∈⇒%∧?
∈ ∈?⊂?∧TM
⇒∧?ⓒ
∧TM
∈?∪⊂?∧∪⇔∧∪∈⇒
⊂?↓?ⓒ?⊂?
Rⓒ
%∨⇒∈R∪∧?∪
ⓒ?
↓∨?⇔∪⊂TM%TM∪??R
I∪?
%TM?
∈?∪∨⇒.
♠#TM∨R
ⓒ?
⇔ I∈Rⓒ∧∨ ?TM ⓒ
?∈???∨⇔ R
∈?∪
ⓒ?
#∨TM∈??G⇔TM ⓒ
# ∨∈? ?.
!???∨ ⇔∧R
∧TM
⊇ ?∧∨TM
?G∨?
∈?∪
∧TM#TM?R∧R ⇔∧R
∧TM
⊂G⇔?
⇔∧?ⓒ
R⇔ ∧R∨∪∈
⊂TMⓒ? ?.
(?ⓒ?∧∨G⊆∧R
⇔∧?
⇔R? ?
)6
I∪?
∧TMⓒ
∈???∨∪⇔⊂⇒
∧TM
⊇ ?∧∨TM ).
∝R ?∪ ?R ∧R
⇒∧∪
Rⓒ
G↓R∪
TM ?⇔R∪
?
R ⇔TM TM
∈?∪
?
G⊆TM TM
?G∨?
∧?
R⇔ ∧R∨∪∈ /R⊆ ∧R∨∪∈
⊂TMⓒ? ? .
♠?ⓒ
%R∨ ↓R∧R
∧TM
⊂?∧∪TM.
′∪?∧?∨R ∧R
∈?R∪⇔∧?
∧?
⇔∧TM∨∪?
∧∪
∈TM ∨∧ ⓒR .
′∪?∧?∨R ∧R
TM⊂TM∪⇒⊂TM∨⊇?
∧?
?R∨⊂TM∈∨?⇔ ?
∧TM
⊂?∧ TM .
∝R ?∪ ?R ∧R
⇒∧∪
TM∪
%⇒∨∧R
∈?∪
∧?
%?∨?? ∨?
R ⓒ?∪
R∨⊂?∧∪∈?
∈?R∪⇔⊂Gⓒ?.
(???∨ R∧R
∧?∈∧∪∈?
∧TM
⊇ ?∧∨TM
?G∨?.
∋R∨ R∧R
%⇒∧R
-
%⇒∧R
∧TM
⊂?∧∪TM.
%#TM⊇R IR∧R
⇒⇔TM
⊂#TM∨R ∧R
ⓒ?
?ⓒTM IR∧R
#⇒∨∧R
∈?∪
#?∨?? ∨?
I∪?
ⓒ?
∪?∧?∨R ∧R
∧TM
∨TM⇔R∨⇒
?G∨?
⊂G⇔?
⇔∧TM
⊂?∧∪TM.
∃TM
TM ? ⊂?
∧TM
⊇ ?∧∨TM
⊂R∪ⓒR∪
∧?
∨TM
?G∨?
∈?∪
⇔ ⓒR#
∧?
?#TM∧R?G⇔⊂?∧?
⊆?
∈?∪
?⊇ I∨?ⓒ⇔? .
!???∨ R∧R
∧TM ??↓∪⇔∧TMⓒ
⊂∪?
⊇TM∨?
∈??R
TM
R TM⊂? R .
∀⊇⇒⇔TMⓒ
∧?
#?∨?? ∨?
∪?∧?∨TM ⓒ∧?∪
∈?R∪⇔∧?
⇔ ⓒ∪⇔∧?∧?∪
ⓒ?
∧?
?ⓒTM IR∧R
#⇒∧R
-
#⇒∧R
I∪?
ⓒ?
?R∨ R∧?∪
∧TM
⊂?∧∪TM.
′Rⓒ
∈?ⓒR∪
∈??⇒
⇔∧?ⓒ
IR ?
∈?∪
R#∪#?GTMⓒ
⇔#?∧???∧R
??R∈∧∨∪∈⇒
∨R ⊂?.
♠?ⓒ
?⊇ ⓒR∧R
∧TM
⊇
∧TM
?∪TM
ⓒ?
#G⊇∧R∪
?#R ?R ?
⊂G⇔?
⇔∧TM
⊂?∧∪TM
⇒∧?ⓒ
?R∪∧TM ∨IR
∧TM
∈?∪⊂?∧∪⇔∧∪∈⇒
⊂?↓?ⓒ?⊂?.
?⊂ R∧R
∧?ⓒ
∈??R∧?
∈?∪
∧?ⓒ
TM∨∪ ⇒ⓒ∧∪?
∈?∧R ? ⓒ⇔?
I∪?
ⓒ?
#R∧ ↓R∧R
TM⊂TM∪⇒⊂TM∨⊇?
?R∨⊂TM∈∨?⇔ ?
⊂G⇔?
⇔∧TM
⊂?∧∪TM.
⊂ TM ?G
♣R∪∧TM ∨I ?
Commenti su questo manuale