W s t e p d o a n a l i z y m a t e m a t y c z n e j 1
W S T E P D O A N A L I Z Y M A T E M A T Y C Z N E J
1 R a c h u n e k z d a D, f u n k c j a z d a n i o w a , k w a n t y f i k a t o r y
Z a d . 1 U d o w o d n i n a s t e p u j a c e p r a w a r a c h u n k u z d a D ( t a u t o l o g i e ) :
a ) p (" ( q ) ; d ) [ ( p ! q ) '" ( q ! r ) ] ! ( p ! r ) ;
b ) p ! ( p ) ; e ) [ p '" ( ( p ! q ) ) ] ! q ;
c ) ( p ! q ) ! ( q ! p ) ; f ) p (" ( q '" r ) ! ( p (" q ) '" ( p (" r ) .
Z a d . 2 S p r a w d z i , c z y n a s t e p u j a c e s c h e m a t y z d a D s a t a u t o l o g i a m i :
a ) [ ( p (" q ) '" ( p ! q ) ] ! ( q ! p ) ; i ) [ <" ( p ! q ) ] ! ( p '" <" q ) ;
b ) p ! [ ( <" q '" q ) ! r ] ;
j ) [ ( p '" q ) ! p ] (" q ;
c ) [ ( p ! q ) '" p ] ! q ;
k ) [ <" ( p '" q ) ] ! [ <" p (" <" q ] ;
d ) [ ( p ! q ) '" ( q ! p ) ] ! ( p (" q ) ;
l ) ( p '" q ) ! ( p (" q ) ;
e ) [ ( p '" q ) ! r ] ! ( p ! r ) '" ( q ! r ) ;
m ) [ p ! ( q (" r ) ] ! r ;
f ) ( p ! q ) ! [ ( p '" q ) ! p ] ;
n ) { [ ( p (" r ) ! q ] '" r } ! ( <" p (" q ) ;
g ) ( p (" q (" r ) ! { <" p ! [ ( q (" r ) '" <" p ] } ;
h ) [ p '" ( q (" r ) ] ! [ ( p '" q ) (" ( p '" r ) ] ; o ) [ ( p ! q ) ! p ] ! q .
Z a d . 3 W y z n a c z y w y k r e s f u n k c j i z d a n i o w e j , k t r e j z a k r e s e m z m i e n n o [c i j e s t z b i r X , o k r e [l o n e j w
n a s t e p u j a c y s p o s b :
+
a ) ( x ) a" ( l o g x d" 0 ) , X = ;
b ) ( x ) a" ( | x - 1 | <