Logikos ir mokslo metodologijos
5 (100%) 1 vote

Logikos ir mokslo metodologijos

1. Loginių klasių teorija

A. Įvertinkite apibrėžimo taisyklingumą (raskite klaidą, jei yra). Nustatykite apibrėžimo rūšį.

„Loterija – pats tiksliausias būdas nustatyti optimistų kiekį“.

Tai nėra apibrėžimas, o kažkoks neaiškus apibūdinimas.

Pagal Plečkaitį, Apibrėžimas yra veiksmas, taip atskleidžiantis esminius objekto požymius, kad apibrėžiamasis objektas atskiriamas nuo gretimų objektų. (Plečkaitis R. Logikos įvadas, Vilnius, 1978, p. 113) Čia nėra atskleidžiami Loterijos kaip objekto esminiai požymiai, todėl loterijos negalima atskirti nuo kitų lošimų. Apibrėžiamoji išraiška Loterija nėra lygi apibrėžiančiajai išraiškai pats tiksliausias būdas nustatyti optimistų kiekį.

Kadangi tai nėra apibrėžimas, tai negalima nustatyti apibrėžimo rūšies.

B. Suskirstykite loginę klasę į poklasius ir nurodykite skirstymo rūšį:

„Universitetas“

Klasės skirstymas yra klasės padalijimas į poklasius, remiantis tam tikru pagrindu. Yra dvi skirstymo rūšys – Skirstymas pagal požymio kitimą ir Dichotominis skirstymas. (Plečkaitis R. Logikos įvadas, Vilnius, 1978, p. 105).

Skirstymas pagal požymio kitimą : Lietuvos Universitetas – Užsienio Universitetas.

Dichotominis skirstymas: Lietuvos Universitetas – ne Lietuvos Universitetas.

C. Nustatykite sąvokų (loginių klasių) santykius:

„Stipendija“; „Pensija“; „Pašalpa“;

Tarp visų tų trijų sąvokų (loginių klasių) yra nuošalės santykis, nes tos trys klasės neturi jokių bendrų elementų.

Nė viena stipendija nėra nei pensija, nei pašalpa; nė viena pensija nėra nei stipendija, nei pašalpa, ir viena pašalpa nėra nei stipendija, nei pensija.

Brėžiant grafiškai, tai būtų trys nesusikertantys skrituliai.

2. Teiginių logika

A. Formalizuokite šiuos teiginius:

1. Nuo atėmimo teisės eiti tam tikras pareigas ar dirbti tam tikrą darbą, ar užsiimti tam tikra veikla atleidžia prieš terminą apylinkės teismas, visuomeninės organizacijos ar darbo kolektyvo prašymu.

Pažymime teiginius raidėmis:

A – nuo atėmimo teisės eiti tam tikras pareigas atleidžia prieš terminą apylinkės teismas visuomeninės organizacijos prašymu

B – nuo atėmimo teisės dirbti tam tikrą darbą atleidžia prieš terminą apylinkės teismas visuomeninės organizacijos prašymu

C – – nuo atėmimo teisės užsiimti tam tikra veikla atleidžia prieš terminą apylinkės teismas visuomeninės organizacijos prašymu

D – nuo atėmimo teisės eiti tam tikras pareigas atleidžia prieš terminą apylinkės teismas darbo kolektyvo prašymu

E – nuo atėmimo teisės dirbti tam tikrą darbą atleidžia prieš terminą apylinkės teismas darbo kolektyvo prašymu

F – – nuo atėmimo teisės užsiimti tam tikra veikla atleidžia prieš terminą apylinkės teismas darbo kolektyvo prašymu

Formalizuojame šį teiginį: A v B v C v D v E v F

2. Pirmosios instancijos teismo nuosprendis įsiteisėja pasibaigus apeliacinio apskundimo terminui, jeigu šis nuosprendis nėra apskųstas.

Pažymime teiginius raidėmis:

A – pirmosios instancijos teismo nuosprendis įsiteisėja pasibaigus apeliacinio apskundimo terminui

B – šis nuosprendis yra apskųstas

Formalizuojame šį teiginį: ~B  A

3. Teismas negali apriboti teisminių ginčų trukmės tam tikru laiku, bet pirmininkaujantysis turi teisę sustabdyti dalyvaujančius ginčuose asmenis, jeigu jie savo kalbose išeina už nagrinėjamosios bylos ribų.

Pažymime teiginius raidėmis:

A – Teismas gali apriboti teisminių ginčų trukmę tam tikru laiku

B – pirmininkaujantysis turi teisę sustabdyti dalyvaujančius ginčuose asmenis

C – dalyvaujantys ginčuose asmenys savo kalbose išeina už nagrinėjamosios bylos ribų

Formalizuojame šį teiginį: C  (~A • B)

B. Sudarykite teisingumo lentelę (matricą) šiai išraiškai:

[~(p v q) • ~r]  [(~q  p) • r]

p q r ~q ~r pvq ~(pvq) ~(pvq)•~r

~qp (~qp)•r [~(p v q) • ~r]  [(~q  p) • r]

t t t k k t k k t t k

t t k k t t k k t k t

t k t t k t k k t t k

t k k t t t k k t k t

k t t k k t k k t t k

k t k k t t k k t k t

k k t t k k t k k k t

k k k t t k t t k k k

C. Parodykite samprotavimo pagrįstumą formaliosios dedukcijos metodu:

1. ~L v ~S

2. A  (L • S) / ~A

3. ~ (L • S) 1 DeM

4. ~A 2,3 MT QED

Šiuo metu Jūs matote 30% šio straipsnio.
Matomi 710 žodžiai iš 2364 žodžių.
Peržiūrėkite iki 100 straipsnių per 24 val. Pasirinkite apmokėjimo būdą:
El. bankininkyste - 1,45 Eur.
Įveskite savo el. paštą (juo išsiųsime atrakinimo kodą) ir spauskite Tęsti.
SMS žinute - 2,90 Eur.
Siųskite sms numeriu 1337 su tekstu INFO MEDIA ir įveskite gautą atrakinimo kodą.
Turite atrakinimo kodą?
Po mokėjimo iškart gausite atrakinimo kodą, kurį įveskite į laukelį žemiau:
Kodas suteikia galimybę atrakinti iki 100 straispnių svetainėje ir galioja 24 val.