Loginių klasių teorija - užduotys

8 užduotis.
„Samprotavimas – tai grupė teiginių apie tą patį objektą“.
Apibrėžimas yra loginis veiksmas, kuriuo nustatomi kriterijai tiriamajam objektui atskirti nuo kitų objektų, nurodant jo specifiką.
Tai nėra apibrėžimas, kadangi nėra atskleidžiami samprotavimo kaip objekto požymių. Šitam sakinyje padaryta klaida, nes neįmanoma pasinaudoti apibrėžimo pakeičiamumo taisykle, t.y. per platus apibrėžimas. Samprotavimais gali būti ne tik grupė teiginių.
Išvada: kadangi čia pateiktas sakinys nėra apibrėžimas, negaliu nustatyti apibrėžimo rūšies.
„Nusikaltimai būna tarnybiniai, tyčiniai ir netyčiniai“.
Skirstomoji klasė – nusikaltimai.
Skirstymo nariai – tyčiniai, netyčiniai.
Skirstymas turi būti tolygus, pažeidus šią taisyklę atsiranda klaidos. Šiuo konkrečiu atveju dvi: nepilnas skirstymas ir bereikalingas narys – tarnybiniai.
C. Sudėkite ir sudauginkite šias logines klases:
„Trikampis“; „Kvadratas“.
Sudėję klasę „Trikampis“ ir klasę „Kvadratas“, gausime naują klasę, kurią sudarys visi trikampiai ir visi kvadratai.
AUB
Klasė A sudedama su klase B.
1 pav. „Trikampio“ ir „Kvadrato“ sudėtis
Sudauginę klasę „Trikampis“ ir klasę „Kvadratas“, gausime naują klasę, kurią sudaro tik tie trikampiai, kurie yra kvadratai, ir tik tie kvadratai, kurie kartu yra ir trikampiai. Tačiau tokių trikampinių kvadratų nėra.
A∩B
Klasė A sudauginama su klase B.
2 pav. „Trikampio“ ir „Kvadrato“ daugyba
2. Teiginių logika
A. Formalizuokite šiuos teiginius:
1. Jeigu priimtas sprendimas nutraukti procesą, įsiteisėjo nuosprendis arba nuspręsta, kad taikyti užstatą kaip kardomąją priemonę netikslinga, užstatas grąžinamas užstato davėjui.
a – priimtas sprendimas nutraukti procesą;
b – įsiteisėjo nuosprendis;
c1 – nuspręsta, kad taikyti užstatą kaip kardomąją priemonę tikslinga;
c2 – užstatas grąžinamas užstato davėjui.
Formalizuoju teiginį: a  (b v (~c1 · c2))
2. Teisminių ginčų dalyviai neturi teisės remtis įrodymais, kurie nebuvo išnagrinėti teisminiame tardyme.
Išskiriu teiginius ir juos pažymiu raidėmis:
a – teisminių ginčių dalyviai turi teisę remtis įrodymais;
b – įrodymai buvo išnagrinėti teisminiame tardyme.
Formalizuoju teiginį: ~b · ~a
3. Nuosprendis gali būti pradėtas vykdyti tik tuo atveju, jeigu nuteistasis raštu pareiškia norą pradėti atlikti bausmę, kol byla bus išnagrinėta apeliacine tvarka.
a – nuosprendis gali būti pradėtas vykdyti
b – nuteistasis raštu pareiškia norą pradėti atlikti bausmę;
c – byla bus išnagrinėta apeliacine tvarka
Formalizuoju...

Daugiau informacijos...

★ Klientai rekomenduoja

Šį rašto darbą rekomenduoja mūsų klientai. Ką tai reiškia?

Mūsų svetainėje pateikiama dešimtys tūkstančių skirtingų rašto darbų, kuriuos įkėlė daugybė moksleivių ir studentų su skirtingais gabumais. Būtent šis rašto darbas yra patikrintas specialistų ir rekomenduojamas kitų klientų, kurie po atsisiuntimo įvertino šį mokslo darbą teigiamai. Todėl galite būti tikri, kad šis pasirinkimas geriausias!