Bagaimana Cara Guru Matematika Membantu Siswanya Mempelajari Pernyataan Berkuantor? « fadjarp3g
!"
#
#$
"
% &' & ( # (
# # $ & '
#% % & &
)
(
&
#
#$
&
" *
$&
)++, #
.% %
#
#$
&
#
'%#
%
#%& $ &
& &
(% %
& $ $% # &
&
$ % %
& (
&
#
(
& &
(
/ $
&
% %
#
(
& &
(
#
#$
0& &
# %
& / $
&
% $ &'
&
#
#$
' (
&/ $
0& &
$ & ( & &
%
"
#
(#
'%#
#%1 2
& (
& ) ( $
%
&3
#
#$
& #(
& %%$ $
% & #
' &
%&
&
& # & ' $%
% $ &
(
#% # $ ( $
&
%$%
& 4 &
%&
'
&
& (
$ %( # &
(
& 4
&
& $
' $%#
$ &
#
' %
% %
#
#$
& #
(
'%#
'
#$ & #
$ (
#
& % $ (
# &5
#
#$
)
8)
'
$%#
&
) !
!
" (
%
#&
' &(
#
'( &
&
%
# &
6 3 7 ;4
& $ & $ (
#
' (%
%'
# % <
' (
'
&&
"
& &
& # & &
& $ &
(
& $ & $ (
#
& # $
&%
&
:8 6 , 7 + ⇔ 8 − ) 8 −
7+
%' &
& & 8 7 )
(
& $
$ & # %
& ' '$ & $ (
# # '%$
#$ & $
& #
$ (
#
#
& &
& '
&$ # =
( 8 ' ( $% 8) 9 :8 6 , 7 +
$
#'( &
'( &
(
#%1 ?>%$ #
'( &
$
& %%$ 8 7 2
2
&
&
$ #
2
637,
9 :8 6 , 7 + 8∈
" (
# &
2
(
' &(
(
% &
&
) ' (%
# # %$ & & ( $ ' &
&&
8=&
& &
(
#% &
#
#
$ (
#
#
$ #
$ & '
& # &
'
$ (
#
&
($ &( ' &
# %
&
)
$ #
$ &
'
$ (
# # '%$
$
#
'%#
#
" (
# # '%$ &
)
#%1 8) 9
& &
# 8∈
$ & ' &( ' &
&
$
# %87
#&
&
%
&
# '( & &
%' # #% $ & $ $ (
# # '%$ &
) $ &
#
'%#
&
& # & & ' &( ' &
'
&
&
#
#
$ (
#&
)
$ # # # %
2 >%$
&
( 8
( 8
$ &
$ &
&
&
&
( 8
(&
8) 9 :8 6 , 7 +
8) 9 :8 6 , 7 +
$ & ' ( $% 8) 9 :8 6 , 7 + @
$ (
#
#
#$ &
2
1
#
&
'%#
&
1 2) 9 :×2 6 , 7 )
&
(
# $
& &+
&
$ (
#
2 ' &(
(
" (
# &
)
#%1 ?!
# '( & &
( 8
$ &
&
8) 9 :8 6 , 7 + @ (
' &( ' &
(
&&
%%$ 8 7 )
# % 8 7
$ (
#
#
#$ #
'%#
&
' &( ' &
!
$
$ (
#
)
&
#%1 ?! $
'( & &
( 8
$ &
&
8 9 :8 6 , 7 + @
A (
' &(
(
$
& $ & # &&
% '( & &
#% 8 7 ) # % 8 7
&
& ' '$ & $ (
#
#
#$ &
#
'%#
&
' &
!
#
'
#
&%& %$$ & '
$ & $ # =$ # ' $%#1
#
% #% $ (
2 ?>%$
% 8 B @ # % ?>%$ #
) ?- '
8 B @4 ?!
# 8 B @4 # % %& ?
?! $
8B @
* & &
& '
#
$ # % ' (%
' &(
' &
& # $ &1
& $ # =$ # #
'%#
($ &(
$ ' &
# % ' &(
(
# # '%$
8 B @4
8 B@4
#
&
#
% #% $ (
# # '%$
&
(&
& ( (% ' %'
&
$ (
#
&
"
&
#%(
(
2C;;1)
B
&
$ &
&
1 ?"%
& # '
%&
(
& %'
$ (
#
& # $
#
& # $ & ' &(
' &
# %
(
B
$ &
&
$ (
# #
'%#
# $ #
$ & '
$ (
#
& ' &( ' &
# %
(
@
%
& $%
#% $%
%& <
( $%
% %
&
& %& $ & $ # ?%%$
# @ # % ?%%$
% @4
# $%
$ # & (
$%
$ % %
&
& %& $ & $ # ?' '
@ ?#
#D@ # % ?
@
& $ & $%
?#
$
8@
#
%'
$ ' %$ ?
% 8 # $@ # %
? #
8 # $@
( & $
$ %
$% #
'%# $ & '
'
& ' $%# &
#
"%
% @
?%%$
#
&
#
&
&
%&
(
' & ∀
($ &
8
(
% #% $ (
8 ' ( $% 8 @ # % ?%%$
# & ' $% %& <
(
#
& # & ' $%
%& <
(
#
#%
%& & #
&
%& &
&
& ( $ & # &
%
# &
%&
$ * & & $ # ( &
& #
& #%
%& &
#
(
% $ &
&
& # & #% # $
& ( $ & '
(
% $ & &
#
%& &
#
& # & ' $% 1 ?
'
& # & #
'%# $ & ' & (
#
% # # %
&
%& & '
&
&
'
?%%$
#
@ # % ?%%$
# # '%$
& # & ∀8 8
'
% 8 ' ( $% 8 @ - $%# &
(
(
$ D
&
' $ &
&
%
%& &
$ *
& #%
& # & #
#
$
& ( $ & # &
%
&
&
& ( $ & '
#
&
#
#
%& &
&
$ &
%&
#
&
#
%& &
&
$
#
E ( #
&
&
$ &
#
(
&
$ @
&%& %$$ &
' &
&
$
%& &
#
%
%& &
&
$
2
! %&
& # &?
#
(
$ @ &
# %$ & $ #
#
& $ #
$
#
#
&
% $ & &
#
%& &
#
(
' $%
%& <
( #
$ & ' &(
(
$
# %' '
&
&
# $ #
$ & '
$ #
$ G
&
&%& %$$ &
' $%
%& <
( &
'%#
& &
'
&
& # $ & G(
&
HD
& G
A$
& # &
' &( ' &
'
&
&
%&
&G'
&
&
7L
%
7L # M
G 7 L $M
$ & *
J &&
#
% #%
& # & ' $% %& <
#
& # & ' $%
$< ( & & &
( $ 1 ?A $ 8
(
$ # (
#
& # &
&
#%
#
%$
& # &
& $ ( &4
$%#1 ?
' $%
%& <
(
#
#
(
$@
(
$
& # & #%
# #%& %$$ & & &
J && ' $%#
( $ &
'
&
&
%& &
#
% #
% # # %
& '
&
%& &
&%
$ G4 # % ⊂ G F
%&
# % 7G
G
'
$ &' &( ' &
# #%& %$$ & '
$ F
%&
# #%& %$$ &
# &
%&
#
$
( &
% #%
# %
&
2CI31 3C '
@
&%
M
$ &
#
&
(
# %'
&
% #%
%& <
(1 ?
%
#
(
(
#
$ 8
(
$ @
%($ &
($
$ @
#
#
& ' $%
& & $ #
( ?! $
B @
# %'
$ ' %$
& ' $% %& <
( G &
$
& # & ' $% &
( 1
?! $
%
>
&
& &
&
# & ( %( & & ( $ @
$
& # &
#
'%#
# %'
&
& # & ' $% %& <
(1 ?
%
%
>
#
$ & &
&
# & ( %( & & ( $ @
"%
&
&
%&
(
' & ∃
&
'
?' '
@ ?#
#@
# %
?
@ A$
($ & 8
(
% #% $ (
# # '%$
$ ∃8 8
'
?%%$
' '
8 ' ( $% 8 @ # % ?
8
$ &
&
' ( $% 8 @ - $%# &
(
& # & ' $%
$ # & (
?
&
& ' $
# & #
'%#
&%& %$$ &
&
# &
K
&
%& &
#
' $
#
A$
& # & ' $%
' $
# @ ' &( ' &
$
#(
#
&
#
%& &
#
&
(
#%
%& &
& %
% $ & &
#
# @
%& &
&%
'
%& &
&
%& &
&%
&
$ # & ( ?
&
$ % #% $
%( & $ &
&
&
#
&
% $ & &
#
&%
& ' $
#
#&
3
$
%
φ
%& & #
'%# #
# #%& %$$ &
&
K
$
(&
& &*
-
&
(& (
J && ' $%#
K7L
7L
-7L
%
%
%
* &
&% M
M
& ' $
&
$ &
# M
*
J &&
#
&
&%& %$$ & ∩- N φ
$
' $%
$ # & (
#
& # $ &
(
' %$ $ & %&
& # & ' $%
$ # & (1 ?
& ' $
# @
& & $ & %&
' $%#1 ?
8
$ &
&
8
(
' $
# @
(%
&
&
&
&
&
& #
∩- N
&
G
(
& 8
# &
&
(
#$ & '
% #%
& # &
& ' &( ' &
$ &
& ' '$ &
& & & #
O
' &(
(
&
%& $
' &(
(
$
& && #
O
$ &' &( ' &
#
#%& %$$ & # ' ( $ ' &
&
&
&&
&
'
&
O
-
* & &
$ & ( (
'
&
& # & ' $%
(
& # &
( &
& ' &( ' &
$
& # &
(&
' &(
(
& $ & ' &(
(
$
& # &
(& ' & ( ' &
"
%( & & (
&
&
& % & &
# % & $
& % #%
& # & ' $%
& ' $%# &
$ &
'
# & &
# % & $
&
& # & ' $%
%(
& &&
& # & ' $% %& <
(
&
$%#
& &&
& # &
' $%
$ # & (
#$ &
&
#
& ' $%
1
'
% .% % 0&
$%#1
&
%
'
# $
*
(
$
% & & #
=
$
&
&
& # $ &
&
$ # % 0'% .% % '
?
% .% % 0& &
'
# $ @
& $
# % 0'% $ & ( $%$ &5 %& $ & $ # % 0'% $ &
& # $ & ?P & ' &
$
%
% % %
'
# $ 5@ E ( &
&%& %$$ & '
#%
&
% % %&
& # $ #
%$ $ #
$
#
$ &
%%$
& & $
# %
&
$ &
& # & ' $% #
* & &
$ & &
& # & ' $% %& <
(#
(
& # & ' $%
$ # & (
&
#
&%
(
&
(
#%
&
& # $
&%
$ #
'
# $
#
* & &
$ & &
# % & $
& ?
% .% % 0& &
'
# $ #@
(
& # & ' $%
$ # & (
& # $
&%
4
$ #
'
#
$'
# $
#
# $
@
* & &
?
% '( &
' &
(
'( & & $
(
F
% '%&
' ( $ &
&
& #
#% ?- '
# % #
# .% % 0&
&
&
&
# % & $
&
& # & ' $%
%& <
(
& $
'
2 $ &
&
($ & ' ( & & #% &
@
& &&(
& # & ' $%
$ # & ( ?- '
# % #
#
'
2 $ & # $
&
($ & ' ( & & #%
&
@ P & ' &(
# % & $
&
?
% '%&
&
@
(
?! $ ' & '
&
@ # % ?- '
'%&
# $ &
@ * & &
& %& $ &
)
)
#'
&
?∀8 8 ≥ + @
(
?∃8 8 Q + @
% %
& $% %& <
(
# & # $ &
(
# ' ( ' $%#
&
∀8
- $%# &
G
&
'%#
(
#
# &
8
O ∀8
'
&
& &
& ' $%
$ # &
&
(
?- '
& # & &
' $%
$
' &( ' &
.% % 0&
F
8 ≡ ∃8 O 8
&
(
#
& ' $%
$
# &
(
1
&
($
(
' &(
' &
/ (% '
# & ( #
'%#5 P &
(%
&
$ &
&
% ' &(
(
%# & @
&
# $
& & &
&
&
#
&
& #
#
&
'%#
A$
&
&
& # $ & '
&
&
( 1 ?
% .% % 0& &
( $ %# & 4@
$
& # & &
%& $ & %%$ ' & ( ' &
%
# &(
& # &
(
'
$ ' #&
& #
'%# # $ %& $ &
&
&
&
/ (% $
&
&
& # $ & '
&
&
( 1
?- '
.% % 0& &
# $
($
%# & 4@
$
& # & &
#
& # &
' (% &
%& $ & %%$ ' & (
' &
%
$ ' #&
& # & #
'%# #
$
%& $ &
&
&
&
"
& $ %
& # &
' $%
#
'%# '%$ &(
&
&
$
#
#%
& # &
' $%
( &&
&
$ &
&
&
&
#%1 ?
% .% % 0& &
#
$
( $ %# & @
&
# & ' $%
?- '
.% % 0& &
( $ %# & @
#
' $ &
& & *
J && ' $%#
&
&%& %$$ &
&
$#
#% &
#
%& & .% % 0& &
.
&
$ ( %
%
&
#
%& &
& =
&
( $ %# & "
K
?
(
($
&&
.
#
(&
$ &
"
*
J &&
#
#(
%($ & '
.% % 0& &
( $ %# & @
(
'%$ & ?
%# & @
& % '%$ & ?
.% % 0& &
#
%
& #
$
&
#' &( ' &
%
&
$
& # &
.% % 0& &
( $ %# & @
( & $ &
5
(
& # &
& ' &(
(
#(
%($ & '
&
?- '
& & &( ' &
(
R
% D .% % 0& &
" * & & $ # ( &
%
&
# .
% #
#%& %$$ & *
J && ' $%#
*
.% % 0& &
% # $ #
$
&
&
#
J &&
($
%$
" '
#
%# & @
%& &
&
K
.
"
* & &
&
# % & $
&
& # & ' $% 1 ?#
% $ &
#
$%= $%
$ $ @
(
?
%
#
#
&
% $ &
#
$%= $%
$ $ @ * & &
& %& $ &
'
# '
&
?∃8 8 @
(
?∀8 O 8 @
% %
& # & $%
$ # & (
# & # $ & '
' $%#1
&
∃8
# &
8
O ∃8
'
$
( $ &
&
F
8 ≡ ∀8 O 8
*
$ &
'
& % %
#$ &&
#
=#
& # $ #
& &
& # & ' $%
E
&&
& &
& # % & #
'%#
' (
&
& # & ' $%
$ (
# $
&
$
&
( &
% %
&
%&
' (
&&
$ &( ' $
& * & &
# #%
& #(
$ & $
% & ' & (
$ &
&& $ #
& & #
'
&
#%%# (
#% % & &
)
(
&
#
#$
&
"
#%
& & $ #$ & $
% &' & (
G(
&
(
S4 HD
%'(
.4 G
*
$&
)
)++,
!
* +
*
$&
)
)++,
!
(
-
&
!A
2CI3
G (
& 1
&=
& G
"
A $
#
# 1*
"
#
A $ # 1*
S K 2C;; )
$ TG ( %'(
)
& G
$$ %
$&
$&&' %
(
"
$$ %
$&&' %
(
"
$&
,
-. , /
1
&
6
#
#$
"
% &' & ( # (
# # $ & '
#% % & &
)
(
&
#
#$
&
" *
$&
)++, #
.% %
#
#$
&
#
'%#
%
#%& $ &
& &
(% %
& $ $% # &
&
$ % %
& (
&
#
(
& &
(
/ $
&
% %
#
(
& &
(
#
#$
0& &
# %
& / $
&
% $ &'
&
#
#$
' (
&/ $
0& &
$ & ( & &
%
"
#
(#
'%#
#%1 2
& (
& ) ( $
%
&3
#
#$
& #(
& %%$ $
% & #
' &
%&
&
& # & ' $%
% $ &
(
#% # $ ( $
&
%$%
& 4 &
%&
'
&
& (
$ %( # &
(
& 4
&
& $
' $%#
$ &
#
' %
% %
#
#$
& #
(
'%#
'
#$ & #
$ (
#
& % $ (
# &5
#
#$
)
8)
'
$%#
&
) !
!
" (
%
#&
' &(
#
'( &
&
%
# &
6 3 7 ;4
& $ & $ (
#
' (%
%'
# % <
' (
'
&&
"
& &
& # & &
& $ &
(
& $ & $ (
#
& # $
&%
&
:8 6 , 7 + ⇔ 8 − ) 8 −
7+
%' &
& & 8 7 )
(
& $
$ & # %
& ' '$ & $ (
# # '%$
#$ & $
& #
$ (
#
#
& &
& '
&$ # =
( 8 ' ( $% 8) 9 :8 6 , 7 +
$
#'( &
'( &
(
#%1 ?>%$ #
'( &
$
& %%$ 8 7 2
2
&
&
$ #
2
637,
9 :8 6 , 7 + 8∈
" (
# &
2
(
' &(
(
% &
&
) ' (%
# # %$ & & ( $ ' &
&&
8=&
& &
(
#% &
#
#
$ (
#
#
$ #
$ & '
& # &
'
$ (
#
&
($ &( ' &
# %
&
)
$ #
$ &
'
$ (
# # '%$
$
#
'%#
#
" (
# # '%$ &
)
#%1 8) 9
& &
# 8∈
$ & ' &( ' &
&
$
# %87
#&
&
%
&
# '( & &
%' # #% $ & $ $ (
# # '%$ &
) $ &
#
'%#
&
& # & & ' &( ' &
'
&
&
#
#
$ (
#&
)
$ # # # %
2 >%$
&
( 8
( 8
$ &
$ &
&
&
&
( 8
(&
8) 9 :8 6 , 7 +
8) 9 :8 6 , 7 +
$ & ' ( $% 8) 9 :8 6 , 7 + @
$ (
#
#
#$ &
2
1
#
&
'%#
&
1 2) 9 :×2 6 , 7 )
&
(
# $
& &+
&
$ (
#
2 ' &(
(
" (
# &
)
#%1 ?!
# '( & &
( 8
$ &
&
8) 9 :8 6 , 7 + @ (
' &( ' &
(
&&
%%$ 8 7 )
# % 8 7
$ (
#
#
#$ #
'%#
&
' &( ' &
!
$
$ (
#
)
&
#%1 ?! $
'( & &
( 8
$ &
&
8 9 :8 6 , 7 + @
A (
' &(
(
$
& $ & # &&
% '( & &
#% 8 7 ) # % 8 7
&
& ' '$ & $ (
#
#
#$ &
#
'%#
&
' &
!
#
'
#
&%& %$$ & '
$ & $ # =$ # ' $%#1
#
% #% $ (
2 ?>%$
% 8 B @ # % ?>%$ #
) ?- '
8 B @4 ?!
# 8 B @4 # % %& ?
?! $
8B @
* & &
& '
#
$ # % ' (%
' &(
' &
& # $ &1
& $ # =$ # #
'%#
($ &(
$ ' &
# % ' &(
(
# # '%$
8 B @4
8 B@4
#
&
#
% #% $ (
# # '%$
&
(&
& ( (% ' %'
&
$ (
#
&
"
&
#%(
(
2C;;1)
B
&
$ &
&
1 ?"%
& # '
%&
(
& %'
$ (
#
& # $
#
& # $ & ' &(
' &
# %
(
B
$ &
&
$ (
# #
'%#
# $ #
$ & '
$ (
#
& ' &( ' &
# %
(
@
%
& $%
#% $%
%& <
( $%
% %
&
& %& $ & $ # ?%%$
# @ # % ?%%$
% @4
# $%
$ # & (
$%
$ % %
&
& %& $ & $ # ?' '
@ ?#
#D@ # % ?
@
& $ & $%
?#
$
8@
#
%'
$ ' %$ ?
% 8 # $@ # %
? #
8 # $@
( & $
$ %
$% #
'%# $ & '
'
& ' $%# &
#
"%
% @
?%%$
#
&
#
&
&
%&
(
' & ∀
($ &
8
(
% #% $ (
8 ' ( $% 8 @ # % ?%%$
# & ' $% %& <
(
#
& # & ' $%
%& <
(
#
#%
%& & #
&
%& &
&
& ( $ & # &
%
# &
%&
$ * & & $ # ( &
& #
& #%
%& &
#
(
% $ &
&
& # & #% # $
& ( $ & '
(
% $ & &
#
%& &
#
& # & ' $% 1 ?
'
& # & #
'%# $ & ' & (
#
% # # %
&
%& & '
&
&
'
?%%$
#
@ # % ?%%$
# # '%$
& # & ∀8 8
'
% 8 ' ( $% 8 @ - $%# &
(
(
$ D
&
' $ &
&
%
%& &
$ *
& #%
& # & #
#
$
& ( $ & # &
%
&
&
& ( $ & '
#
&
#
#
%& &
&
$ &
%&
#
&
#
%& &
&
$
#
E ( #
&
&
$ &
#
(
&
$ @
&%& %$$ &
' &
&
$
%& &
#
%
%& &
&
$
2
! %&
& # &?
#
(
$ @ &
# %$ & $ #
#
& $ #
$
#
#
&
% $ & &
#
%& &
#
(
' $%
%& <
( #
$ & ' &(
(
$
# %' '
&
&
# $ #
$ & '
$ #
$ G
&
&%& %$$ &
' $%
%& <
( &
'%#
& &
'
&
& # $ & G(
&
HD
& G
A$
& # &
' &( ' &
'
&
&
%&
&G'
&
&
7L
%
7L # M
G 7 L $M
$ & *
J &&
#
% #%
& # & ' $% %& <
#
& # & ' $%
$< ( & & &
( $ 1 ?A $ 8
(
$ # (
#
& # &
&
#%
#
%$
& # &
& $ ( &4
$%#1 ?
' $%
%& <
(
#
#
(
$@
(
$
& # & #%
# #%& %$$ & & &
J && ' $%#
( $ &
'
&
&
%& &
#
% #
% # # %
& '
&
%& &
&%
$ G4 # % ⊂ G F
%&
# % 7G
G
'
$ &' &( ' &
# #%& %$$ & '
$ F
%&
# #%& %$$ &
# &
%&
#
$
( &
% #%
# %
&
2CI31 3C '
@
&%
M
$ &
#
&
(
# %'
&
% #%
%& <
(1 ?
%
#
(
(
#
$ 8
(
$ @
%($ &
($
$ @
#
#
& ' $%
& & $ #
( ?! $
B @
# %'
$ ' %$
& ' $% %& <
( G &
$
& # & ' $% &
( 1
?! $
%
>
&
& &
&
# & ( %( & & ( $ @
$
& # &
#
'%#
# %'
&
& # & ' $% %& <
(1 ?
%
%
>
#
$ & &
&
# & ( %( & & ( $ @
"%
&
&
%&
(
' & ∃
&
'
?' '
@ ?#
#@
# %
?
@ A$
($ & 8
(
% #% $ (
# # '%$
$ ∃8 8
'
?%%$
' '
8 ' ( $% 8 @ # % ?
8
$ &
&
' ( $% 8 @ - $%# &
(
& # & ' $%
$ # & (
?
&
& ' $
# & #
'%#
&%& %$$ &
&
# &
K
&
%& &
#
' $
#
A$
& # & ' $%
' $
# @ ' &( ' &
$
#(
#
&
#
%& &
#
&
(
#%
%& &
& %
% $ & &
#
# @
%& &
&%
'
%& &
&
%& &
&%
&
$ # & ( ?
&
$ % #% $
%( & $ &
&
&
#
&
% $ & &
#
&%
& ' $
#
#&
3
$
%
φ
%& & #
'%# #
# #%& %$$ &
&
K
$
(&
& &*
-
&
(& (
J && ' $%#
K7L
7L
-7L
%
%
%
* &
&% M
M
& ' $
&
$ &
# M
*
J &&
#
&
&%& %$$ & ∩- N φ
$
' $%
$ # & (
#
& # $ &
(
' %$ $ & %&
& # & ' $%
$ # & (1 ?
& ' $
# @
& & $ & %&
' $%#1 ?
8
$ &
&
8
(
' $
# @
(%
&
&
&
&
&
& #
∩- N
&
G
(
& 8
# &
&
(
#$ & '
% #%
& # &
& ' &( ' &
$ &
& ' '$ &
& & & #
O
' &(
(
&
%& $
' &(
(
$
& && #
O
$ &' &( ' &
#
#%& %$$ & # ' ( $ ' &
&
&
&&
&
'
&
O
-
* & &
$ & ( (
'
&
& # & ' $%
(
& # &
( &
& ' &( ' &
$
& # &
(&
' &(
(
& $ & ' &(
(
$
& # &
(& ' & ( ' &
"
%( & & (
&
&
& % & &
# % & $
& % #%
& # & ' $%
& ' $%# &
$ &
'
# & &
# % & $
&
& # & ' $%
%(
& &&
& # & ' $% %& <
(
&
$%#
& &&
& # &
' $%
$ # & (
#$ &
&
#
& ' $%
1
'
% .% % 0&
$%#1
&
%
'
# $
*
(
$
% & & #
=
$
&
&
& # $ &
&
$ # % 0'% .% % '
?
% .% % 0& &
'
# $ @
& $
# % 0'% $ & ( $%$ &5 %& $ & $ # % 0'% $ &
& # $ & ?P & ' &
$
%
% % %
'
# $ 5@ E ( &
&%& %$$ & '
#%
&
% % %&
& # $ #
%$ $ #
$
#
$ &
%%$
& & $
# %
&
$ &
& # & ' $% #
* & &
$ & &
& # & ' $% %& <
(#
(
& # & ' $%
$ # & (
&
#
&%
(
&
(
#%
&
& # $
&%
$ #
'
# $
#
* & &
$ & &
# % & $
& ?
% .% % 0& &
'
# $ #@
(
& # & ' $%
$ # & (
& # $
&%
4
$ #
'
#
$'
# $
#
# $
@
* & &
?
% '( &
' &
(
'( & & $
(
F
% '%&
' ( $ &
&
& #
#% ?- '
# % #
# .% % 0&
&
&
&
# % & $
&
& # & ' $%
%& <
(
& $
'
2 $ &
&
($ & ' ( & & #% &
@
& &&(
& # & ' $%
$ # & ( ?- '
# % #
#
'
2 $ & # $
&
($ & ' ( & & #%
&
@ P & ' &(
# % & $
&
?
% '%&
&
@
(
?! $ ' & '
&
@ # % ?- '
'%&
# $ &
@ * & &
& %& $ &
)
)
#'
&
?∀8 8 ≥ + @
(
?∃8 8 Q + @
% %
& $% %& <
(
# & # $ &
(
# ' ( ' $%#
&
∀8
- $%# &
G
&
'%#
(
#
# &
8
O ∀8
'
&
& &
& ' $%
$ # &
&
(
?- '
& # & &
' $%
$
' &( ' &
.% % 0&
F
8 ≡ ∃8 O 8
&
(
#
& ' $%
$
# &
(
1
&
($
(
' &(
' &
/ (% '
# & ( #
'%#5 P &
(%
&
$ &
&
% ' &(
(
%# & @
&
# $
& & &
&
&
#
&
& #
#
&
'%#
A$
&
&
& # $ & '
&
&
( 1 ?
% .% % 0& &
( $ %# & 4@
$
& # & &
%& $ & %%$ ' & ( ' &
%
# &(
& # &
(
'
$ ' #&
& #
'%# # $ %& $ &
&
&
&
/ (% $
&
&
& # $ & '
&
&
( 1
?- '
.% % 0& &
# $
($
%# & 4@
$
& # & &
#
& # &
' (% &
%& $ & %%$ ' & (
' &
%
$ ' #&
& # & #
'%# #
$
%& $ &
&
&
&
"
& $ %
& # &
' $%
#
'%# '%$ &(
&
&
$
#
#%
& # &
' $%
( &&
&
$ &
&
&
&
#%1 ?
% .% % 0& &
#
$
( $ %# & @
&
# & ' $%
?- '
.% % 0& &
( $ %# & @
#
' $ &
& & *
J && ' $%#
&
&%& %$$ &
&
$#
#% &
#
%& & .% % 0& &
.
&
$ ( %
%
&
#
%& &
& =
&
( $ %# & "
K
?
(
($
&&
.
#
(&
$ &
"
*
J &&
#
#(
%($ & '
.% % 0& &
( $ %# & @
(
'%$ & ?
%# & @
& % '%$ & ?
.% % 0& &
#
%
& #
$
&
#' &( ' &
%
&
$
& # &
.% % 0& &
( $ %# & @
( & $ &
5
(
& # &
& ' &(
(
#(
%($ & '
&
?- '
& & &( ' &
(
R
% D .% % 0& &
" * & & $ # ( &
%
&
# .
% #
#%& %$$ & *
J && ' $%#
*
.% % 0& &
% # $ #
$
&
&
#
J &&
($
%$
" '
#
%# & @
%& &
&
K
.
"
* & &
&
# % & $
&
& # & ' $% 1 ?#
% $ &
#
$%= $%
$ $ @
(
?
%
#
#
&
% $ &
#
$%= $%
$ $ @ * & &
& %& $ &
'
# '
&
?∃8 8 @
(
?∀8 O 8 @
% %
& # & $%
$ # & (
# & # $ & '
' $%#1
&
∃8
# &
8
O ∃8
'
$
( $ &
&
F
8 ≡ ∀8 O 8
*
$ &
'
& % %
#$ &&
#
=#
& # $ #
& &
& # & ' $%
E
&&
& &
& # % & #
'%#
' (
&
& # & ' $%
$ (
# $
&
$
&
( &
% %
&
%&
' (
&&
$ &( ' $
& * & &
# #%
& #(
$ & $
% & ' & (
$ &
&& $ #
& & #
'
&
#%%# (
#% % & &
)
(
&
#
#$
&
"
#%
& & $ #$ & $
% &' & (
G(
&
(
S4 HD
%'(
.4 G
*
$&
)
)++,
!
* +
*
$&
)
)++,
!
(
-
&
!A
2CI3
G (
& 1
&=
& G
"
A $
#
# 1*
"
#
A $ # 1*
S K 2C;; )
$ TG ( %'(
)
& G
$$ %
$&
$&&' %
(
"
$$ %
$&&' %
(
"
$&
,
-. , /
1
&
6