Jūs esate neprisijungęs. Prašome prisijungti arba registruotis.
Puslapiai 1
Jūs privalote prisijungti arba registruotis norėdami rašyti pranešimus mūsų forume
Net nežinau, kur ieškoti daugiau pagalbos, pamaniau, gal netyčia šiame forume kas nors moka spręsti logikos uždavinius. Labai labai reikia!
1
Įrodyti, kad seka ši išvada pritaikant sąlyginio įrodymo taisyklę. Turiu tas taisykles bet niekaip nesuprantu jų taikymo..
Man rodos, kažką ne taip užrašei.
Pirma, net neaišku, ką reikia padaryti. Turi tris sąlygas ir iš jų reikia įrodyti, kad A => B, teisingai? Kas yra T, C ir S? Taškas reiškia "IR", o bangelė ir varnelė "ARBA"?
Geriau patikslink sąlygą ir gal net parašyk tas taisykles.
+1
Man rodos, kažką ne taip užrašei.
Pirma, net neaišku, ką reikia padaryti. Turi tris sąlygas ir iš jų reikia įrodyti, kad A => B, teisingai? Kas yra T, C ir S? Taškas reiškia "IR", o bangelė ir varnelė "ARBA"?
Geriau patikslink sąlygą ir gal net parašyk tas taisykles.
Tai užduotis ir yra tokia, kad reikia įrodyti kad seka ši išvada (A -> B) pritaikant sąlyginio įrodymo taisykles. T C ir S yra, kaip bent jau aš suprantu, teiginiai, bet jie turi išnykti. "Bangelė" reiškia paprastąją disjunkciją (kaip Jūs sakėt, "arba"), taškas - konjunkciją (taip pat "ir"), o tas "kringelis" prieš A pirmoje eilutėje ir pries C antroje- neigimą.
O remtis reikia Natūraliosios dedukcijos sistemos taisyklėmis..
Pagrindinė bėda tame, kad jei turi sąrašą teginių t_1, t_2, ... ir iš jų įrodai teiginį s, tai tikrai žinai, kad bet kuris t_1, t_2, ... modelis yra ir s modelis (neformaliai tai reiškia, kad jei priskiriame elementariesiems teiginiams reikšmes "taip" ar "ne" tokiu būdu, kad visi teiginiai t_1, t_2, ... galiotų, tai turi galioti ir s).
Kitaip sakant, jei būtų galima įrodyti A => B iš tų trijų sąlygų, tai jei parinktume A, B, C, R, S, T reikšmes taip, kad tos trys sąlygos būtų tenkinamos, tai su šiomis reikšmėmis galiotų ir A => B. Tačiau jei A = 1, B = 0, C = 1, R = 0, S = 1, T = 1, tai visos trys sąlygos galioja, bet A => B negalioja. Taigi įrodyti negalima.
Aš spėju, kad vietoje S turėtų būti C (arba atvirkščiai) arba yra dar viena sąlyga, siejanti S ir C.
Vat dėl to man ir labiausiai neaišku, per daug nežinomųjų atrodo. Gal tikrai sąlygoje klaidą įvėliau, nors, atrodo, labai kruopščiai rašiausi. O galbūt suprantat dar tokį uždavinį? 
Kas yra išraiškos forma (ne konjuktyvioje normalioji forma: ką reiškia "išraiškos, turinčios tą pačią formą"). Galima mėginti atspėti, ką tai reiškia, bet gal užsirašėte apibrėžimą?
Na čia yra pateikta išraiška Disjunktyviojoje normaliojoje formoje, ir šį reiškinį reikia transformuoti į Konjunktyviąją normaliąją formą.
Na čia yra pateikta išraiška Disjunktyviojoje normaliojoje formoje, ir šį reiškinį reikia transformuoti į Konjunktyviąją normaliąją formą.
Vien pasakyti taip neužtenka, kad uždavinys būtų gerai apibrėžtas. Jei sąlyga prašo rasti išraišką, turinčią tą pačią formą, tai jums būtinai turi apibrėžti, ką reiškia tą pačią formą turinčios išraiškos (pvz, ar A v B ir (A v B) ^ (C v !C) turi tą pačią formą, ar ne; čia ^ reiškia disjunkciją, v reiškia konjunkciją, o ! reiškia neiginį).
Žodžiu, mano moralas tas, kad reikia gerai apsibrėžti uždavinį prieš jį darant.
Transformuokime tavo reiškinį.
Pavyzdžiui, dabar kyla neaiškumų dėl "tos pačios formos" reikšmės. Nežinau ar galima pasikeisti (!A v B) ^ !A į !A (išraiškos ekvivalenčios, bet ne identiškos). Darysiu detalesnį variantą (kai negalima).
Akis bado pirmoji kojunkcija !A ^ !A. Dėl apibrėžimo nebuvimo neaišku, ar galima pasilikti tik !A.
Kaip ten bebūtų, transformavome reiškinį į disjunktyviąją normaliąją formą. Naudojome tik pakeitimus
ir
Paskutinį kartą keitė AncientMariner (2011-01-04 22:31:55)
Labai labai dėkoju Jums! O pirmame uždavinyje tikrai įsivėlus klaida, turbūt suklydo dėstytojas.
Ačiū
^ reiškia "IR", v reiškia "ARBA", ! arba apversta ir pasukta L reiškia "NE", dviguba rodyklė (=>) reiškia 'išplaukia' (A => B yra tas pats, kas (!A) v B).
Vienguba rodyklė (--->) tiesiog parodo, kad aš keičiu tai, kas yra kairėje į tai, kas yra dešinėje. Galima būtų įsivaizduoti, kad ten lygybės ženklas, o ne rodyklė. Paprastai tokiose situacijose naudojama banguota rodyklė (~~~>) arba bent rodyklė su pagaliuku (|--->), bet man nepavyko jos čia parašyti.
Gal yra galinčiū duotus sakinius formalizuoti, t.y. užrašyti formule. Tokie sakiniai:
1)Ūmiu charakteriu garsėjantis garliaviškis žadėjo jas pasmaugti, nušauti, sudeginti namus, jeigu kreipsis į policiją.
2) Jose parašyta, kad dainą gali sukurti užsieniečiai, bet pagrindiniai atlikėjai turi būti Lietuvos piliečiai arba nuolat šioje šalyje gyvenantys asmenys.
3)Jei ne vaikystė be tėvų Lietuvoje, Danielius nebūtų toks, koks yra dabar.
4)Jei produkcija parduodama turguje ar mugėje, reikės pateikti leidimą prekiauti turguje ar mugėje patvirtinančiais dokumentais.
5) Norint priimti šio šstatymo pataisas, reikia ne tik pusės Seimo balsų, bet ir daugiau laiko.
6) Mums buvo visaip grasinama, tačiau į teismą nepaduotas joks ieškinys ir jis nebus paduotas.
7)Tačiau nesvarbu, kur būtų švenčiama- kameriniame koncerte, draugų šurmuly ar naktiniame klube.
8)Moterį kamavo stiprūs skausmai, ji sunkiai kvėpavo, būklė buvo sunki.
9)Jis jau turi du nesantuokinius vaiku, tačiau neprisipažino esantis jų tėvas tol, kol nebuvo atlikti DNR testai.
10)Štai todėl aš manau, kad išsiaiškinti, ar tai nusikaltimas, ar ne, yra visuomenės interesas.
Puslapiai 1
Jūs privalote prisijungti arba registruotis norėdami rašyti pranešimus mūsų forume
Math24.info © 2007-2012 Visos teisės saugomos
