Matematicka logika

[neucilasom]

A<=>B  je semanticky ekvivalentne s (A=>B) ∧ (B=>A)

F je prazdna rezolventa (klauzula)

ok diky

[ursus]

okej k tej rezolucnej napr.
   {a V b; -b V c}
b      1        0     a V c          // teraz este mozem vybrat a alebo c? ok vyberiem a
a                         1    c
c                               1  F

cize henta mnozina je nesplnitelna ? ale ked si to spravim napr cez normalnu tabulku tak mi vyjde daco ine, ci to je uplne ina vec?
a b c  a V b  -b V c
1 1 1    1          1
1 1 0    1          0
1 0 1    1          1
0 1 1    1          1
1 0 0    1          1
0 1 0    1          0
0 0 1    0
0 0 0    0

cize existuje riadok ktory ma same jednotky, cize podla tohto by mala byt splnitelna ne?

[revelc]

   {a V b; -b V c}
b      1        0     a V c          //"kombinujem" nulu s jednotkou, ostava a V c
a      x        x         1           //davam xka aby som sa neplietol ci tam mozem dat daco //pod ceckom neni neg. takze napisem 1
c      x        x         x        

nevyslo F => je splnitelna

[ursus]

preco do toho a-ckoveho riadku nedas do rezolventy c ?

[revelc]

to by tam musela byt na riadku b nejaka negacia a, cize by pod tym bolo nula, a mohol by som skombinovat 0 (neg. a) a 1 (a)

[neucilasom]

revelc   nevedel by si mi este raz vysvetlit na nejakom priklade co je term a co formula? diky

[revelc]

v zbierke je taky jeden priklad kde to je popisane:


2.12 V jazyku s P = {P, Q, =}, F = {f, g} a K = {a, b}, pričom Q, f
sú binárne a P, g unárne pre nasledujúce slová určte, či sa jedná o term,
alebo formulu predikátovej logiky, alebo to nie je ani term ani formula:

a) f (x, g(a)) · g(f (g(y), a))
b) f (a, x) · y = Q(z, b)
c) (∃x)Q(x, a) ⇒ y = z · a
d) (∀x)(x ∧ y ∨ z)
e) f (b, x) · g(f (a, y))
f) (∃y)[Q(a, P (y)) ∨ ¬(x = y)
g) g(a) · f (y, b) = z
h) f (g(x), f (y, a), y))

riesenie:
a) term; lebo mas tam len tie funkcne symboly , plus sedi arita
b) nie je term ani formula; lebo rovna sa je predikatovy symbol a aj Q je predikatovy symbol a nemoze byt v pred. symbole pred. symbol.
c) formula; lebo je tam pred. symbol a v nom su termy
d) nie je term ani formula;
e) term;
f) nie je term ani formula; lebo v Qcku je Pecko
g) formula; lebo je tam pred. symbol rovna sa
h) nie je term ani formula. ; lebo nesedi arita efka

[cenki]

  {a V b; -b V c}
b      1        0     a V c          //"kombinujem" nulu s jednotkou, ostava a V c
a      x        x         1           //davam xka aby som sa neplietol ci tam mozem dat daco //pod ceckom neni neg. takze napisem 1
c      x        x         x        

nevyslo F => je splnitelna

Taká otázka... ak dostanem 1 0 0, alebo 1 1 0, alebo 1 1 0 0, tak ako to kombinujem? Vezmem stále jednu jednotku so všetkými nulami, alebo vždy len jednu jednotku a jednu nulu (v podstate každá s každou)?

[Safyia]

hlasujem za kazdu s kazdou...

[v_oid]

pomalsie s tym 'kazda s kazdou' :-D

ja mam dojem, ze tie 1/0 su ako pohlavia. Sice kazdy s kazdym, ale ziadne gay pary.

[revelc]

pomalsie s tym 'kazda s kazdou' :-D

ja mam dojem, ze tie 1/0 su ako pohlavia. Sice kazdy s kazdym, ale ziadne gay pary.

presne tak..

[Alienson]

ma uz niekto po pisomke ??...hadzte sem typy prikladov 

[dotko]

teraz som dopisal.. nesfotil som to ale mam mam foto prikladov co boli minuly rok a typovo su presne take iste.. presne toto, presne 6 prikladov, myslim ze aj zaradom idu tak ako na tomto obrazku.. vela zdaru

http://uploader.imghost.sk/imagehosting/wgoue0zeis7skjl6x9d.jpg

[cenki]

teraz som dopisal.. nesfotil som to ale mam mam foto prikladov co boli minuly rok a typovo su presne take iste.. presne toto, presne 6 prikladov, myslim ze aj zaradom idu tak ako na tomto obrazku.. vela zdaru

http://uploader.imghost.sk/imagehosting/wgoue0zeis7skjl6x9d.jpg

Nevyzerá to ťažko dáko... snáď to zajtra dám

[Shwollo]

mam zadany normalny konjutívny tvar (x v !y v z v !t) tak je to 0101?
mam zadany normalny dizjunktívny tvar (x ^ !y ^ z ^ !t) tak je to 1010?
to s výkričníkom je negované.

[cenki]

Áno tak, lebo NKT je z elementárnych dizjunkcií a tie sú pri nule. A ak vyberáš nulu tak premenné berieš ako nenegované pri nule a ako negované pri jednotke.
Pri NDT podobne.

[Eriik]

Zdravím, neviete ako sa toto zátvorkuje ?
xVy=>z
je to toto ? (xVy)=>z alebo toto ? xV(y=>z) ?

[v_oid]

Zdravím, neviete ako sa toto zátvorkuje ?
xVy=>z
je to toto ? (xVy)=>z alebo toto ? xV(y=>z) ?

(x ∨ y) ⇒ z

Dizjunkcia je prioritnejsia ako implikacia.

[Eriik]

ok dík

[totaluser]

vedel by niekto povedat aky vasledok ma byt v priklade 2?
ten minimalny disjunkt tvar

vdaka

[Catalina]

ako by ste spravili prvy priklad? bez pouzitia rezolucnej metody (z definicie)

[v_oid]

ako by ste spravili prvy priklad? bez pouzitia rezolucnej metody (z definicie)

Hovoríme, že formula φ je sémantickým dôsledkom množiny formúl S (vyplýva z množiny formúl S), keď je pravdivá pri každom ohodnotení výrokových premenných, pri ktorom je pravdivá každá formula z množiny S.

Zapises do tabulky vsetky definicie a zistis ci formula je pravdiva pri tych ohodnoteniach, kedy su pravdive vsetky formuly z mnoziny.

[Eriik]

ešte k tým príkladom .. ako by ste spravili v štvorke C a D ? je to tam nejaké divné

[v_oid]

ešte k tým príkladom .. ako by ste spravili v štvorke C a D ? je to tam nejaké divné

Co je na tom divne:

C. Existuje clovek, ktoreho otec je hudobnik a matka nie je maliarka.
D. Kazdy koho otec nie je hudobnik je matka maliarka.

[ghost]

prosim vas mohol by niekto napisat ako riesit 6.priklad
dakujem