20
2:
2.5:
! " # $ "
! " " #
$ %
& '
( )
! " * *
!
$
+
, "
! '
$ '# -
!
. %&" "
%'% (
) % " *
) $ $ + " *
, & " *
) %- & " *
%'% ( .
) % " % *
%'% (
(-)
"!
B. '
1.
#!
:
%
$ $ +
% / %
% % $ $ % " %&( 0 % $ % ) % %&( 0 $
'$ % - .
:
& "
- & "
* '1 $ " ( & " % ,* - :
$
$ % & &.
B. '
1.
1. ) % "
!
) ( % "):
$ &
) ,* ( * ":
$ ' * :
$ $ '1 (%.*. %& $ +)$ ) & :
& %& ) % " «,% » ( «% % ») & * :
$ $ ' + * :
$ ( '0 & :
%& ) % " ' $ ( '0 & :
B. '
1.
1. ) % "
$!
( 1:
% ( '0 & :
2 + 3 (4 3 (* 3 +)
% $ :
%& ) % " ' $ ( '0 :
+ 2 4 3 (* 3 +)
%& ) % " ' $ ( '0 :
{+,4} 2 * 3 +
%& ) % " ' $ ( '0 :
{+,4,*} 2 +
% ,* % %&( 0 :
1. + 5%&
B. '
1.
1. ) % "
%!
( 2:
% ( '0 & :
2 (+ 3*) 3 ((+ 3 (* 3 4)) 3(+ 3 4))
% $ :
%& ) % " ' $ ( '0 :
+ 3* 2 (+ 3 (* 3 4)) 3(+ 3 4)
%& ) % " ' $ ( '0 :
{+ 3*, + 3 (* 3 4)} 2 + 3 4
%& ) % " ' $ ( '0 :
{+ 3*, + 3 (* 3 4),+} 2 4
% ,* % %&( 0 :
1. + 5%&
2. + 3* 5%&
3. * MP1,2
4. + 3 (* 3 4) 5%&
5. * 3 4 MP1,4
6. 4 MP3,5
B. '
1.
1. ) % "
&!
( 3:
% ( '0 & :
2
% $ :
%& ) % " ' $ ( '0 :
2
%& ) % " ' $ ( '0 :
{ , } 2
% ,* % %&( 0 :
5%&
3 % & )
MP1,2
% , $ %&( 0 % ": 2 (.-,%
,- " + -- (' )
B. '
1.
2. ) $ $ + "
'!
) ( $ $ + "):
$ &$ $
+ " " $ $ + " % $
$ - $ % " %&( 0 % ' %& " % , ".
6 : $ $ + 7 ' + &$ $ % " %&( 0
% " 0 $ $ $ ( $ -- )$ %& $ +
" ( $ « - »)
B. '
1.
2. ) $ $ + "
(!
( 1:
% ( '0 & :
2
% $ :
%& ) % " ' $ ( '0 :
2
%& ) % " ' $ ( '0 :
2
%& ) $ $ + " ' $ ( '0 :
2
% ,* % %&( 0 :
5%&
5%&
MP1,2
B. '
1.
2. ) $ $ + "
((!
( 2:
% ( '0 & :
2
% $ :
%& ) % " ' $ ( '0 :
2
%& ) % " ' $ ( '0 :
2
%& ) $ $ + " ' $ ( '0 :
2
% ,* % %&( 0 :
5%&
3 5%&
3. MP1,2
3 % & ) 2 &% +:4.
MP3,4
% , $ %&( 0 % ": 2 (.-,%
,- " + -- (' )
B. '
1.
3. ) % " / %
(!
) ( % " / % ):
$ '$ $ + & &
) ,* ( * ":
$ ' * :
$ $ '1 (%.*. %& $ +)$ ) & : '$ $ + &
& %& ) % " % «,% » ( «% % ») &
* :
$ $ ' + * :
$ ( '0 & :
%& ) % " % ' $ ( '0 & : '$
$ + &.
B. '
1.
3. ) % " / %
("!
':
$ + & $ - % $ ( % &" &")
8$ $ - % $ - ' $ + & $ % * ,$ " % " 4 , "
) $ * :
( ,% % %&( 0 %& " % , " )
( ,% % %&( 0 %& " % , " )
! - ( $ $ % % % " % " $ %& "
% , " .
$ %," $ - % $ ( % &" &")
8$ $ - % $ -, $ %," $ ( $ '$ $ + &
! - ( ( $ % * % " 4 , " ) :
( ,% % %&( 0 %& " % , " )
( ,% % %&( 0 %& " % , " )
7 % % $ * '1 $ " . . &
5 == 9 ==
B. '
1.
3. ) % " / %
(#!
( 1:
% ( '0 & :
2
% $ :
%& ) % " ' $ ( '0 :
2
%& ) % " % ' $ ( '0 & $ - % $:
= '$ $ + &
) $ % +.
* 2 +. ,* % %&( 0 :
5%&
* 2 +. ,* % %&( 0 :
5%&
$ %)" $ - % $ '$ $ + &.
B. '
1.
3. ) % " / %
(!
( 2:
% ( '0 & :
{ → ¬ , } |- → ¬( → )
% $ :
%& ) % " ' $ ( '0 & :
{ → ¬ , , } |- ¬( → )
%& ) % " % ' $ ( '0 & $ - % $:
{ → ¬ , , , → } '$ $ + &.
.
* & {* → ¬4, +, + → 4, * } |- 4 $ % %&( 0 :
1. + 5%&
2. + → 4 5%&
3. 4 MP1,2
* & {* → ¬4, +, + → 4, * } |- ¬4 $ % %&( 0 :
1. * 5%&
2. → ¬ 5%&
3. ¬ MP1,2
$ %)" $ - % $ '$ $ + &.
B. '
1.
4. ) & "
($!
) ( & "):
$ &
) ,* ( * ":
$ ' * :
$ $ '1 (%.*. %& $ +)$ ) & :
& %& ) & " «,% » ( «% % ») & * :
$ $ ' + * :
$ ( '0 & :
%& ) & " ' $ ( '0 & :
B. '
1.
4. ) & "
(%!
( 1:
% ( '0 & :
% $ :
%& ) & " ' $ ( '0 :
,* % %&( 0 :
5%&
5%&
5%&
MP1,2
MP1,3
MP4,5
B. '
1.
5. ) - & "
(&!
) ( - & "):
$ &
) ,* ( * ":
$ ' * :
$ $ '1 (%.*. %& $ +)$ ) & :
& %& ) %- & " «,% » ( «% % ») & * :
$ $ ' + * :
$ ( '0 & :
%& ) %- & " ' $ ( '0 & :
B. '
1.
5. ) - & "
('!
( 1:
% ( '0 & :
2
% $ :
%& ) - & " ' $ ( '0 :
0 1 % " % " - $ % $&- % $:
• 1 " % " - & $ ! ( - ( & $ p=A q=A
• 2 " % " - & $ !, ,* : ! !, % ,% r=#
• / $ - % $ $ % ' $ % ' p=A,q=A,r=#
$ ( $ ( ) % ' % $ % $ % $&- % $ ,*
& % " %&( 0 % " '$ :
• = " #
/ * - $ % .
B. '
1.
& " - - & "
!
& "-%- & " ( 1')
$ &$ $
$( & & "-%- & " $ $ ( $ " "
& " % - . .*. ,* & :
$ &$ $
( - (
(+ '$ % & ) ) $ &$ $ (+ '$ - ' )
) & "
) - & "
B. '
2. ' $ %
1. % & ) 2
(!
%&( 0 1 (* '" )
2
% %&( 0 '$ :
1. +3((+ 3+) 3+) 1 &% +:+, 4: + 3+
2. (+3((+ 3+) 3+)) 3((+3(+ 3+)) 3(+3+)) 2 &% +:+, 4: + 3+,*: +
3. (+3(+ 3+)) 3(+3+) MP1,2
4. +3(+ 3+) 1 &% +: 4, 4:+
5. +3+ MP3,4
%&( 0 2 ( )
2
%& ) % " ' $ ( '0 :
2
% ,* % %&( 0 :
1. + 5%&
B. '
2. ' $ %
2. % & ) 2
!
%&( 0 :
2
% $ :
%& ) % " ' $ ( '0 :
2
%& ) $ $ + " ' $ ( '0 :
2
% ,* % %&( 0 :
5%&
B. '
2. ' $ %
3. % & ) 2
"!
%&( 0 :
2
% $ :
%& ) % " ' $ ( '0 :
2
% ,* % %&( 0 :
1. 5%&
2. 1 &% $ $
3. MP1,2
4. ( ) ( ) ) 3 &% $ $
5. ( ) MP3,4
6. % & ) 2 &% $
7. MP6,5
% , $ % %&( 0 % " 2
!. "
" 1
#!
0 & . " %& " %
( -) " '$ ," % " &* ;
1. % " ¬¬ 3 (¬ 3 ) % % %& 0 & * 1
$ $ .
2. % " (¬¬ 3 ¬( )) 3 ((¬¬ 3 ( )) 3 ¬ ) % % %&
0 & * 3 $ $ .
3. |– 3 ¬¬ % % %& |– ¬¬ + "
" % ".
4. |– ¬¬ % % %& ¬ |– ¬ + " "
$ $ + ".
!. "
" 2
!
) " $ $ + " 0 + -'1 & % $ - % )$
% $ T ' % - ,$ " % " % " , * &
∪ { } |– ¬ $ &$ $ ∪ { } |– ¬ .
'$ & & % ( -) " % % $ %& ) "
$ $ + " $ $ * '" * -- $ $
% $;
1. ∪ { } |– $ &$ $ ∪ { ¬ } |– ¬ .
2. ∪ { } |– ¬(¬ ) $ &$ $ ∪ { ¬ } |– ¬ .
3. ¬ |– ¬ $ &$ $ |– .
4. ¬ |= ¬ $ &$ $ |= ¬(¬ ).
!. "
+ 1
$!
! '0 % :
( ) + |- (+ 3 4) 3 ( (4 3 ) 3 (( 3 0 ) 3 0) )
(7) |- (+ 3 *) 3 ( (+ 3(* 3 4)) 3 (+ 3 4) )
% ,% * $ )$ $ &" $ $ & "
- & "
!. "
+ 2
%!
6 % )$ " % ( % %& % ", $ $ + ",
% " / % $( & ", $ % ( * ' % & ) :
|- ¬( → ) → ¬
!. "
+ 3
&!
% ( '0 ( &% " $ ' + " % ".
( ) * $ $ & "-%- & "
(7) 6 '" * $ $ & "-%- & "

ΠΛΗ20 ΜΑΘΗΜΑ 2.5 (ΕΚΤΥΠΩΣΗ)

  • 1.
    20 2: 2.5: ! " #$ " ! " " # $ % & ' ( ) ! " * * ! $ + , " ! ' $ '# - ! . %&" " %'% ( ) % " * ) $ $ + " * , & " * ) %- & " * %'% ( . ) % " % * %'% ( (-) "! B. ' 1. #! : % $ $ + % / % % % $ $ % " %&( 0 % $ % ) % %&( 0 $ '$ % - . : & " - & " * '1 $ " ( & " % ,* - : $ $ % & &.
  • 2.
    B. ' 1. 1. )% " ! ) ( % "): $ & ) ,* ( * ": $ ' * : $ $ '1 (%.*. %& $ +)$ ) & : & %& ) % " «,% » ( «% % ») & * : $ $ ' + * : $ ( '0 & : %& ) % " ' $ ( '0 & : B. ' 1. 1. ) % " $! ( 1: % ( '0 & : 2 + 3 (4 3 (* 3 +) % $ : %& ) % " ' $ ( '0 : + 2 4 3 (* 3 +) %& ) % " ' $ ( '0 : {+,4} 2 * 3 + %& ) % " ' $ ( '0 : {+,4,*} 2 + % ,* % %&( 0 : 1. + 5%& B. ' 1. 1. ) % " %! ( 2: % ( '0 & : 2 (+ 3*) 3 ((+ 3 (* 3 4)) 3(+ 3 4)) % $ : %& ) % " ' $ ( '0 : + 3* 2 (+ 3 (* 3 4)) 3(+ 3 4) %& ) % " ' $ ( '0 : {+ 3*, + 3 (* 3 4)} 2 + 3 4 %& ) % " ' $ ( '0 : {+ 3*, + 3 (* 3 4),+} 2 4 % ,* % %&( 0 : 1. + 5%& 2. + 3* 5%& 3. * MP1,2 4. + 3 (* 3 4) 5%& 5. * 3 4 MP1,4 6. 4 MP3,5 B. ' 1. 1. ) % " &! ( 3: % ( '0 & : 2 % $ : %& ) % " ' $ ( '0 : 2 %& ) % " ' $ ( '0 : { , } 2 % ,* % %&( 0 : 5%& 3 % & ) MP1,2 % , $ %&( 0 % ": 2 (.-,% ,- " + -- (' )
  • 3.
    B. ' 1. 2. )$ $ + " '! ) ( $ $ + "): $ &$ $ + " " $ $ + " % $ $ - $ % " %&( 0 % ' %& " % , ". 6 : $ $ + 7 ' + &$ $ % " %&( 0 % " 0 $ $ $ ( $ -- )$ %& $ + " ( $ « - ») B. ' 1. 2. ) $ $ + " (! ( 1: % ( '0 & : 2 % $ : %& ) % " ' $ ( '0 : 2 %& ) % " ' $ ( '0 : 2 %& ) $ $ + " ' $ ( '0 : 2 % ,* % %&( 0 : 5%& 5%& MP1,2 B. ' 1. 2. ) $ $ + " ((! ( 2: % ( '0 & : 2 % $ : %& ) % " ' $ ( '0 : 2 %& ) % " ' $ ( '0 : 2 %& ) $ $ + " ' $ ( '0 : 2 % ,* % %&( 0 : 5%& 3 5%& 3. MP1,2 3 % & ) 2 &% +:4. MP3,4 % , $ %&( 0 % ": 2 (.-,% ,- " + -- (' ) B. ' 1. 3. ) % " / % (! ) ( % " / % ): $ '$ $ + & & ) ,* ( * ": $ ' * : $ $ '1 (%.*. %& $ +)$ ) & : '$ $ + & & %& ) % " % «,% » ( «% % ») & * : $ $ ' + * : $ ( '0 & : %& ) % " % ' $ ( '0 & : '$ $ + &.
  • 4.
    B. ' 1. 3. )% " / % ("! ': $ + & $ - % $ ( % &" &") 8$ $ - % $ - ' $ + & $ % * ,$ " % " 4 , " ) $ * : ( ,% % %&( 0 %& " % , " ) ( ,% % %&( 0 %& " % , " ) ! - ( $ $ % % % " % " $ %& " % , " . $ %," $ - % $ ( % &" &") 8$ $ - % $ -, $ %," $ ( $ '$ $ + & ! - ( ( $ % * % " 4 , " ) : ( ,% % %&( 0 %& " % , " ) ( ,% % %&( 0 %& " % , " ) 7 % % $ * '1 $ " . . & 5 == 9 == B. ' 1. 3. ) % " / % (#! ( 1: % ( '0 & : 2 % $ : %& ) % " ' $ ( '0 : 2 %& ) % " % ' $ ( '0 & $ - % $: = '$ $ + & ) $ % +. * 2 +. ,* % %&( 0 : 5%& * 2 +. ,* % %&( 0 : 5%& $ %)" $ - % $ '$ $ + &. B. ' 1. 3. ) % " / % (! ( 2: % ( '0 & : { → ¬ , } |- → ¬( → ) % $ : %& ) % " ' $ ( '0 & : { → ¬ , , } |- ¬( → ) %& ) % " % ' $ ( '0 & $ - % $: { → ¬ , , , → } '$ $ + &. . * & {* → ¬4, +, + → 4, * } |- 4 $ % %&( 0 : 1. + 5%& 2. + → 4 5%& 3. 4 MP1,2 * & {* → ¬4, +, + → 4, * } |- ¬4 $ % %&( 0 : 1. * 5%& 2. → ¬ 5%& 3. ¬ MP1,2 $ %)" $ - % $ '$ $ + &. B. ' 1. 4. ) & " ($! ) ( & "): $ & ) ,* ( * ": $ ' * : $ $ '1 (%.*. %& $ +)$ ) & : & %& ) & " «,% » ( «% % ») & * : $ $ ' + * : $ ( '0 & : %& ) & " ' $ ( '0 & :
  • 5.
    B. ' 1. 4. )& " (%! ( 1: % ( '0 & : % $ : %& ) & " ' $ ( '0 : ,* % %&( 0 : 5%& 5%& 5%& MP1,2 MP1,3 MP4,5 B. ' 1. 5. ) - & " (&! ) ( - & "): $ & ) ,* ( * ": $ ' * : $ $ '1 (%.*. %& $ +)$ ) & : & %& ) %- & " «,% » ( «% % ») & * : $ $ ' + * : $ ( '0 & : %& ) %- & " ' $ ( '0 & : B. ' 1. 5. ) - & " ('! ( 1: % ( '0 & : 2 % $ : %& ) - & " ' $ ( '0 : 0 1 % " % " - $ % $&- % $: • 1 " % " - & $ ! ( - ( & $ p=A q=A • 2 " % " - & $ !, ,* : ! !, % ,% r=# • / $ - % $ $ % ' $ % ' p=A,q=A,r=# $ ( $ ( ) % ' % $ % $ % $&- % $ ,* & % " %&( 0 % " '$ : • = " # / * - $ % . B. ' 1. & " - - & " ! & "-%- & " ( 1') $ &$ $ $( & & "-%- & " $ $ ( $ " " & " % - . .*. ,* & : $ &$ $ ( - ( (+ '$ % & ) ) $ &$ $ (+ '$ - ' ) ) & " ) - & "
  • 6.
    B. ' 2. '$ % 1. % & ) 2 (! %&( 0 1 (* '" ) 2 % %&( 0 '$ : 1. +3((+ 3+) 3+) 1 &% +:+, 4: + 3+ 2. (+3((+ 3+) 3+)) 3((+3(+ 3+)) 3(+3+)) 2 &% +:+, 4: + 3+,*: + 3. (+3(+ 3+)) 3(+3+) MP1,2 4. +3(+ 3+) 1 &% +: 4, 4:+ 5. +3+ MP3,4 %&( 0 2 ( ) 2 %& ) % " ' $ ( '0 : 2 % ,* % %&( 0 : 1. + 5%& B. ' 2. ' $ % 2. % & ) 2 ! %&( 0 : 2 % $ : %& ) % " ' $ ( '0 : 2 %& ) $ $ + " ' $ ( '0 : 2 % ,* % %&( 0 : 5%& B. ' 2. ' $ % 3. % & ) 2 "! %&( 0 : 2 % $ : %& ) % " ' $ ( '0 : 2 % ,* % %&( 0 : 1. 5%& 2. 1 &% $ $ 3. MP1,2 4. ( ) ( ) ) 3 &% $ $ 5. ( ) MP3,4 6. % & ) 2 &% $ 7. MP6,5 % , $ % %&( 0 % " 2 !. " " 1 #! 0 & . " %& " % ( -) " '$ ," % " &* ; 1. % " ¬¬ 3 (¬ 3 ) % % %& 0 & * 1 $ $ . 2. % " (¬¬ 3 ¬( )) 3 ((¬¬ 3 ( )) 3 ¬ ) % % %& 0 & * 3 $ $ . 3. |– 3 ¬¬ % % %& |– ¬¬ + " " % ". 4. |– ¬¬ % % %& ¬ |– ¬ + " " $ $ + ".
  • 7.
    !. " " 2 ! )" $ $ + " 0 + -'1 & % $ - % )$ % $ T ' % - ,$ " % " % " , * & ∪ { } |– ¬ $ &$ $ ∪ { } |– ¬ . '$ & & % ( -) " % % $ %& ) " $ $ + " $ $ * '" * -- $ $ % $; 1. ∪ { } |– $ &$ $ ∪ { ¬ } |– ¬ . 2. ∪ { } |– ¬(¬ ) $ &$ $ ∪ { ¬ } |– ¬ . 3. ¬ |– ¬ $ &$ $ |– . 4. ¬ |= ¬ $ &$ $ |= ¬(¬ ). !. " + 1 $! ! '0 % : ( ) + |- (+ 3 4) 3 ( (4 3 ) 3 (( 3 0 ) 3 0) ) (7) |- (+ 3 *) 3 ( (+ 3(* 3 4)) 3 (+ 3 4) ) % ,% * $ )$ $ &" $ $ & " - & " !. " + 2 %! 6 % )$ " % ( % %& % ", $ $ + ", % " / % $( & ", $ % ( * ' % & ) : |- ¬( → ) → ¬ !. " + 3 &! % ( '0 ( &% " $ ' + " % ". ( ) * $ $ & "-%- & " (7) 6 '" * $ $ & "-%- & "