Excerpt
21 Įrodymas. Kadangi TA“TIB tada ir tiktai tada, | kai A=B , tai lieka įrodyti, kad AlPi, Ip) > Blaps Pa), kai Alpig:--, pa) B Pa.-- Pa). Kadangi A(1P4,.--,1Pn) įgyja tas pačias reikšmes kaip ix BP ,--.,0Pn) „esant bet kokioms teiginių "A + reikšmėms, tai …
Excerpt
Vieta dokumente 157r-157v Data 1677-05-07 Data 1677-01-01 Kalba Tekstas lenkų ir kanceliarine slavų kalba Autorius Trakų pilies teismas Autorius Trakų vaivadijos generalinis vaznys Adomas Soroka Aprašas Aktavimas.Įrašas apie atliką pavedimą. Trakų …
Excerpt
1 to einančią formulę. Formulės visada turi vieną reikšnę, o samprotavimai dažnai būna įvairių netikslumų šaltinis. Ar galima rasti tokias samprotavimų (iogikos) taisykles, užra- šomas formulėmis, kurioniė naudijasi mątematikas, įrodinėda- mas teoramas. …
Excerpt
Vieta dokumente 143r-143v Data 1677.05.04 Kalba Lenkų k. Autorius Trakų pilies teismas. Pastaba Trakai. …
Excerpt
74 II SKYRIUS. PREDIKATŲ SKAIČIAVIMAS $1. Kvantoriai. Predikatai Šiame skyriuje apibendrinsime teiginio sąvoką. Nagrinė- sime teiginius, priklausančius nuo parametro. Be to, laikysi- me, kad yra duotos tų parametrų kitimo sritys. Pavyzdžiui, "x pirminis …
Excerpt
30 sudėtinį teiginį (Zormulę), kur N, (1*" …
Excerpt
Vieta dokumente 213r-213v Data 1677.05.12 Data 1672-05-08 Kalba Tekstas lenkų kalba Autorius Trakų pilies teismas. Autorius Žemaičių žemės ir Trakų vaivadijos žemionis Motiejus Ozemblovskis Aprašas Aktavimas.Skundas. Žemaičių žemės ir Trakų vaivadijos …
Excerpt
> 83 Predikatinį kintamąjį P keičiame į L, 4 į 1, tada-F = 1. Taigi F nėra tapačiai klaidinga aibėje N. F nėra ir tapačiai teisinga aibėje N, nes, jeigu g priskirsime O-reikšmę, P-L, tai | P:ž: 04 2 i F = I+PG) > Vy Ry). F tapačiai teisinga bet kurioje …
Excerpt
sis iki aga 117 kitimo „sritys yra aibė WM. Ž 1. TP(24,22,--, Aa) yra tapačiai teisinga tada ir tik tada, kai P(31,32,...,xn) yra tapačiai klaidinga. TP(XL X) =1 tada ir tik tada, kai PL(,.-,*k)=0 | 2į PRis, 22) lx, „aTa ) yra tapačiai teisin- ga tada ir …
Excerpt
2. Nubraižyti kontaktines schemas: a). "(pL4) => CpAU, | ») ((((p=29)VIP)84)v 14), e) (p2312(4> p), a). ((p24) K (22-)= (pa, ) (p24)> Gp le Va), : 3. Įkelti neiginį į skliaustus: a) Tipvia žm), 5) T1(PR(GV Op V(p ip, e) T(0PV14) L (gv i(paz), d) 1 (Gpv …
Excerpt
57 5.1A> 116 (pagal MP taisyklę iš 1, 4 formulių), 6. TA (prielaida), 7. TB (pagal MP taisyklę iš 5, 6 Aaaa 8. 7152 B (aksiomų schema 4.3, A pakeitėme 8), 9. B (pagal MP taisyklę iš 7,8 formulių). Prieštaringa teorija bloga tuo, kad joje įrodoma bet kuri …
Excerpt
87 $4. Lygiavertės formulės Jeigu, pakeitus predikatinius kintamuosius kuriaią nora predikaiais aibėje M (vietų skaičius predikatuose turi būti toks pat, kaip ir is una žibs predikatiniuose kintamuosiuo= se), teiginius:kuriomis nors reikšmėmis iš [0,13 ir …
Excerpt
I SKYRIUS. TEIGINIŲ SKAIČIAVINAS Ė $1. Loginės operacijos rei gtinys £ pirminė matematinės logikos sąvoka. Dažnai jis paaiškinamas taip: teiginiu vadiname sakinį, ku- rio atžvilgiu prasmingas klausimas: "Teisingas jis ar klai- dingas?". 3 : Pateiksime …
Excerpt
ir seką G,,.:.,0„ (a, € M) , kad, pakeitus formulėse F predikatinius kintamuosius E predikatais 0,0... 0. „teiginius Pi,pa,. „p reikšmėmis Vim, laisvus kintamuosius x, „aso. X, aibės M elementais. a,,01,. „0, , gautos formulės reikšmė tūžų, lygi vienetui. …
Excerpt
Vieta dokumente 185r-186v Data 1677.05.10 Data 1666-05-25 Kalba Tekstas lenkų ir kanceliarine slavų kalba Autorius Trakų pilies teismas. Autorius Trakų vaivadijos žemionis Jonas Zaborovskis Aprašas Aktavimas.Pirkimo - pardavimo raštas. Trakų vaivadijos …
Excerpt
Z LIETUVOS TSR AUKŠTOJO IR SPECIALIOJO VIDURINIO MOKSLO MINISTERIJA VILNIAUS DARBO RAUDONOSIOS VĖLIAVOS IR TAUTŲ DRAUGYSTĖS . ORDINŲ VALSTYBINIS V.KAPSUKO UNIVERSITETAS S.NORGĖLA MATEMATINĖS IogTK0S ĮVADAS (Metodinės rekomendacijos skirtos matematikos, …
Excerpt
76 roms argumentų kitimo sritims. . / Tarkime, Pla, X) - n-vietis predikaias, kurio ar- gumentų kitimo sritis yra aibė M. Predikatas vadinamas: 1) tapačiai teisingu, jei bet kuriam kintamųjų rinkiniui jo reikšmė yra li, š 2) tapačiai klaidingu, jei bet …