|
|
|
|
|
|
| 1
| (iA) = df
= df (iA){([ a (* iA)]) }
| 1.
2. .
| "-" iA iA' + .
|
| 1
| (iA) = df
= df (iA){(([ a (* iA)]) )F}
| 1
2. .-. .
|
|
| 2
| (iA) = df
= df (iA){([ a (* iA)]) , , }
| 1.
2.. , .
| , , .
|
| 2
| (iA) = df
= df (iA){(([ a (* iA)]) , ,)F}
| 1..
2.
|
|
| 3
| (iA) - () = df
= df (iA){{([ i´a (* iA)]) t } {([ i´a (* iA D)]) t }}
| 1. .
2. .
3. .
4.
| a D= , (.. , ).
|
| 3
| (iA) - () = df
= df (iA){{([ i´a (* iA)]) t } {(([ i´a (* iA D)]) t)F}}
| 1. " "
2. .
|
|
| 4
| (iA) - () = df
= df (iA){{([ i´a (* iA)]) t } {([ i´a D(* iA)]) t }}
| 1. .
2." " .
|
|
| 4
| (iA) - () = df
= df (iA){{([ i´a (* iA)]) t } {(([ i´a D(* iA)]) t)F}}
| 1. .
2. " " .
|
|
| 5
| (iA) - = df
= df (iA){{([ i´a (* iA)]) t } {([ i´a (* iA È)]) t }}
| 1. .
2. ""
| iA È= iA (= -1)
".
|
| 5
| (iA) - = df
= df (iA){{([ i´a (* iA)]) t } {(([ i´a (* iA È)]) t)F}}
| 1. "--".
| .
|
| 6
| (iA) - = df
= df (iA){{([ iia (* iA)]) t } {([ ii a È(* iA)]) t }}
| 1. , .
|
|
| 6
| (iA) - = df
= df (iA){{([ iia (* iA)]) t } {(([ iia È(* iA)]) t)F}}
| 1 .
|
|
| 7
| (iA) = df
= df (iA){{([ iia (* iA)]) t } {([ iia' (* iA)]) t }}
| 1.
2 -
3. .
|
|
| 7
| (iA) = df
= df (iA){{([ iia (* iA)]) t }
{(([[(A) iia' ](* iA)]) t)F}}
| 1. .
2. . .
|
|
| 8
| (iA) ( ) = df
= df (iA){{([ i´a (* iA)]) t } {([ i´a (* iA')]) t }}
| 1 ; "".
2.
| -: . . " "
|
| 8
| (iA) ( ) = df
= df (iA){{([ i´a (* iA)]) t } {(([ i´a (* iA')]) t)F}}
| 1.
2.
3. ?
|
|
| 9
| (iA) = df
= df (iA){{([ i´a (* iA)]) t } {([ i´a (* iA )]) t }}
| 1. ?
2. -.
| t = , t, t ( ).
|
| 9
| (iA) = df
= df (iA){{([ i´a (* iA)]) t } {([ i´a (* iA )])F}}
| 1. ( -).
|
|
| 10
| (iA) = df
= df (iA){{([ a (* iA)]) t } {([ a (* iA È)]) t }}
| 1. .
2. .
| NB: - -
|
| 10
| (iA) = df
= df (iA){{([ a (* iA)]) t } {(([ (* iA È)]) t)F}}
| 1. . , ., "" .
2. .
|
|
| 11
| (iA) - = df
= df (iA){([ a (* iA)]) Lt }
| 1.
| " "
|
| 11
| (iA) - = df
= df (iA){{([ a (* iA)]) t } (t Þ Lt)F}
| 1.
2. .
3.
|
|
| 12
| (iA) - = df
= df (iA){{([ i´a (* iA)]) t } {([ Li´a (* iA)]) t }}
| 1.. (., H)
2. .
|
|
| 12
| (iA) - = df
= df (iA){{([ i´a (* iA)]) t } (i´a Þ Li´a)F}
| 1. , .
2.
|
|
| 13
| (iA) - = df
= df (iA){{([ i´a (* iA)]) t }
{[ A (* iA)] Þ { i´a Ú i´a È}}}
| 1. .
2. BARBARA
| "" C.[1]
|
| 13
| (iA) = df
= df (iA){{([ i´a (* iA)]) t }
{(([ A (* iA)] Þ { i´a Ú i´a È})T) n }}
| 1. .
2. .
3.
| (T) n -- .
|
| 14
| (iA) = df
= df (iA){{([ iia (* iA)]) t } {([ iia (*[(A) i A È])]) t }}
| 1. : , , , . , , .
2. .
| "" .
|
| 14
| (iA) () = df
= df (iA){{([ iia (* iA)]) t }
{(([ iia (*[(A) iA È])])T) n }}
| 1. : , . = . .
2.
| (T) n -- .
|
| 15
| (iA) = df
= df (iA){([ ai (* iA iA )]) t }
| 1. . .
2.
3. ..
| ai inter ()
A
|
| 15
| (iA) = df
= df (iA){{([ iia (* iA)]) t }
{([ iia (* iA [(A) iA ])F}}
| 1. .
2. .. .
|
|
| 16
| (iA) ( iiA) = df
= df (iA){4{1([ a (* iA)]) t }1
{2 iiA {3[ A (* iA)] Þ [ a (* iiA)]}3}2}4
| 1. .
|
|
| 16
| (iA) ii { iA È} = df
= df (iA){4{1([ a (* iA)]) t }1
{2 ii { iA È} {3[ A (* iA)] Þ [ a (* ii { iA È})]}3}2}4
| 1. . .
2. .
|
|
| 16
| (iA) ii { iA } = df
= df (iA){4{1([ ai (* iA iA )]) t }1
{2 ii { iA } {3[ A (* iA)] Þ [ a (* ii { iA })]}3}2}4
| 1. .
2..
3. .
| ai . inter "".
|
| 16
| (iA) = df
= df (iA){4{1([ a (* iA)]) t }1
{2(iiA {3[ A (* iA)] Þ [ a (* iiA)]}3)F}2}4
| 1. .. .
2. .
|
|
| 17
| (iA) = df
= df (iA){{([ iia (* iA)]) t } { iA f iia }}
| 1. .
2. ( . ): .
3. .
| f ,
|
| 17
| (iA) = df
= df (iA){{([ iia (* iA)]) t } {(iA f iia)F}}
| 1. ..
|
|
| 18
| (iA) Ƹ = df
= df (iA){{([ i´a (* iA)]) t } {(t i´a)}}
| 1. (, , .),
2. "".
|
|
| 18
| (iA) = df
= df (iA){{([ i´a (* iA)]) t } {(t i´a)}}F
| 1. . , .
2. . . .
|
|
| 19
| (iA) = df
= df (iA){{([ a (* iA)]) t } { t [ A (* iA)]}}
| 1. -
2."1984" , "" , ,
| .
|
| 19
| (iA) = df
= df (iA){{([ a (* iA)]) t } {((t [ A (* iA)])T) n }
| 1. -.
2. .
3. ..
|
|
| 20
| (iA) = df
= df (iA){{([ a (* iA È iA È)]) t }
| 1. .
2.
3.
|
|
| 20
| (iA) = df
= df (iA){{ ([ a (* iA)]) t } {([(A) iA È])F}}
| 1. ""
2. .
3. .
4 "" .
|
|
| 21
| (iA) = df
= df (iA){{([ a (* iA)]) t } {([ a (*[(A) iA È)]) t)}
| 1. .
2. " ".
| . .
|
| 21
| (iA) = df
= df (iA){{([ a (* iA)]) t }{((([ a (*[(A) iA È)]) t)T) n)}}
| 1. . .
2. , , ,
|
|
| 22
| (iA) = df
= df (iA){{([ a (* iA)]) t }
{ i´ [(a) iA È] i´ [(a) iA È]'}}
| 1.
2.
3 -
|
|
| 22
| (iA) = df
= df (iA){{([ a (* iA)]) t }
{(i´ [(A) iA È] i´ [(a) iA È] ')F}}
| 1. .
2.
3 .
4 . .
|
|
| 23
| (iA) = df
= df (iA){{([ iia (* iA)]) t }
{[ i´ { ii a È}(* i´i´ { iA È})] [ i´ { ii a È} ' (* i´i´ { iA È} ')]}
| 1.
|
|
| 23
| (iA) = df
= df (iA){{([ iia (* iA)]) t }
({[ i´ { ii a È}(* i´i´ { iA È})][ i´ { ii a È} ' (* i´i´ { iA È} ')])F}
| 1. - .
|
|
| 24
| (iA) = df
= df (iA){{([ i´a (* iA)]) t } { i´a (i´a) t }}
| 1.
2 ""
3.
|
|
| 24
| (iA) = df
= df (iA){{([ i´a (* iA)]) t } (i´a (i´a) t)F}
| 1. . " "
2. .
3. .
|
|
| 25
| (iA) = df
= df (iA){([ a (*[ iA *) A ])]) t }
| 1. .
2."" , ..
3.
|
|
| 25
| (iA) = df
= df (iA){([ a (*[ iA *) La ])]) t }
| 1.
2.
|
|
| 26
| (iA) (-) iiA = df
= df (iA){{([ a (* iA)]) t } iiA
{([(A) iA È]*)[(iA *) iiA ]}}
| 1. : ", " ().
2. -, -.
|
|
| 26
| (iA) iiA = df
= df (iA){{([ a (* iA)]) t } iiA
(({([(A) iA È]*)[(iA *) iiA ]})T) n }
| 1. , -, .
|
|
| 27
| (iA) - iia = df (iA){{([ a (* iA)]) t } iia
{([(A) iA È]*)[(iia *) A ]}}
| 1. .
2.
|
|
| 27
| (iA) - = df
= df (iA){{([ a (* iA)]) t } {([(A) iA È]*)[(a *) A ]}}
| 1. .
2. ?3.
|
|
| 27
| (iA) - iiA = df (iA){{([ a (* iA)]) t }
{[(iA È) iiA ] [(iA È) iiA' ]}}
| 1. ( " ".
|
|
| 28
| (iA) iia = df
= df (iA){{([ a (* iA)]) t } iia
{([(iia) i A ]*)[([(iia *) iA È]*) A ]}}
| 1. ., , .
|
|
| 28
| (iA) () iia = df
= df (iA){{([ a (* iA)]) t } iia
{([(iia) iA È]) i´a, ([(iia) i A ]) i´a' }}
| 1. .
2.
3. .
| .. iia .
|
| 29
| (iA) = df
= df (iA){{([ iia (* iA)]) t }
{[(iia È) i´a ] [(iia È ') i´a ]}}
| 1. .
2. .
3. - .
|
|
| 29
| (iA) = df
= df (iA){{([ iia (* iA)]) t }
{([(iia È) i´a ] [(iia È ') i´a ])F}}
| 1. .
2. .
3. .
|
|
| 30
| (iA) (-) = df
= df (iA){{([ iia (* iA)]) t } {{ iia' a } iia }}
| 1. , .
2.
| a "- ".
. 7
|
| 30
| (iA) ( ) = df = df (iA){{([ iia (* iA)]) t }
{({{ iia' a } iia })F}}
| 1. .
2.
3." ".
|
|
| 31
| (iA) - = df (iA){3{1([ a (* iA)]) t }1
{2 iA È {4[(A) iA È] iA }4}2}3
| 1. .
2..
3.
| NB: iA È .
|
| 31
| (iA) - = df (iA){3{1([ a (* iA)]) t }1
{2 iA È {4[(La) iA È] iA }4}2}3
| 1. .
2. .
3.
4.
|
|
| 31
| (iA) - = df (iA){3{1([ a (* iA)]) t }1
{2 i A {4[(A) iA È] iA }4}2}3
| 1. , .
|
|
| 31
| (iA) - = df (iA){3{1([ a (* iA)]) t }1
{2 i A {4[(La) iA È] iA }4}2}3
| 1. " " : .
2.
|
|
| 32.
| (iA) = df
= df (iA){{([ iia (* iA)]) t } { A iia } Þ iia }}
| : ?
1. .
2 "".
3.?: . .
| .
|
| 33
| (iA) = df
= df (iA){{([ iia (* iA)]) t } {(([ iia (* iA)]) t)F}}
| 1. .
2. : .
3. : , .
|
|
| 33
| (iA) - = df
= df (iA){{([ iia (* iA)]) t }{((([ iia (* iA)]) t)F)F}}
| 1. .
2.
|
|
| 34
| (iA) = df
= df (iA){{([ iia (* iA)]) t }
{ ii a È([(A) iA È] a)}}]
| 1. .
|
|
| 34
| (iA) = df
= df (iA){{([ iia (* iA)]) t }
ii a È([(A)L iA È])}]
| 2. .
|
|
