Matematická Logika

[Rajo]

MKT nie je správne, tá posledná disjunkcia je tam úplne zbytočne pretože si už popísal všetky 0...alebo žeby znova nejaký extra Miškovej systém?

[orsi]

to nie je žiadny extra systém  je to tam uplne zbytočne.

[veteran]

MKT nie je správne, tá posledná disjunkcia je tam úplne zbytočne pretože si už popísal všetky 0...alebo žeby znova nejaký extra Miškovej systém?

Ahá, jasné. Až teraz mi došlo. Toto posledné je tam navyše. Ale zasa na druhej strane, nič nechýba 

[Rajo]

a my sme zasa mali zistiť, či je daná formula sémantickým dôsledkom inej formuly

[esperian]

inak mna by celkom zaujimalo, ze podla coho urcujeme 1. 2. 3. .... vyrokovu premenu ktoru eliminujeme ?? alebo je to jedno ?

[Wolfdale]

treba najprv vybrat taku, ktora ma hodnotu v jednom riadku aj 0 aj 1...ked si vyberies napriklad taku, ktora nema negaciu, t.j. bude mat hodnotu iba 1, tak nevies urcit rezolventu

[esperian]

cize ak mam take funkcie :
~/negacia

~x v y,....~x v z,....x v y,....~y v x,.....~x v ~y v z

tak je jedno ci ako prve zoberiem x alebo y ?? z-ko nemozem lebo nema negaciu... alebo je potrebne poyerat aj nato kolo 0,1 je mozne danej premennej pridelit... cim viac tym skor tu premennu urcim.

[Wolfdale]

presne tak, je jedno ze ci x alebo y,  pozerat kolko 0 a 1 sa da pridelit jednej premennej sa odporuca, pretoze cim menej mas, tym sa to lahsie urci...

[esperian]

diky moc

edit// ale je zaco, uz som ani necakal ze sa niekto najde

[Wolfdale]

you´re welcome 

[SteLa]

myskova pyta ospravedlnenky?

[veteran]

myskova pyta ospravedlnenky?

Áno.

[Tren]

myskova pyta ospravedlnenky?

Áno.

ale nebaziruje natom az tak 

[SteLa]

Co myslite ze bude na pisomke z matiky? Zasa som prepocula^^

[esperian]

pisomka ??kedy ?

[bEnd3r]

nam myskova slubila o tyzden z rezolucnej metody.. zase bleskovka za 3b

[Cici]

nam myskova slubila o tyzden z rezolucnej metody.. zase bleskovka za 3b

uz len doplnim ze hovorila o 8. tyzdni

[SteLa]

ja som pocula o tyzden^^.. pred tyzdnom.. nic no

[bEnd3r]

mam vo stvrtok 10:50 a minuly tyzden nam hovorila ze nam da o dva tyzdne teda v 8. ..neviem ako v ostatnych skupinach

[Wolfdale]

ja som pocula o tyzden^^.. pred tyzdnom.. nic no

zle si pocula napriek tomu ze si sedela uplne vpredu   

[esperian]

cize ta skupina co ma stvrtok 12:20 tak tiez ma az v 8 tyzdni ? jo ? ci ?

[orsi]

aj my mame v osmom tyzdni z myskovou v piatok, teraz je siedmi takže nic, pohoda 

[veteran]

Áno, áno, bleskovka s Myškovou je až o týždeň. No stress 

[matotv]

zdar, takze zajtra piseme s myskovou bleskovku vsak? mne sa zdalo ze vravela, ze to bude len z rezolucnej metody...dufam ze som pocul dobre...vie to niekto naisto?

[Wolfdale]

ano bude len z rezolucnej metody