Loogika kodutöö kaks (0)

1 Hindamata

Kodune töö nr. 2
Arnold Oliinik 134183 tab23

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

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

Kas lausehulk on tv kooskõlaline?<
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
V V
T
v
t
V
T T t t v
V V
t
v
V
T
T T t t v
V V
V
t
t
V
V V v v t
T T
v
t
V
T
V V t t v
T T
v
v
T
V
T T t t v
V T
v
v
v
t
T t t t v
V T
Lausehulk ei ole kooskõlaline

Kas arutlus on tv kehtiv?
P  (Q  R)
R Ξ P
P v Q
P
Q
R
P(QR)
R Ξ ~ P
~ P v ~ Q
t
t
t
T t
V v
v V v
t
t
v
V v
T v
v V v
t
v
t
T t
V v
v T t
t
v
v
T t
T v
v T t
v
t
t
T t
T t
t T v
v
t
v
T v
T t
t T v
v
v
t
T t
T t
t T t
v
v
v
T t
T t
t T t
Tegemist on mittekorrektse deduktiivselt kehtiva arutlusega.

.DOCX Laadi alla originaalfail 1 lk · .docx · 14 allalaadimist

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

~ 1 leht Lehekülgede arv dokumendis

2014-04-13 Kuupäev, millal dokument üles laeti

14 laadimist Kokku alla laetud

0 arvamust Teiste kasutajate poolt lisatud kommentaarid

cosmix2 Õppematerjali autor

Loogika TTU teine kodutöö

loogika klassikaline loogika kodutöö laused lausehulk

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öö 2

Kodune töö nr. 2 1. 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. 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 t t v t

Statistika

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

docx

Soojustehnika

1. ( ?) , , . . , , . , ( , ), . . ((p 0 v ) . () . 2. . , . . . ? . ) - , : pV=kNT (1-10) . N - V, k - . , . µ - (moolmass) , kg/kmol (tihedus), kg/m3 , : NA = 6,0228 10 23 molekuli /mool : µ/ = v µ = const - , . 3. . . ?( - , ?) - , ( , ) 2/3 . p = 2/3 n mw2/2 , (1-6) n m w2 . mw2/2 - . (1-6) ( ) - . - 2/3mw2/2 = kT (1-8) k k= 1,38 10-23 J/K , . (1-6) (1-8) V pV = nVkT (1-9) V N= nV 4. . , . ( .) pVµ = 8314 T ( ) µ, 1 ( ), : pv = R0T (1-19) R0 () R0= 8314/ µ , J/ (kgK) µ - , kg/mol R () R= 8, 314 J/ (molK) = 8314 J/ (kmolK) v , m3/kg V - , m3 R0

Vene keel

pdf

Resonants elektriahelas

',i I --- Epp*; r1-Q,sAo,"o**s i tv",i \{_--,- 7 t "1,*!& "nl,*n*ear!- pAra-Ar*.;s#pt{ , CelPter'F;s*^L _r ' , - I $ o , X g.'s -_ Xr^r-: 0 7 -clo4

Füüsika

186

pdf

Vahvlist südamed

€; ka F- ftiEZSg =o;5-E+=i3"- -€s t..;.F s q;:= ')'4= ft€ '9= :*i J y=B?Tii itE nt =:> 3 ?- 2-.VG !E'ii=:;riVf i: - i-Yg=- E 5 Et F>^Y,= -,r d s'ir& -c -- == =Ei==': E-=F.*:-€=v2.2; = =.g ,-J; = Z d.i:X:G€{'=13ag4. i-- -,-Yt EglPcElit'=qro- = g r^ 3 - l, Z T >a -c.- tr

Kirjandus

pdf

24. Gaaside erisoojuste suhe, 12 Nihkemoodul, 1 Üldmõõtmised

''{ . ,t, 'i,, '.' ei'o1i" + "i/'(;t'i : { -'niL^l t '/t J W '' tt tt '/ trf, a !Yl s oOJ'h'/ UU 6 ba , b88C-'y 9Y J-' co sh'y ./ L ( (^v L D c aqL'y )t I (, aY

Füüsika

571

doc

Mikolaj Kopernik

#;h_èMZ-C}#v#R^#&#*;Y9`0#? #SVrM6+#1nM#Z3j1##Kv? #P^###ocQEz0#qq#z4?Um? #a#z##[#[##J%#J@ ##GI_- k#G Z t%d #S##jRc#mg# 3#m#|s<|#ATW#:6c *[` # [X #<#Q##> 4mT~*i6#- - ,u#U#Ayrmb#44lq#x#ZQml#d##{ :uZG3r?S#T0l-c#n U%y#%]90# zw[*wV1Q####n##c4$r##Xy.APio*E## #s I#wN#x>j=5Yr5O#^4 ;#}#Mahi%[8,GR- _6mx-U#y#y!d3h&?u.-,'#'- `8Vvoq#}3Km4h2O6Nv<- 9/w+FkF"+! R2#R#dOuc#Gi9[#s# #V#MQB#]#S##O7u#wnV 8'#:#m($#:| Q?}su[## P~<#g7#kAj#Kj^/#$U#JR X$Kx ? p#~4+7(} QY#V U?y# Y#p? AYHv.QMt_##Y<$14 g[J#/3Q- z"#? [#!6~T##in#9 #Oj+X0_UN~##*]7)@? ###?K}B#5S aEF#@#{ ## FsTyc[ T `8=O5ny#N##&t&####M# L~DZC2I#M%Vw#fo##aM,`+##i- m##=8 o@,n1e#o3X- ~, $n)#n##)PN^v@nNO8'5Z+##nDw b#vy$|^.TM;#Li N#o##'? o.##N

Füüsika

Rohkem sarnaseid