Loogika kodutöö 2 (0)

Tallinna Tehnikaülikool - Matemaatika - Statistika

1 Hindamata

Lõik failist

Kodune töö nr. 2

Kas lause on tõeväärtuseliselt 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
Vastus: Lause on tõeväärtuseliselt väär.

Kas laused on tõeväärtuseliselt ekvivalentsed?
(P & ~Q) v (~P & Q) P ~Q
P
Q
(P & ~Q) v (~P & Q)
P~Q
t
t
v v v v v
v v
t
v
t t t v v
t t
v
t
v v t t t
t v
v
v
v t v t v
v t
Vastus: Laused on tõeväärtuseliselt ekvivalentsed.

Kas lausehulk on tõeväärtuseliselt kooskõlaline ?
{R, (P v Q)  (Q & R), Q & P}
R
P
Q
R
(P v Q)  (Q & R)
Q & P
t
t
t
v
t v v v t
v v
t
t
v
v
t t t t v
v v
t
v
t
v
v v t v t
t t
t
v
v
v
t t t t v
v t
v
t
t
t
t v t t v
v v
v
t
v
t
t t t t v
v v
v
v
t
t
v v t t v
t t
v
v
v
t
t t t t v
v t
Vastus: Lausehulk on tõeväärtuseliselt kooskõlaline (7.reas on kõik hulga liikmed korraga tõesed).

Kas arutlus on tõeväärtuseliselt kehtiv?
P  (Q  R)
R Ξ P
P v Q
R
P
Q
P  (Q  R)
R  P
P v Q
t
t
t
t t
v v
v v v
t
t
v
t t
v v
v t t
t
v
t
t t
t t
t t v
t
v
v
t t
t t
t t t
v
t
t
v v
t v
v v v
v
t
v
t t
t v
v t t
v
v
t
t v
v t
t t v
v
v
v
t t
v t
t t t
Vastus: Arutlus on tõeväärtuseliselt kehtiv, kuna pole võimalik, et kõik eeldused on tõesed ja järeldus väär.

Lae alla, et näha rohkem ▪ ▪ ▪

50 punkti Autor soovib selle materjali allalaadimise eest saada 50 punkti.

~ 2 lehte Lehekülgede arv dokumendis

2014-12-30 Kuupäev, millal dokument üles laeti

12 laadimist Kokku alla laetud

0 arvamust Teiste kasutajate poolt lisatud kommentaarid

niisamasiin Õppematerjali autor

Loogika kodune töö 2
Tõesuspuu meetodi kasutamine
Kevad 2014

loogika kodune töö tallinna tehnikaülikool vastuslause lausehulk laused

Sarnased õppematerjalid

docx

Loogika

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~

Loogika

docx

Loogika kodutöö kaks

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

Matemaatika

doc

Konspekt

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

Loogika

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

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

pdf

Harjutustunnid

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)

Füüsika ii

pdf

Füüsika valemid

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

Füüsika

docx

Kuidas saavad toitlusettevõtted aidata kaasa turismi arendamisele Eestis?

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

Turism

Rohkem sarnaseid