Matematicka logika

[Daron]

naco by som tam doplnal negaciu?

ekvivalnecia ma hodnotu 1 len ked su obidve v 1. Cize pojdu len obidvaja, alebo nikto.

[Ragnol]

4.(C & D) or (-C & -D)

Nema to byt nahodou  C <=> D  ??

Ak si to upravis dostanes to iste  

[Daron]

Mozte niekto odfotit vypocitany piaty priklad? Ten s tym klauzualnym tvarom

[totaluser]

sorry, zle cislo vety som videl

viete mi niekto povedat, ci moja veta 3 a 5 je OK?

[Daron]

podla mna si nevystihol cislo prikladu. Bavime sa o cecilii a dionizovi. Ake ked dioniza - D preoperujes na Blazenu B a cele to prenesies do 3. prikladu, mohol by si mat pravdu.

[Daron]

Vie niekto ten 5. priklad, alebo nie? 9 bodov by potesilo

[totaluser]

 
uz mi z toho hrabe a to som sa moc este ani nenaucil

moze mi niekto povedat ci su moje vety 3 a 5 OK a ak nie tak preco?
vdaka

[neucilasom]

Na skuske boli z teorie len definicie alebo aj bolo treba uviest nejaky priklad?

[Daron]

uz mi z toho hrabe a to som sa moc este ani nenaucil

moze mi niekto povedat ci su moje vety 3 a 5 OK a ak nie tak preco?
vdaka

tvoja veta 5 je uplne scestna. Napriklad tam mas uplne ine pismenka, nechapem ako chces aby ti to potom sedelo pri rezolucnej metode. Ma tam byt D a E

Takze nikto nema priklad c5?? Upravu na klauzualny tvar??

[ghost]

prosim vas ak ma niekto 3 a 5 priklad please dajte ho sem
thanks

[Daron]

Prilad cislo 3, dufam ze spravne prepisany.

a, Ex (T( x ) and negS(x))
b,  Ex F( x )
c,  T(F( x )) => T( x )
d,  T(T( x ) + T( y ))
e,  S( x ) <=> (T( x ) and P( x ))


Bol by som velmi vdacny za priklad c5

[totaluser]

uz mi z toho hrabe a to som sa moc este ani nenaucil

moze mi niekto povedat ci su moje vety 3 a 5 OK a ak nie tak preco?
vdaka

tvoja veta 5 je uplne scestna. Napriklad tam mas uplne ine pismenka, nechapem ako chces aby ti to potom sedelo pri rezolucnej metode. Ma tam byt D a E

Takze nikto nema priklad c5?? Upravu na klauzualny tvar??

hej, vsimol som si prave
cize posledna uprava

3.
(C & -B) or (-C & B)

5.
(E & -D) or (-E & D) or (E & D)

takze je to OK, ci nie?

[mattus]

Neviete, treba ku Drazenskej dvojharok?

[Ragnol]

Prilad cislo 3, dufam ze spravne prepisany.

d,  T(T( x ) + T( y ))

Vo formule nemozes mat predikat v predikate. lebo nie je term.

[Daron]

hej, vsimol som si prave
cize posledna uprava

3.
(C & -B) or (-C & B)

5.
(E & -D) or (-E & D) or (E & D)

takze je to OK, ci nie?
[/quote]

nestaci v 5. napisat (E or D)  ??

[Daron]

Prilad cislo 3, dufam ze spravne prepisany.

d,  T(T( x ) + T( y ))

Vo formule nemozes mat predikat v predikate. lebo nie je term.

A ako teda?

[totaluser]

hej, vsimol som si prave
cize posledna uprava

3.
(C & -B) or (-C & B)

5.
(E & -D) or (-E & D) or (E & D)

takze je to OK, ci nie?

nestaci v 5. napisat (E or D)  ??
[/quote]
very nice
samozrejme ze staci

v 4. som to urobil takto, ale ruku do ohna za to nedam

Pre kazde x1, x2 [T(x1) & T(x2)] => T([x1+x2])

teda ak obe cisla su deltitelne troma tak aj sucet je delitelny troma

[Ragnol]

Prilad cislo 3, dufam ze spravne prepisany.

d,  T(T( x ) + T( y ))

Vo formule nemozes mat predikat v predikate. lebo nie je term.

A ako teda?

nedam za to ruku do ohna ale ja by som dal ze: (T(x) + T(y) ) = T(z) no takto to tiez nepojde lebo som sa docital ze "=" je tiez predikat binarny

[neucilasom]

Vie niekto poradit? prosim: som zufaly:
Vyslovte vetu o normálnom tvare??? Nenasiel som to nikde...

[totaluser]

OK, pardon,
uz sa to viac nestane, vo od stvrtka uz aj tak nebudem v SR

[Daron]

4  Vyslovte vetu o normálnom tvare
Ku každej formule A výrokovej logiky existujú s ňou výrokovo ekvivalentné formuly B, C, v ktorých sú nanajvýš tie výrokové premenné, ktoré sa vyskytujú vo formule A, pričom formula B má disjunktívny normálny tvar a C má konjunktívny normálny tvar.


totaluser preco mu namiesto tych picovin radsej nepomozes? 

[ursus]

hm, to ze "jazyk s rovnostou" znamena ze mozem pouzit "=" ?

[totaluser]

hm, to ze "jazyk s rovnostou" znamena ze mozem pouzit "=" ?

ano

[ursus]

tak potom 3b) by som dal

Ex, x = f(y)

ci ?

[Daron]

Ano...

nema fakt nikto priklad c5? staci sfotit mobilom, viem ze to je vela pisania.