Professional Documents
Culture Documents
Κατηγορηματική Λογική -2
Κατηγορηματική Λογική -2
(( + )) + (( + ))%
& (( + + + ))
%
,-./0123. 45601 70-83 5-/.- 45601"
+ % 9 +
+ + + %%
+ "%
& +
+ + + + + #+% & : +
+ + % ;
((
+ )) ((
+ )) (( + ))
(( + ))
%
< + "
= ! +' ((
+ )) (( + )) +
(( + )) %
½
!$ " $ $ ) " " 3$
)$ 4 " 5 3$ 6 " $
3$ " 7
9 ::+ > %
? > + :
@%A" @%B"
@%@"% @%C"
@%D"%
1" + + + + +"
: %
/" E + +>%
E : + + H + : %
B% E +=
2" ? : : +' %
F" E : H : +' %
E : > + (( ))
H + % ; : +
' ¾%
1" E : H : +' % E
: > + (( )) H
+ % ; : +
' %
/" ? : +' % ? I
: + + %
+ H : +' +
: %
; + + : + + +
' % ? + +
%
? H +' > + : +
% E + % E + +
¾
' *# * $ 3$ # 3$7
B
+
% ? + + + +'
+ :%
? : '
+ ' + + '
"% E :
+ + + % ? +
+%
? +'
+> %
+ %
J % K
%
; : +
+ + H + % !
+ ! $" +
+ "% ! +
%
* ½ ¾ ½ ½ + @ :
¾ + B : + % E ½ ¾ ½ +
% E ½ ¾ ½ + % E
½ ¾ ½ ½ ¾ ½
+ + %
@
%
; : + +
+ + % ((
+)) % (( + +
)) % M +
(( + + )) : +
:"%
C
$ N # L+ != ((5 +
)) (( + : )) (( + )) ((
))%
% = ¼¼ % =
% + = % =
%
$ N # (( ))
(( )) +
%
% L % ?+' =
5 = = % ;
%
$ &N # (( +' +' ))
(( +' + > ))
+ %
% * +' = 5 =
= G+' = +' % ;
G+' G+'
* +' + > %
G+'
$ ' () * ++',N # L+ !
(( " + >
+ > ))%
% O' :
+ + % M L+ ! +'
::+ : +' >=
D
! + + + +
+ :
P2-8Q0 ? @%R % AIS" +
# :"% <
! + : ' %
* ! H + + ! +
%
E ::+ + 35,/5TU
P2-8Q0% 9 35,/5TU : + ::
>
+ " +
+ %
< F5335VW, P2-8Q0 + >= ;
+ + ! : +'
" + "
% ! +
%% +
+ G+ B%R"% 9 + +
'> + '>%
> : +
+ :"% M +
+ #
" : P2-8Q0 ? @%R % AIS"% X +
%
< + + +
+ + +"%
$ ; + I
-
¼ +' "
+ + % N >
½ ½ ½ ½ ¾ ½ ½ ½ ½ ½ ¾
¼¼
¾ ½ ½ ½ ½ ½ ¾ ½ ½ ½ ½ ½ ¾
Y
* +' +" ½ ½ ¾ ½ ½
½ ½ ¾ ¾ ½ ¾ ½ ½ ½ ½ ½ ¾ % 9 +
½ ½ ¾
¿
½ ½ ¾ ¾ ½ ¾ ¾½ ½ ¾ % G
½
¿
½ ¾ ¾½ ½ ¾ ½
Z + +%
< + + '
P2-8Q0 35,/5TU + ::+ % ; !
+ +% J
¾ ½ ½ ½ ¾ ¾ ½ ¾ !
"¾ "½
½ ½ ¾ ¾
½ ¾ ! ¾ "¾ ½ "½
G "¾ "¿½ "½ "¾ "¾½ "½ "¾ >
"½ + B%
?
+' + %
+ H +
+%
< + !
! % 9: !% ! + #
+ + # % ; # +
+ ! # %
! + # + " + #
+ " > % 9 + %
; + " +
+ ! % < + +
% ? + '
+ + > +%
! + "
: + % *
R
+ + $
$ %
; # + !
# % 9: # %
+ + % O
: + %
& # # +
L @%@ % AAR"%
+ : = " +>
+ :" + +
H % + +
+ +
' P2-8Q0 + + +%
* + H :
' %% +
"% ?
%
$ . N +> $ $ + %
% ? + % & & % %
& $ % ABB"
% @["%
$ / N +> + %
% ; + + + ! %
M' P2-8Q0 =
!
" ! "
" ! " ' = ! " ' ! " '
" " ' = " ' '
! " ' " " ' ' % ! "
' + " ' ' % M
+ %
$ 0 ( 12 ! " , N
+> $
$ : +' + %
% * + + ! +> A"
B" + : +' =
$ ! A"
[
$ ! B"
L +> A" B"% < : P2-8Q0
A"
$ ! !
; $ ! " $ ! " % E
! : +' % M
B" + % ! $ ! " + $ ! "
% Z B" + # %
G +> + B" A"% < :
P2-8Q0 B"
"
$ ! "
! "
! " $ ! " ! +
: +' % M A" + %
! " $ ! " A" + $ + #%
* + +'
+ % * (
+ +
%
$ \+
3 + +
) ) %
% +' : % G
+ %% + + +"
' + + )
' + % ( (
%
+ +
+ ) + + %
+
%% "%
$ + \+ + +
%
% %% + +
+" ' + + %
+ + + %
M :
+ '
> %
+ "%
S
$ * # + : +
+ + +%
$ % & '(
+ "% ! '
> L @%C % ABR%
] " + '+ +
% 9
% ABB + + %
9 + + '
+ ' %% $
$ "% !+ + : '
%% $ $ "%
AI
* + :
+' ¿ + ' +
%% +"% M '
: : +' +
% & + +
+ %
* +
'
* *
*
*
+ +
+ +
+ +
¿
8 " )3 " " $ 5 È Ü
ÜÉÜ7 & $
Ü È Ü *) ÉÜ 537 " " )$ ) ÜÈ Ü
ÉÜ " 5 *) $ # 3$7 9 $ *$ *) # 5* $
"7 " " 5* * 5 : 5*7 & 5* *
) $ ÜÉÜ ÝÉÝ $ 5 7 3 Ý È Ü ÉÝ 7
" Ü ; ) 3 *) " *7
AA
+
+
+
$ ' () * ++', +>
+ % ] >= M> %
% ? + +
= % Z
+ %
AB