Matematická Logika

[Rajo]

(x v y) => t  l=l   neg (x v y) v t   l=l  (negX ^negY) v t  l=l  (negX v t) ^ (negY v t) ?

[Rajo]

ano tak to mam, Rajo ... ale odkial mate 9 ci 10 formul ?? Ja mam len 7

to čo som písal vyššie tak v tom máš už hned 2 formuly ... tie disjunkcie 2...dalsie mi vychadzaju takto:
z ^ negT => u v x  l=l   z ^ (t v u v x) - z je tretia, a (t v u v x) je štvrtá...
z <=> u l=l (z => negU) ^ (negU => z) l=l (negZ v negU) ^ (u v z) - dalsie 2=6
neg (x => u) l=l  neg (negX v u) l=l x ^ negU (nerobim tu chybu? tu mám tiež 2 formuly)
negY => u l=l y v u - dalsia
a posledná je samotná, čiže negT ... kde mám chybu ?

[Tren]

(x v y) => t  l=l   neg (x v y) v t   l=l  (negX ^negY) v t  l=l  (negX v t) ^ (negY v t) ?

spravne

[Tren]

ano tak to mam, Rajo ... ale odkial mate 9 ci 10 formul ?? Ja mam len 7

to čo som písal vyššie tak v tom máš už hned 2 formuly ... tie disjunkcie 2...dalsie mi vychadzaju takto:
z ^ negT => u v x  l=l   z ^ (t v u v x) - z je tretia, a (t v u v x) je štvrtá...
z <=> u l=l (z => negU) ^ (negU => z) l=l (negZ v negU) ^ (u v z) - dalsie 2=6
neg (x => u) l=l  neg (negX v u) l=l x ^ negU (nerobim tu chybu? tu mám tiež 2 formuly)
negY => u l=l y v u - dalsia
a posledná je samotná, čiže negT ... kde mám chybu ?

mas tu dost chyb takze zaradom...tamto si mal spravne..
prvy : (z ^ !T )=> (u v x) l=l !(z^!t) v ( u v x) l=l !z v t v u v x
druhy: z <=> u l=l (z=>u) ^ (u=>z) l=l (!z v u ) ^ (!u v z)
treti : mas dobre x ^ negU
stvrty : mas dobre y v u

[Wolfdale]

Jj, Tren to opravil spravne

[orsi]

W(X) ^ W(y) => (pre vsetky x)(x |> y => (existuje y)(y |>x))
a) ci f(x,y) je substituovatelny za y
b) ci f(x,y) je substituovatelny za x

ako to ma byt??

[Wolfdale]

netrvrdim to na 100% ale ja som to zrobil takto:

     f           f                               b     f                           b    b
W(x) ^ W(y) => (pre vsetky x)(x |> y => (existuje y)(y |>x))

a substituovat mozes len volne vyskyty...
takze po:
a) f(x,y) za y:
                   f  f                                         b f
W(x) ^ W(f(x,y)) => (pre vsetky x)(x |> f(x,y) => (existuje y)(y |>x))
nie je substituovatelny

b) f(x,y) za x:
       f  f
W(f(x,y)) ^ W(y) => (pre vsetky x)(x |> y => (existuje y)(y |>x))
je substituovatelny

[Rajo]

                            b f          b  f                                   b         f   b    b
((pre vsetky x) Q(x,y) v P(f(x,y))) <=> (existuje y)(P(y) v Q(x,f(y,g(y))))

tak je? 

[esperian]

ja by som sa chcel spytat taku teoretickejsiu otazku xDD

kolko pripadov moze nastat pri rez. metede ??
tak laicky povedane,

ak pri poslednej premennej ostane z tej premennej 0 aj 1 - vtedy je system sporny alebo nesplnitelny (F).
ak pri poslednej premennej ostane z tej premennej len jednotka alebo nula, vtedy aj tie premenne ohodnotime- cize system je splnitelny.

a potom ak zistujeme ci je dosledkom niecoho,
tak zase nastane pripad ze ostane v poslednom riadku len 0 alebo 1- co znamena ak ostane 0 a co ak jednotka ?
moze tu este nieco nastat ?

[Wolfdale]

                            b f          b  f                                   b         f   b    b
((pre vsetky x) Q(x,y) v P(f(x,y))) <=> (existuje y)(P(y) v Q(x,f(y,g(y))))

tak je? 

yep

[Rajo]

                            b f          b  f                                   b         f   b    b
((pre vsetky x) Q(x,y) v P(f(x,y))) <=> (existuje y)(P(y) v Q(x,f(y,g(y))))

tak je? 

yep

a) keď term f(x,y) nahradím za x tak z toho vyplýva že sa y stane viazanou => nie je substituovatelný
b) keď term f(y,a) , a je konštanta, nahradím za y tak sa po dosadeni y nestane viazanou => bude substituovatelný

hejže

[Wolfdale]

áno 

[orsi]

nemohol by niekto vyratať tu rezolucnu metodu, z toho zapoctu co koluje facebookom skupina A. odfotiť a postnuť sem. mne to nevychadza.

[Wolfdale]

mne to vyslo takto za 5 min:

- 7 formul
- poradie ako som bral premenne: s, t, p, q, r
- na r-ko mi vyslo 0

[veteran]

niekto šikovný kto by vypočítal tretí príklad s tou rezolučnou metódou? mne vyšlo, že je nesplnitelná, na konci mi vyšlo F...a do tabulky som po úprave implikácií a ekvivalencií zapísal 10 formul...

aj mne vyslo F ( mam len 9 formul )

9 formúl a F-ko. V podstate stačí aj 7 formúl, nakoľko neg(z) v u a z v neg(u) je vlastne tautológia.

[ultimate]

A / 4 / c - Niekto má rád všetkých ľudí .... to bude ako ?

takto? (Ex)(Vy)(R(x,y))  ? Ci nie ?  / E - existuje, V - pre vsetky

[Rajo]

nemohol by niekto vyratať tu rezolucnu metodu, z toho zapoctu co koluje facebookom skupina A. odfotiť a postnuť sem. mne to nevychadza.

mne tam vychádza tautológia 

[ultimate]

aj mne ... ale ked das poradie s, t, p, q, r tak to vyjde riadne .. zaujimave

[Rajo]

aj mne ... ale ked das poradie s, t, p, q, r tak to vyjde riadne .. zaujimave

pri poradi p, s, t, r vychádza 2x za sebou T (q v !q)

[veteran]

Mohol by tu niekto hodiť tú druhú skupinu z FB? Vopred díík 

[veteran]

aj mne ... ale ked das poradie s, t, p, q, r tak to vyjde riadne .. zaujimave

Ja som dal také poradie a vychádza mi 2×tautológia...

http://imageshack.us/photo/my-images/337/fotografia1255.jpg/

[ultimate]

veteran - riadok s "t" mas zle ... tam ti ostane q v (neg)q v t  ... a to je tautologia

// sry, o riadok nizsie mas chybu

[Hessesian]

Tie posledne dve ulohy z testu na predoslej stranke ale nebudu ne ?

[veteran]

veteran - riadok s "t" mas zle ... tam ti ostane q v (neg)q v t  ... a to je tautologia

No však to tam mám napísané. A pod tým je napísané "T" a pod téčkom tom mám vyškrtané.

[veteran]

Tie posledne dve ulohy z testu na predoslej stranke ale nebudu ne ?

Nie, väčšina skupín to neprebrala na cvičení (kvôli 17.11.)