Loogika konspekt 1-5 (0)

Sarnased õppematerjalid

197

pdf

LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK

1 1. LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK Loogika määratlemisest Sõna loogika näib olevat kujunenud kreeka väljendist logik¾ tscnh, mis tähendab mõtlemise või arutlemise kunsti. Kui püüda mõista, mis on loogika, siis üks võimalus on lähtuda selle sõna kasutamisviisidest tavakeeles. Eesti keelt kõneldes saab sõna loogika Kasutada erinevates tähendustes: · sündmuste, asjade või süsteemide loogika, s.o sisemine korrapära, mis võimaldab sündmustest, asjadest või süsteemidest aru saada, selleks võib olla ka millegi tööpõhimõte; · mõtlemise loogika, s.o mõtlemises esinev korrapära, mis võimaldab teha järeldusi, sh selliseid, mida varem ei teata; · teksti või jutu loogika (loogilisus), see iseloomustab lisaks mõtlemise loogikale (mida

Matemaatika ja loogika

348

pdf

LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK Loogika määratlemisest

SEMANTILINE KOLMNURK: TEEMA 1!! 1 1. LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK Loogika määratlemisest Sõna loogika näib olevat kujunenud kreeka väljendist logik¾ tšcnh, mis tähendab mõtlemise või arutlemise kunsti. Kui püüda mõista, mis on loogika, siis üks võimalus on lähtuda selle sõna kasutamisviisidest tavakeeles. Eesti keelt kõneldes saab sõna loogika Kasutada erinevates tähendustes: • sündmuste, asjade või süsteemide loogika, s.o sisemine korrapära, mis võimaldab sündmustest, asjadest või süsteemidest aru saada, selleks võib olla ka millegi tööpõhimõte; • mõtlemise loogika, s.o mõtlemises esinev korrapära, mis võimaldab teha järeldusi, sh selliseid, mida varem ei teata; • teksti või jutu loogika (loogilisus), see iseloomustab lisaks mõtlemise loogikale (mida kõne väljendab) ka seda, kui süsteemselt kõnelejal õnnestub oma mõtteid väljendada;

Õigus

28

pdf

Loogika eksamiks

LOOGIKA KONSPEKT EKSAMIKS (autor – mis iganes, kas tead teda või mitte, ei vastuta selles materjalis sisalduva informatsiooni (eba)õigsuse eest; palun ärge solvuge ega süüdistage) 1. LOOGIKA PÕHIREEGLID. ! D1.2. Samasusseadus Ühes ja samas arutluses, ühes ja samas suhtes peab iga termin või väide, kui ta esineb arutluses korduvalt, olema kasutatud iseendaga identselt. ! ! See tähendab, et kui me kasutame ühes arutluses mingisugust terminit või väidet korduvalt, ! ! siis ei tohi arutluse sees terminite ja väidete tähendused muutuda. ! D1.3. Vasturääkivusseadus

Eesti keel

14

pdf

Loogika konspekt

LOOGIKA KONSPEKT EKSAMIKS (autor ­ mis iganes, kas tead teda või mitte, ei vastuta selles materjalis sisalduva informatsiooni (eba)õigsuse eest; palun ärge solvuge ega süüdistage) 1. LOOGIKA PÕHIREEGLID. ! D1.2. Samasusseadus Ühes ja samas arutluses, ühes ja samas suhtes peab iga termin või väide, kui ta esineb arutluses korduvalt, olema kasutatud iseendaga identselt. ! ! See tähendab, et kui me kasutame ühes arutluses mingisugust terminit või väidet korduvalt, ! ! siis ei tohi arutluse sees terminite ja väidete tähendused muutuda. ! D1.3. Vasturääkivusseadus

Loogika

44

pdf

Loogika konspekt 6-10

Arutlus väljendub keeles lausete hulgana. Klassikalises loogikas käsitletakse arutlust kui propositsioonide hulka või ka kui väidete hulka. Üks neist on järeldus, ülejäänud on eeldused. Tuletis järgneb eeldustest paratamatult (ik necessarily). Et rõhutada tuletise paratamatut iseloomu, alustatakse tema sõnastamist väljendiga järelikult, siit järeldub või sellepärast jt. Neid väljendeid nimetatakse eelduse ja tuletuse seoseks. Loogika ülesandeks on seaduste ja printsiipide formaliseerimine, millest kinnipidamine on paratamatu, kui soovime saada tõestest eeldustest tõese järelduse. Loogikas on mitmeid formaliseeritud süsteeme ning järeldamise reeglid ja printsiibid on teatud mõttes suhtelised, nad sõltuvad konkreetse loogika valdkonna süntaksi iseärasustest. Kuigi arutluse kehtivust saab kontrollida mitmeti, on suure enamuse loogikavaldkondade arutlusmeetodite aluseks ikkagi klassikaline loogika.

Loogika

30

docx

Loogika

1.LOOGIKA AINE JA PÕHIREEGLID Ratsionaalne mõtlemine- järjekindel ja reeglipärane mõisteline mõtlemine, kusjuures reeglid peavad olema mingil viisil õigustatud. Need võivad tugineda nt kogemuse üldisusele, mille allikaks peetakse tihti tegelikkust. Ratsionaalse mõtlemise eesmärk- tegelikkusega kohanemine. LOOGIKA UURIMISVALDKOND ongi peamiselt ratsionaalse mõtlemise seaduspärasused ja mõtlemise aktide produktid. Irratsionaalne mõtlemine- ebakindel, reeglipäratu või järgib väljendamatuid või vaieldavaid reegleid. Ei kuulu otseselt loogika uurimisvaldkonda, kuid selle olemasoluga tuleb arvestada. Võib tugineda mõtleja sisemistele ajenditele, nt soovidele või hirmudele, sageli neid ajendeid ei teadvustata. Mõnikord on mõtlemise aluseks irratsionaalne soov või usk, aga arutluskäigud

Loogika

8

docx

Lausearvutuse tehted

Lausearvutuse tehted, 3. KT Eitus ¬p Konjunktsioon p & q. (korrutustehe) Loomulikus keeles on konjunktsiooni indikaatoriteks ja, ning, ent, kuid, aga, nii...kui ka...; vahel võib konjunktsiooni tähistada ka punkt või koma. Disjunktsioon p ∨q. Või (liitlause) Lause on tõene parajasti siis, kui vähemalt üks lausetest p ja q on tõene. Lause on väär vaid siis, kui mõlemad p ja q on väärad (0). Implikatsioon p →q. Lause on väär ainult siis, kui p on tõene ja q on väär. Implikatsioon on tõene parajasti siis, kui tehte esimeselt komponendilt teisele liikudes ei teki tõekadu. Lühemalt: lausearvutuses on kasutusel materiaalne implikatsioon, mis on alati tõene, välja arvatud siis, kui alus on tõene ja tagajärg on väär. Ekvivalents p↔q. Loomulikus keeles on ekvivalentsi indikaatoriteks väljendid … siis ja ainult siis, kui … ; … parajasti siis, kui … ; tarvilik ja piisav tingimus; ühekorraga. Lause on tõene s

Õpioskus

6

pdf

lausearv4up

Verbaalsed ja Formaalsed esitused LAUSEARVUTUS Verbaalne esitus on mistahes info esitamine lingvistilise keele abil Lausearvutus on loogilise mõtlemise matemaatiline mudel. (nii suuline kui ka kirjalik esitus). Näiteks ajalugu ja filosoofia on valdkonnad, kus kogu informatsioon on Lausearvutuse lause võib olla iga verbaalne (ehk lingvistilises keeles esitatud ainult verbaalselt. väljendatud) väide, millele saame omistada tõeväärtuse — tõene või vale. Formaalne esitus on mistahes info (reeglina kirjalik) esitamine ilma Tõeväärtusi tähistame numbritega 0 ja 1. lingvistilise keele abita ehk esitus kokkulepitud sümbolite 0 — vale (v

Algoritmid ja andmestruktuurid

Meedia

Kommentaarid (0)