1) Η γλώσσα της Θεωρίας Συνόλων 1.1) Εισαγωγή 2) Υπενθυμίσεις από ΜΑΘ0.1 2.1) Δυναμοσύνολο 2.2) Σχέση Υποσυνόλου 2.3) Σχέση Γνησίου Υποσυνόλου 3) Ασκήσεις 3.1) Στοιχειώδεις προτάσεις με ποσοδείκτες 3.2) Μετάφραση στα ελληνικά 3.3) Περαιτέρω ασκήσεις Ασκήσεις

1. 20
3:
3.3:
! " #$%
! " #
$ %
! &' "
( &' ) "
(
& * + *
! +, +
( - '
)
! , '
! "
. &$' $ " $
' ' ($
(-)
' ' ($ )
(-)
' ' ($
* " ( + , " + - + . $ (+ . $ " $
$ (+ /0 $ ' 0' + + $ & +& & *$ +&"
$*+&" ' " 0 .
! "
B.
1.
1. + * *"
#! "
( .$ +1 + 1 ) ' + . +
'$ $ 1$ + -" $+, :
$ % ' + $ ( $ % $ $ $ X:
1$ + & *$ +& % .$ :
% +
% +
, + &" + $ 1$ + ' :
• 2 % .$ $ '$ ' +&$ 1 + $ & % $ $
• & *$ '$ + $+,$% (%$ . +& & *$ +&
% .$ .
$ $," + " $ % ' . + $* '+ $*" $
. +&$% $ 3.

2. ).
2. 4' + ' 0.1
1. ! $ % $ $
1$ +:
={1,2} $ ( $ % $ $ $ + $ % $ $:
={1,2,3} $ ( $ % $ $ + $ % $ $:
$! "
!" " #
$ % $ $ & '( $
}|{)( Α= τουνολουποσναιεxxAP
}}2,1{},2{},1{,{)( ∅=AP
}}3,2,1{},3,2{},3,1{},2,1{},3{},2{},1{,{)( ∅=AP
).
2. 4' + ' 0.1
2. ,0 4'$ $
1$ +:
( * :
,% + +:
,% + +:
,% + +:
! + ,% + +:
! + ,% + +:
'+& $ $ + ,0 '$ $ + $ -" :
, " $ '$ $ $ 1$ '+& + :
%! "
$ ) * "
*+, ( $ * * * )
BA ⊆
},,,{},,{ dcbacba ⊆
N⊆}3,5,1{
}3,2,1{}3,2,1{ ⊆
}3,2,1{}4,3,2,1{ ⊆
}3,1{}2,1{ ⊆
BxAxBA ∈∈∀⊆ καιειισχανν
ABBABA ⊆⊆= καιανν
).
2. 4' + ' 0.1
3. ,0 $ 4'$ $
1$ +:
( * :
,% + +:
,% + +:
! ,% + +:
! + ,% + +:
! + ,% + +:
'+& $ $ + ,0 '$ $ + $ -" :
&! "
- $ ) * "
$ ). + * ) /
BA ⊂
},,,{},,{ dcbacba ⊂
N⊂}3,5,1{
}3,2,1{}3,2,1{ ⊂
}3,2,1{}4,3,2,1{ ⊂
}3,1{}2,1{ ⊂
Β∈Α∉∃⊆⊂ xxBABA καικαιανν
B.
3. &" +
1. $+, + ( + $ + $ $( &
'! "
$ $ ( $% ' $ '$ '$ $% & & $% $
'$ % (%$ '$ $( & & + & *$ " * . +
+& '0 ' $ /# & ' 0 / 1$
& ' +& .
& 1: +& + & /$ $ P & *$ +& % .$
'$/ + $+ & $ ' $ + + /#.
2' + & & $ 8 %'$
+& + $ P(x,y) P(y,x) 3-8 & +
' . $
(
#
$
%
&
'
)
(

3. B.
3. &" +
2. / +&
)! "
/ + ' ' & *$ +& +& * + $+,
$ '$ '$ ($ 05 * + .
( * : !+ ' 1 & $ ' (, + $'$+ $
& * % + & + + $ . +& % $ $ 3={1,2,3}
• 4' , + % $ $ '$ + '$ % $ $ & $ :
• 4' , + % $ $ +(+ :
• $ x + '$ % $ $ & $ & + , " $ & *$ " $ :
• 6 +&" ' +: " '+$ ' :
• !%$ % $ + & + $ $ 0 + '$ % $ $ $ $
• 4'$ $ + (+' & $ +& '$ $( & . ' % + *+ & 1 %*$
:
• $ « & + $ » / 1 + + + $( '$ (0 + (%$
&0 ' :
• $ + 0 $ + $( &/ 1 + + :
• $ ( - 0 $ + $( &/ $ & * $ '$ $ :
• 6 &/ 1$ , " $ & *$ " $ P:
B.
3. &" +
2. / +&
(! "
& 2: 1 :
• $ % ' + $ ( $ % $ $ $ {1,2,3}
• $ & * % +
• $ & * % +
• c % + $ & % $ $.
5 *$ +&" $*+&" + ' $ + :
1. 0 % $ $ ( + * " +$ '$ % $ $ $ & $% $
2. 0 % $ $ ( + '$ % $ $ $ $% $ .
3. 4' , + $ (+& '$ % $ $ '$ + '$ % $ $ .
4. 4' , + $ (+& '$ % $ $ '$ + ' % $ $
5. 0 % $ $ + '$ % $ $ $ ), $ ) ( + * " +$
'$ % $ $ $
6. 0 % $ $ + * " +$ '$ % $ $ $ ), $ + '$ % $ $ $ ).
B.
3. &" +
3. + 0 &" +
((! "
+ " " 1 $% +:
• / ' $ *$ +&" $*+&" +&
• & & " %' *$ +&" $*+&" ' (+ ' + ' $
+& .
• ' / 0 %'$ + " " 5 (" (' & $ /
' $ )
& 3: 1 :
• $ % ' + $ ( $ % $ $ $ {1,2,3}, $ & * % +
$ & * % + c % +
$ & % $ $.
/ +& + ' $ + :
1.
2.
3.
4.
. &" +
" + 1
(! "
1 $ % ' + $ ( $ % $ $ $ {1,2,3},
$ & * % + $ & * % +
- $+ ' & ' $ + + " 5 (
1.
2.
3. ! " # $ ! " " # # $
4. ! " # $ % ! " " # # $ $ %

4. . &" +
" + 2
(! "
2 &' () * +, $ % $ $ / +& ' $ 1 $ n & + &' $ % $ $
'$ $ &'. 2 Q & *$ +& % .$ $ '$ %$ $
&' -" Q(x,y) & + $ -
1. %'$ % + ' ' ($ ".
2. %'$ . % + ' ' ($ ".
3. %'$ / % + *+ 2n $+, x $ &'
4. %'$ . % + ' ' ($ ".
. &" +
/ $*" 1
(#! "
$% $ % $ $ {1,2,3} & + .$ 1$ P({1,2,3}) $ ( $ % $ $ ,
( (" $ % $ $ '$ ' +0, + '$ % $ $ {1,2,3}. 6 :
P({1,2,3})={ ∅, {1}, {2}, {3}, {1,2}, {1,3}, {2,3}, {1,2,3} }
%$ ($ " " $ & *$ +& % .$ $ Q ,0 « +
'$ % $ $ $ » (( (" Q(x,y) & + $ ) & + $ % .$ $ c $
$+, $ ∅.
5 ' $ + & *$ +&" $*+&" '$ ( $ +:
1. $ & '$ % $ $ + '$ % $ $ & $
2. 4' , + % $ $ '$ ' +0, + % $ .
3. + $'$+$("'$ 1 * + ' , + 0 &$+ '$ % $ $ '$ + $
* % $ ( (* $ " )
4. + $'$+$("'$ 1 * + ' , + 0 &$+ % $ $ '$ ' +0, + & +
+ $ +& $ ( (* 0 )