Šperos

Logika (5)

10   (1 atsiliepimai)
Logika (5) 1 puslapis
Logika (5) 2 puslapis
www.nemoku.lt
www.nemoku.lt
Aukščiau pateiktos peržiūros nuotraukos yra sumažintos kokybės. Norėdami matyti visą darbą, spustelkite peržiūrėti darbą.
Ištrauka

m – miesto meras, n – namas, kuriame aš gyvenu, b – Baltijos jūra ir pan. Tai individualios konstantos.
(taip pat raidėmis su indeksais x1, x2 …,xn): x – bet kuris arklys, y – bet kuris namas, z – bet kuris atstumas ir pan. Tai individualūs kintamieji.
žymėsime didžiosiomis raidėmis: F, G, P… o objektą, kuris turi tą savybe, skliaustuose prie savybės.
Pavyzdžiui, jei pažymėsime: m – miesto meras, G – savybė būti geram, tai simbolinis užrašas G(m) reikš „geras miesto meras“; jei x – bet kuris asmuo, tai G(x) – „asmuo x yra geras“; jei N – savybė būti namu, o y – bet kuris objektas, tai N(y) – reiškia „objektas y yra namas“.
5. Santykius tarp objektų
žymėsime didžiosiomis raidėmis: R, S…
Pavyzdžiui, x>y reiškia žinomą santykį „x daugiau už y“ o jei zn - namo aukštis, o santykį „šokti aukščiau už“ pažymėsime raide R, tai užrašas xRzn reikš „x – as šoka aukščiau už namo aukštį“.
Pasižymėkime kitą santykį: xSz, kur x - bet kuris individas, z – bet kuris aukštis, o S – santykis „pašokti iki aukščio z“, tada dviprasmybės „arklys šokinėja aukščiau už namą“ abi prasmės užsirašys taip:
1. A(x)  xRzn; 2.zxy[A(x)  N(y) (ySzxRz)]
6. Kvantorius (visos objektų klasės savybės) žymėsime:
 - visuotinumo (bendrumo) kvantorius, pvz.: xA(x) – „visi x-sai – arkliai“;
 - egzistencijos kvantorius, pvz.: yN(y) „egzistuoja y-kai, kurie yra namai“.
Teiginių logikos pažymėjimai
Teiginius
žymėsime mažosiomis raidėmis p, q, r, s… ;
pvz.: p – „saulutė tekėjo“,
q – „lapeliai mirgėjo“,
r – „du broliai brolužėliai žirgelį balnojo“.
Sudėtinių teiginių jungtis žymėsime:
~ - neigimo operacija, suteikianti teiginiui priešingą teisingumo reikšmę,
pvz.: „nei vėjai pūtė“, pasižymėjus „vėjai pūtė“ – p, simboliškai bus užrašyta: ~p;
 - konjunkcija du teiginius sujungia jungtimi „ir tas, ir tas“;
pvz.: jei pasižymėsime: p – „saulutė tekėjo“, q – „lapeliai mirgėjo“, r – „du broliai brolužėliai žirgelį balnojo“,
tai sudėtinis teiginys „saulutė tekėjo, lapeliai mirgėjo, o du...

Daugiau informacijos...

Šį darbą sudaro 3149 žodžiai, tikrai rasi tai, ko ieškai!

Detali informacija
Darbo tipas
Lygis
Universitetinis
Failo tipas
Word failas (.doc)
Apimtis
2 psl., (3149 ž.)
Darbo duomenys
  • Logikos špera
  • 2 psl., (3149 ž.)
  • Word failas 195 KB
  • Lygis: Universitetinis
www.nemoku.lt Atsisiųsti šią šperą

www.nemoku.lt Panašūs darbai

Logika (9)

Logika (9) Logika
Peržiūrėti darbą

Aristotelio logika (2)

Aristotelio logika (2) Logika
Peržiūrėti darbą

Logika (I dalis)

Logika
Peržiūrėti darbą

Logika

Logika Logika
Peržiūrėti darbą
Privalumai
Pakeitimo garantija Darbo pakeitimo garantija

Atsisiuntei rašto darbą ir neradai jame reikalingos informacijos? Pakeisime jį kitu nemokamai.

Sutaupyk 25% pirkdamas daugiau Gauk 25% nuolaidą

Pirkdamas daugiau nei vieną darbą, nuo sekančių darbų gausi 25% nuolaidą.

Greitas aptarnavimas Greitas aptarnavimas

Išsirink norimus rašto darbus ir gauk juos akimirksniu po sėkmingo apmokėjimo!

Atsiliepimai
www.nemoku.lt
Dainius Studentas
Naudojuosi nuo pirmo kurso ir visad randu tai, ko reikia. O ypač smagu, kad įdėjęs darbą gaunu bet kurį nemokamai. Geras puslapis.
www.nemoku.lt
Aurimas Studentas
Puiki svetainė, refleksija pilnai pateisino visus lūkesčius.
www.nemoku.lt
Greta Moksleivė
Pirkau rašto darbą, viskas gerai.
www.nemoku.lt
Skaistė Studentė
Užmačiau šią svetainę kursiokės kompiuteryje. :D Ką galiu pasakyti, iš kitur ir nebesisiunčiu, kai čia yra viskas ko reikia.
www.nemoku.lt Atsisiųsti šią šperą