Matematicka logika

[totaluser]

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]

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]

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

hmm?

[neucilasom]

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? 

[ursus]

v jazyku s rovnostou je = binarny predikat ?

[Mattias777]

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]

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) musis pouzit funkciu....ak je f binarna, tak robi sucet dvoch cisel...

[Robokop]

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) 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

[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

[Mattias777]

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]

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]

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  ?
"..unarnym funkcnym symbolom: f - pripadi prirodz. cislu jeho druhu mocninu a binarnym funkcnym symbolom + pre scitanie"

[neucilasom]

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

[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

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?  

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

[Mattias777]

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  ?
"..unarnym funkcnym symbolom: f - pripadi prirodz. cislu jeho druhu mocninu a binarnym funkcnym symbolom + pre scitanie"

a vazne 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 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]

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

toto sa mi najviac paci

[Mattias777]

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.. 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

[ursus]

zevraj kazdy s kazdym a tautologie ignorujem a nedam ich do rezolucnej

[Mattias777]

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]

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

[Ragnol]

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)

[smelyzajo]

  zajtra to asi bude kopec srandy