LOOGIKA KODUNETÖÖ NR.2 TASB21 1.Kas lause on tõeväärtuseliselt tõene, väär või määramata? A B ¬((AB) ((BA)v¬A)) t t v t t t t v t v v v t t t v v t v v t v t t v v v t t t t t Lause on tõeväärtuseliselt väär. 2.Kas laused on tõeväärtuseliselt ekvivalentsed? (P&~Q)v(~P&Q) P~Q P Q (P&~Q)v(~P& P~Q Q) t t v v v v v v v t v t v t v t t v v t v v t t t v t v v v t v t v t v Laused on tõeväärtuseliselt ekvivalentsed. 3.Kas hulk on kooskõlaline? P Q (P~ Q) ~ ~ (Pv~ Q Q) t t v v t v v t v t v t t t t v t t v t t v v v t v v v v t t t t v t t Hulk ei ole kooskõlaline. (Kui kõik punased tähed oleks T, siis oleks kooskõlaline.) 4.Kas arutlus kehtib? P Q R P(QR R~
Kodune töö nr. 2 Arnold Oliinik 134183 tab23 1. Kas lause on tv väär, tõene või määramata? (( A B) ((B A) v A)) A B (( A B) ((B A) v A)) t t v t t t t v t v v v t t t v v t v v t v t t v v v t t t t t Lause on tv väär 2. Kas laused on tv ekvivalentsed? P Q and (P & Q) v (P & Q) P Q (P&~Q)v(~P&Q) P~Q t t v v v v v v v t v t v t v v t t v t v v t t t t v v v v t v t v v t Laused on tõeväärtuseliselt ekvivalentsed 3. Kas lausehulk on tv kooskõlaline? {R, (P v Q) (Q & R), Q & P} P Q R R (P v ~Q) (Q & R) Q & P t t T V T V t v t V V t t V T T V t t v
Et me aga oskaksime viga täpselt sõnastada, peame tundma loogikaseadusi. Loogikaseadused Loogika tegeleb väidete vaheliste formaalsete seostega. Ta ei ütle meile millised väited on tegelikult tõesed (nt väide "G. W. Bush on 2005 aastal USA president" on tõene tänu faktidele, mitte oma loogilisele struktuurile), vaid seda, mis tüüpi väidetest saab järeldada mis tüüpi väiteid. Selle ütlemiseks on terve rida loogikaseadusi. Traditsioonilises formaalse loogika puhul eristatakse nelja põhilist seadust, mida kehtiv arutlus peab järgima. Samasusseadus "Ühes ja samas kohas, ühes ja samas suhtes on tarvilik, et iga mõiste või väide, kui ta esineb arutluses korduvalt, oleks kasutatud iseendale sisuliselt identsena." (Galina Vuks, Traditsiooniline formaalne loogika, Tartu, 1999, lk 23) AA Vasturääkivuse lubamatuse seadus Loogiline arutlus ei tohi olla vasturääkiv. Vasturääkiv on arutlus siis, kui arutluses
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
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.
I' l ofto+ i' lri I Lli , \ : - 3 r i l ' Y "in:8fr l'-i'f [' , i \J F, = -1- i lnfo- \J ffiri a" -f-FF--"--i1'll 4J e.t t ",ri,n / -J ^l L r;;t8 . r t i4)
s I 1 q v= (ühtlane sirgjooneline liikumine) j= I = mR 2 (ketas) =k (punktlaengu) t S 2 R m axt 2 2 Kondensaatorid: = x = x 0 +v xt + (liikumisvõrrand) I = mR 2 (kera) V 2 5 q
INDX(# #B############(##################### ############# ######h#X##### #######"v##"v#U2##U2### ######,####### #########O#U#T#P#U#T#~#1#.#P#Y## ######p#\##### #######"v##"v#X3##X3### ############# ####### #P#a#r#e#n#M#a#t#c#h#.#p#y###### ######h#X##### #######"v##"v#X3##X3### ############# #########P#A#R#E#N#M#~#1#.#P#Y## ######p#^##### #######"v##"v#3##3##########9 ###### #########P#a#t#h#B#r#o#w#s#e#r#.#p#y#### ######h#X##### #######"v##"v#3##3##########9 ###### #########P#A#T#H#B#R#~#1#.#P#Y## #####p#\##### #######"v##"v#B4##B4##########( ###### ########P#e#r#c#o#l#a#t#o#r#.#p#y###### #####h#X##### #######"v##"v#B4##B4##########( ###### #########P#E#R#C#O#L#~#1#.#P#Y# #### #h#V##### #######"v##"v##4###4###P######6L###### ####### #P#y#P#a#r#s#e#.#p#y### #####h#V##### #######"v##"v#^T5##^T5############### ####### #P#y#S#h#e#l#l#.#p#y### ######h#V##### #######"v##"v#5##5##########? ###### ####### #R#E#A#D#M#E#.#t#x#t### #####x#d##### #######"v
Kõik kommentaarid