• Welcome to TUKE FÓRUM - Fórum pre študentov Technickej Univerzity v Košiciach.
 

Matematická logika-(all)

Started by kilomassa, 16.02.2009, 04:12:08

« predchdzajce - alie »

kukoca

hej hej, lebo bez zotvorky neplati na cele

Kuko

 bv  skusal niekto pocitat tie priklady z toho screenu ? konkretne ten 7. priklad ze ako vam vysiel ? :(

byglajs

Sorry že toľko spamujem, ale
(Existuje y) Q(g(y),P(y))
nie je formula, že ?
Nie som si istý ale to P tam nesmie byť ? Mám pravdu ?



Kuko

Prosim vie mi niekto poradi ?  Ked urcujem rezolucnou metodou ci je splnena mnozina vyrokovej logiky a vyde mi prazdna rezolventa tak to znamena ze je splnitelna ci nie je :(  ?   bu

byglajs

Ak vznikla prázdna rezolventa, tak systém nie je splniteľný, systém je kontradikcia. - tuším by to malo byť takto.
Ale problém sa ešte môže trochu zamotať, keď dokazuješ jej negáciu, čiže očakávaš prázdnu rezolventu a vtedy bude systém splniteľný.
Neviem to na sto percent, ale tak si myslím. bk

Kuko

Quote from: byglajs on  09.06.2009, 16:48:32
Ak vznikla prázdna rezolventa, tak systém nie je splniteľný, systém je kontradikcia. - tuším by to malo byť takto.
Ale problém sa ešte môže trochu zamotať, keď dokazuješ jej negáciu, čiže očakávaš prázdnu rezolventu a vtedy bude systém splniteľný.
Neviem to na sto percent, ale tak si myslím. bk
diky :)  ;)

skorec1


byglajs

Inak môžem sa spýtať, ako je to s ťahákmi ? Ako reaguje teta logička , keď nájde niekomu ťahák ? Hneď ho pošle preč s FX, alebo iba vezme ťahák a nechá dotyčného aby pokračoval  v skúške ? Na tú teóriu by bolo fajn vziať nejký ten ťaháčik. bv

Kuko

Quote from: byglajs on  09.06.2009, 23:12:38
Inak môžem sa spýtať, ako je to s ťahákmi ? Ako reaguje teta logička , keď nájde niekomu ťahák ? Hneď ho pošle preč s FX, alebo iba vezme ťahák a nechá dotyčného aby pokračoval  v skúške ? Na tú teóriu by bolo fajn vziať nejký ten ťaháčik. bv

tak co mne hovorili kamosi co uz pisali ze pri nej sa da v pohode opisovat ze len zasadne za katedru a sedi si tam ...tak by nemal byt problem s tym ze ti vezme tahak  :emot-dance:  .... no ale mozno nam pride niekto iny na dozor  :emot-rolleyes:

byglajs

No tak keď bude tak ako hovoríš, tak bude dobre :)

Sxx

mate v systeme uz vysledky dnesnej skusky?