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