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

Matematicka logika

Started by ursus, 28.09.2010, 02:51:40

« predchdzajce - alie »

totaluser

Quote from: ursus on  05.01.2011, 02:52:22
tak potom 3b) by som dal

Ex, x = f(y)

ci ?
no ja som to riesil podobne

E x,y x=F(y)

lebo podla mna je vhodne povedat nieco aj o tom Y, teda ho nejako okvantifikovat

Mattias777

#251
3. je podla mna takto:

a) ┐(Vx)(T(x)˄F(x))
b) (Ex)(x=f(y))
c) T(f(x))=>T(x)
d) T(+(T(x),T(y)))
e) S(x)<=>(T(x)˄P(x))

inak, v tom prvom po a) sa nemoze dat existencny kvantifikator, ako si to vela ludi mysli, lebo veta a) nepoukazuje na EXISTENCNY kvantifikator, ale na VSEOBECNY, teda musime pracovat s tymto... Jednoduchou negaciou dostaneme slovne spojenie "nie kazde" :)

Daron

#252
A aky je rozdiel, medzi tym, ked povies:
1/ Nie kazdy je velky.
2/ Existuje niekto, kto je maly.

hmm?


neucilasom

Quote from: Daron on  05.01.2011, 02:43:34
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.


diky

ursus

co je klauzularny variant k uzaveru formuly?  ;D
So this router walks into the doctor's office...
- Doctor, it hurts when IP.

ursus

v jazyku s rovnostou je = binarny predikat ?
So this router walks into the doctor's office...
- Doctor, it hurts when IP.

Mattias777

Quote from: Daron on  05.01.2011, 03:00:44
A aky je rozdiel, medzi tym, ked povies:
1/ Nie kazdy je velky.
2/ Existuje niekto, kto je maly.

hmm?



praveze v tomto...ako to povies...ty mas pisat podla toho, co je napisane v priklade...ak tam mas napisane NIE KAZDY, tak nebudes predsa pisat EXISTUJE, nie?? :) je to logicky to iste, ale inak sa to pise...

Mattias777

Quote from: Robokop on  05.01.2011, 03:23:21
Quote from: Mattias777 on  05.01.2011, 02:57:30
d) T(f(T(x),T(y)))

len nerozumiem, preco si tam pouzil to "f".... sice chapem, ze je to jediny binarny predikatovy symbol tam, ale tak v tej formule nie je ani zmienka o "f" teda o tom, ze priradi druhu mocninu....

v d) je sucet dvoch cisel....nemozes napisat T(x) + T(y) :D :D musis pouzit funkciu....ak je f binarna, tak robi sucet dvoch cisel...

Robokop

Quote from: Mattias777 on  05.01.2011, 03:25:04
Quote from: Robokop on  05.01.2011, 03:23:21
Quote from: Mattias777 on  05.01.2011, 02:57:30
d) T(f(T(x),T(y)))

len nerozumiem, preco si tam pouzil to "f".... sice chapem, ze je to jediny binarny predikatovy symbol tam, ale tak v tej formule nie je ani zmienka o "f" teda o tom, ze priradi druhu mocninu....

v d) je sucet dvoch cisel....nemozes napisat T(x) + T(y) :D :D musis pouzit funkciu....ak je f binarna, tak robi sucet dvoch cisel...

jj jasne, sry mas pravdu :) dnes som prisiel na jednu vec.... mal by som si poriadne precitat co pise v zadaniach az potom rozmyslat ;D

ursus

bullshit kamarade

d) sucet dvoch cisel delitelnych tromi, je cislo delitelne tromi

podla mna  .. T(x) + T(y) = T(z)
jediny problem co si myslim ze moze byt ze, to uz nesu termy tie T(x), T(y)
+ - je bin.funkcny smybol, f priradza mocninu
So this router walks into the doctor's office...
- Doctor, it hurts when IP.

Mattias777

Quote from: ursus on  05.01.2011, 03:33:22
bullshit kamarade

d) sucet dvoch cisel delitelnych tromi, je cislo delitelne tromi

podla mna  .. T(x) + T(y) = T(z)
jediny problem co si myslim ze moze byt ze, to uz nesu termy tie T(x), T(y)
+ - je bin.funkcny smybol, f priradza mocninu

f ako binarna funkcia spocita 2 cisla...citaj poriadne...je to na za tym, ze priradzuje mocninu ;) + pokial viem, nemozes pouzit len tak...musi to byt vo funkcii...

Robokop

Quote from: ursus on  05.01.2011, 03:33:22
bullshit kamarade

d) sucet dvoch cisel delitelnych tromi, je cislo delitelne tromi

podla mna  .. T(x) + T(y) = T(z)
jediny problem co si myslim ze moze byt ze, to uz nesu termy tie T(x), T(y)
+ - je bin.funkcny smybol, f priradza mocninu

v zosite som nasiel nieco take, ze namiesto +(x,y) sa pouziva x+y... namiesto "patri"(x,y) sa pouziva x "patri" y...ergo z toho mi vychadza, ze oba zapisy su spravne, akurat to "f" zmenit na plus kvoli tomu co si spomenul...

ursus

Quote from: Mattias777 on  05.01.2011, 03:41:01
Quote from: ursus on  05.01.2011, 03:33:22
bullshit kamarade

d) sucet dvoch cisel delitelnych tromi, je cislo delitelne tromi

podla mna  .. T(x) + T(y) = T(z)
jediny problem co si myslim ze moze byt ze, to uz nesu termy tie T(x), T(y)
+ - je bin.funkcny smybol, f priradza mocninu

f ako binarna funkcia spocita 2 cisla...citaj poriadne...je to na za tym, ze priradzuje mocninu ;) + pokial viem, nemozes pouzit len tak...musi to byt vo funkcii...
prepac, ale co si chuj  ;D?
"..unarnym funkcnym symbolom: f - pripadi prirodz. cislu jeho druhu mocninu a binarnym funkcnym symbolom + pre scitanie"
So this router walks into the doctor's office...
- Doctor, it hurts when IP.

neucilasom

Výrok dňa:
Nehľadaj logiku v matematickej logike :D

ursus

#264
Quote from: Robokop on  05.01.2011, 03:42:54
Quote from: ursus on  05.01.2011, 03:33:22
bullshit kamarade

d) sucet dvoch cisel delitelnych tromi, je cislo delitelne tromi

podla mna  .. T(x) + T(y) = T(z)
jediny problem co si myslim ze moze byt ze, to uz nesu termy tie T(x), T(y)
+ - je bin.funkcny smybol, f priradza mocninu

v zosite som nasiel nieco take, ze namiesto +(x,y) sa pouziva x+y... namiesto "patri"(x,y) sa pouziva x "patri" y...ergo z toho mi vychadza, ze oba zapisy su spravne, akurat to "f" zmenit na plus kvoli tomu co si spomenul...
no hej, to je detail ci to napises tak ci onak, problem podla mna je ze T(T(x)) uz nie je formula, kedze T(x) neni term, cize uz "+" ako funkcny symbol, uz tma je ta termovost porusena, ci?  ;D

rozmyslam, ale sak to sa ani inac neda jak nevnorit tam ten T(), jedine nejake ((a+b) /\ T(a) /\ T(b)) ale to sa mi zda kus odveci
So this router walks into the doctor's office...
- Doctor, it hurts when IP.

Mattias777

Quote from: ursus on  05.01.2011, 03:51:24
Quote from: Mattias777 on  05.01.2011, 03:41:01
Quote from: ursus on  05.01.2011, 03:33:22
bullshit kamarade

d) sucet dvoch cisel delitelnych tromi, je cislo delitelne tromi

podla mna  .. T(x) + T(y) = T(z)
jediny problem co si myslim ze moze byt ze, to uz nesu termy tie T(x), T(y)
+ - je bin.funkcny smybol, f priradza mocninu

f ako binarna funkcia spocita 2 cisla...citaj poriadne...je to na za tym, ze priradzuje mocninu ;) + pokial viem, nemozes pouzit len tak...musi to byt vo funkcii...
prepac, ale co si chuj  ;D?
"..unarnym funkcnym symbolom: f - pripadi prirodz. cislu jeho druhu mocninu a binarnym funkcnym symbolom + pre scitanie"


a vazne :D diky, mas pravdu ;) to som sa sekol s inym prikladom, tam bola f presne tak, ako som pisal...ze ak je unarna, tak je mocnina a ak je binarna, tak je ako scitavanie...teda ak si napisal f(x) tak to bola mocnina, a ak f(x,y), tak to bolo scitavanie :D tak teda, nepouzijes f ale +...ale je to ako funkcny symbol, teda je akokeby funkciou, teda to mozes zapisat ako +(x,y)...z toho dovodu, ze nemozes napisat T(T(x)+T(y)), lebo predikat bude v dalsom predikate...ale mozes napisat T(+(T(x),T(y)))...teda neviem, podla mna by to takto malo byt...obidva zapisy, ako bolo spominane su spravne... Este raz sorry za FAIL :)

ursus

Quote from: totaluser on  05.01.2011, 02:34:14
Pre kazde x1, x2 [T(x1) & T(x2)] => T([x1+x2])

toto sa mi najviac paci
So this router walks into the doctor's office...
- Doctor, it hurts when IP.

Mattias777

Quote from: ursus on  05.01.2011, 04:19:25
Quote from: totaluser on  05.01.2011, 02:34:14
Pre kazde x1, x2 [T(x1) & T(x2)] => T([x1+x2])

toto sa mi najviac paci

je to pekne, akurat nechapem tym hranatym zatvorkam vovnutri okruhlych.. :D a este by som vynechal "pre kazde x1,x2", lebo tam o tom nic nieje v priklade....ja len tak, ze podla mna si budu vsimat kazdu somarinu, tak zeby to nevzali ako chybu...kvantifikator by som proste vyradil, malo by to aj tak zmysel...

totaluser

tie hranate som tam dal len aby sa zvyraznilo to scitanie, ze to je funkcia (inac by som dal napr T(+(x1, x2)), ale to je jedno, aj keby si ich tam nedal, podla mna ok)
ten kvantifikator nam vravel cviciaci
ze ked neni povedane explicitne, mam sa na to pozriet a dat podla toho, ako to plati
kedze toto plati pre kazde take cislo co je delitelne troma, dal som vseobecny
opat, ruku do ohna za to nedam, ale ja by somho tam dal

ursus

este k dvojke po d)
(c/\d) V (-c /\ -d)

ako toto rozbijete do rezolucnej ?
c ; d V -c ; -d ? to hadam asi nie, tak co, kazde s kazdym ?

cV-c; dV-c; cV-d ;dV-d ? to by sa dalo, ale zase, c V -c je stale T, co napisem do toho stlpca, stale jednotky tam budem pisat ci keru mariu, omggg to je priklad
So this router walks into the doctor's office...
- Doctor, it hurts when IP.

ursus

zevraj kazdy s kazdym a tautologie ignorujem a nedam ich do rezolucnej
So this router walks into the doctor's office...
- Doctor, it hurts when IP.

Mattias777

Quote from: ursus on  05.01.2011, 04:29:22
este k dvojke po d)
(c/\d) V (-c /\ -d)

ako toto rozbijete do rezolucnej ?
c ; d V -c ; -d ? to hadam asi nie, tak co, kazde s kazdym ?

cV-c; dV-c; cV-d ;dV-d ? to by sa dalo, ale zase, c V -c je stale T, co napisem do toho stlpca, stale jednotky tam budem pisat ci keru mariu, omggg to je priklad

co tak C<=>D?? ;) bud obidve jednotky, alebo obidve nuly....

ursus

Quote from: Mattias777 on  05.01.2011, 04:36:35
Quote from: ursus on  05.01.2011, 04:29:22
este k dvojke po d)
(c/\d) V (-c /\ -d)

ako toto rozbijete do rezolucnej ?
c ; d V -c ; -d ? to hadam asi nie, tak co, kazde s kazdym ?

cV-c; dV-c; cV-d ;dV-d ? to by sa dalo, ale zase, c V -c je stale T, co napisem do toho stlpca, stale jednotky tam budem pisat ci keru mariu, omggg to je priklad

co tak C<=>D?? ;) bud obidve jednotky, alebo obidve nuly....
no hej, to je jedno, aj tak to musis rozpocitat a vyjde ti -cVd /\ -dVc
So this router walks into the doctor's office...
- Doctor, it hurts when IP.

Ragnol

#273
Quote from: ursus on  05.01.2011, 04:29:22
este k dvojke po d)
(c/\d) V (-c /\ -d)

ako toto rozbijete do rezolucnej ?
c ; d V -c ; -d ? to hadam asi nie, tak co, kazde s kazdym ?

cV-c; dV-c; cV-d ;dV-d ? to by sa dalo, ale zase, c V -c je stale T, co napisem do toho stlpca, stale jednotky tam budem pisat ci keru mariu, omggg to je priklad

Z toho (c/\d) V (-c /\ -d) napises ekvivalentnimi upravami toto (C \/ -D) /\ (D \/ -C) a v rezolucnej pracujes len s (C \/ -D), (D \/ -C)
" Fuck Authority "

smelyzajo

 bv zajtra to asi bude kopec srandy  :ropebanana: