%PDF-1.5 % 9 0 obj << /S /GoTo /D (Outline0.1) >> endobj 12 0 obj (Wstep) endobj 13 0 obj << /S /GoTo /D (Outline0.2) >> endobj 16 0 obj (Preliminaria logiczne \205 ciag dalszy) endobj 17 0 obj << /S /GoTo /D (Outline0.2.1.3) >> endobj 20 0 obj (Lemat Hintikki) endobj 21 0 obj << /S /GoTo /D (Outline0.2.2.6) >> endobj 24 0 obj (W\233asnosci niesprzecznosci) endobj 25 0 obj << /S /GoTo /D (Outline0.2.3.11) >> endobj 28 0 obj (Twierdzenie o istnieniu modelu) endobj 29 0 obj << /S /GoTo /D (Outline0.2.4.12) >> endobj 32 0 obj (Dow\363d) endobj 33 0 obj << /S /GoTo /D (Outline0.2.5.14) >> endobj 36 0 obj (Twierdzenie o zwartosci) endobj 37 0 obj << /S /GoTo /D (Outline0.2.6.15) >> endobj 40 0 obj (Dow\363d) endobj 41 0 obj << /S /GoTo /D (Outline0.3) >> endobj 44 0 obj (Og\363lne operacje i relacje konsekwencji) endobj 45 0 obj << /S /GoTo /D (Outline0.3.1.17) >> endobj 48 0 obj (Warunki Tarskiego) endobj 49 0 obj << /S /GoTo /D (Outline0.3.2.18) >> endobj 52 0 obj (Warunki Scotta) endobj 53 0 obj << /S /GoTo /D (Outline0.4) >> endobj 56 0 obj (Konsekwencje wyznaczone przez regu\233y) endobj 57 0 obj << /S /GoTo /D (Outline0.4.1.19) >> endobj 60 0 obj (Definicja) endobj 61 0 obj << /S /GoTo /D (Outline0.4.2.20) >> endobj 64 0 obj (Niekt\363re w\233asnosci) endobj 65 0 obj << /S /GoTo /D (Outline0.4.3.21) >> endobj 68 0 obj (Regu\233y dopuszczalne i regu\233y wyprowadzalne) endobj 69 0 obj << /S /GoTo /D (Outline0.4.4.22) >> endobj 72 0 obj (Regu\233y strukturalne) endobj 73 0 obj << /S /GoTo /D (Outline0.5) >> endobj 76 0 obj (Konsekwencja matrycowa) endobj 77 0 obj << /S /GoTo /D (Outline0.6) >> endobj 80 0 obj (Konsekwencja odrzucajaca) endobj 81 0 obj << /S /GoTo /D (Outline0.7) >> endobj 84 0 obj (Dodatek: drobiazgi algebraiczne) endobj 85 0 obj << /S /GoTo /D (Outline0.7.1.25) >> endobj 88 0 obj (Kraty) endobj 89 0 obj << /S /GoTo /D (Outline0.7.2.27) >> endobj 92 0 obj (Algebry Heytinga) endobj 93 0 obj << /S /GoTo /D (Outline0.7.3.30) >> endobj 96 0 obj (Algebry Boole'a) endobj 97 0 obj << /S /GoTo /D [98 0 R /Fit] >> endobj 105 0 obj << /Length 1093 /Filter /FlateDecode >> stream xڽWKo8W(HCR$]5д@X`{0b'5?p_!"-<8CQN=7 (D09]eQrxGǬ7/|t-)/PJ%KKr|tXyB..)a fRr_tzo\M좺>I}^:GŀUʞ:9sN * I2j#GQ8iBdI`@(0AdJoZoIO*V/ U2r*lBॖʝnd4HDKA2?.z^YZc$`"/)&$`G'!r\V>+x &@D:˱66*.N* Z@k_89P@W8 Y13W9 IO7|iӤi䴳iWvӴ[}:XixvFst8Xt;]ðC+1ZLHL+T(8;RSMsVyjB!tL$&(IoHs_rGuYk5Hʁ4$VWd<%fr!϶IJajoĽw Z$Rbbi$};xHRd`zv_"f˫Jɏ\3h&SU@a^}1jw}ͿJӫU65/vlgQqdͦ!2/OO?q?le3zN[)PY%6?GLqz$,_F/; 9Ȝ}>x>ei=:_zGj>s͋U |ix> $(,J=r/N/:wq$gnD <nv$ejќLQR _Ify)ی.+e@."H endstream endobj 98 0 obj << /Type /Page /Contents 105 0 R /Resources 104 0 R /MediaBox [0 0 362.835 272.126] /Trans << /S /R >> /Parent 115 0 R /Annots [ 103 0 R ] >> endobj 8 0 obj << /R 22050 /Length 8 /Filter /FlateDecode >> stream x endstream endobj 101 0 obj << /Type /XObject /Subtype /Form /BBox [0 0 8 8] /FormType 1 /Matrix [1 0 0 1 0 0] /Resources 116 0 R /Length 15 /Filter /FlateDecode >> stream xP( endstream endobj 116 0 obj << /Shading << /Sh << /ShadingType 3 /ColorSpace /DeviceRGB /Domain [0 1] /Coords [4.00005 4.00005 0.0 4.00005 4.00005 4.00005] /Function << /FunctionType 2 /Domain [0 1] /C0 [0.5 0.5 0.5] /C1 [1 1 1] /N 1 >> /Extend [true false] >> >> /ProcSet [ /PDF ] >> endobj 102 0 obj << /Type /XObject /Subtype /Form /BBox [0 0 16 16] /FormType 1 /Matrix [1 0 0 1 0 0] /Resources 117 0 R /Length 15 /Filter /FlateDecode >> stream xP( endstream endobj 117 0 obj << /Shading << /Sh << /ShadingType 3 /ColorSpace /DeviceRGB /Domain [0.0 8.00009] /Coords [8.00009 8.00009 0.0 8.00009 8.00009 8.00009] /Function << /FunctionType 3 /Domain [0.0 8.00009] /Functions [ << /FunctionType 2 /Domain [0.0 8.00009] /C0 [0.5 0.5 0.5] /C1 [0.5 0.5 0.5] /N 1 >> << /FunctionType 2 /Domain [0.0 8.00009] /C0 [0.5 0.5 0.5] /C1 [1 1 1] /N 1 >> ] /Bounds [ 4.00005] /Encode [0 1 0 1] >> /Extend [true false] >> >> /ProcSet [ /PDF ] >> endobj 100 0 obj << /Type /XObject /Subtype /Form /BBox [0 0 5669.291 8] /FormType 1 /Matrix [1 0 0 1 0 0] /Resources 118 0 R /Length 15 /Filter /FlateDecode >> stream xP( endstream endobj 118 0 obj << /Shading << /Sh << /ShadingType 2 /ColorSpace /DeviceRGB /Domain [0.0 8.00009] /Coords [0 0.0 0 8.00009] /Function << /FunctionType 3 /Domain [0.0 8.00009] /Functions [ << /FunctionType 2 /Domain [0.0 8.00009] /C0 [1 1 1] /C1 [0.5 0.5 0.5] /N 1 >> << /FunctionType 2 /Domain [0.0 8.00009] /C0 [0.5 0.5 0.5] /C1 [0.5 0.5 0.5] /N 1 >> ] /Bounds [ 4.00005] /Encode [0 1 0 1] >> /Extend [false false] >> >> /ProcSet [ /PDF ] >> endobj 103 0 obj << /Type /Annot /Subtype /Link /Border[0 0 0]/H/N/C[.5 .5 .5] /Rect [150.23 0.5 212.599 7.985] /A << /S /GoTo /D (Navigation31) >> >> endobj 106 0 obj << /D [98 0 R /XYZ 10.909 263.487 null] >> endobj 113 0 obj << /D [98 0 R /XYZ 351.926 0 null] >> endobj 114 0 obj << /D [98 0 R /XYZ 351.926 0 null] >> endobj 104 0 obj << /ColorSpace 3 0 R /Pattern 2 0 R /ExtGState 1 0 R /Font << /F32 107 0 R /F17 108 0 R /F33 109 0 R /F34 110 0 R /F18 111 0 R /F22 112 0 R >> /XObject << /Fm2 101 0 R /Fm3 102 0 R /Fm1 100 0 R >> /ProcSet [ /PDF /Text ] >> endobj 126 0 obj << /Length 1818 /Filter /FlateDecode >> stream xZnF}W[)}ɾ%H nXuuXqKT,+0.o+,; Er93;s83<$Krr^#HMC9xtt-'~8axKh*wia|O$IP82>4P˨V 0Ē̉S-IZ}7#htN^'DZC>-5ʕ&gHf9yt.23>:yY:1_gչ*= ϩp\L`{&Hah[ bk;ϺpE2s&)"X1Y9%O2í.Ź0ܧΡܡ^ H&}MY [}F0mdF30Vk.,S4];V@L1fC,8' Jٟ#@K0(zp 14JlܔJ3dRfZ:IhINu =`wn $Ls`ngԩH*HbHHi8@0GR\+my\ke ןPMmxMFj0