Author Topic: Matematicka logika  (Read 77571 times)

neucilasom

  • Full Member
  • ***
  • Posts: 204
    • View Profile
Re: Matematicka logika
« Reply #50 on: 18.11.2010, 01:19:21 »
A<=>B  je semanticky ekvivalentne s (A=>B) ∧ (B=>A)

F je prazdna rezolventa (klauzula)
ok diky

ursus

  • Hero Member
  • *****
  • Posts: 595
    • View Profile
Re: Matematicka logika
« Reply #51 on: 18.11.2010, 01:42:34 »
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? :D
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?
So this router walks into the doctor’s office…
- Doctor, it hurts when IP.

revelc

  • Sr. Member
  • ****
  • Posts: 275
    • View Profile
Re: Matematicka logika
« Reply #52 on: 18.11.2010, 01:48:46 »
   {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
« Last Edit: 18.11.2010, 02:01:06 by revelc »
Čo môžeš urobiť dnes odlož na pozajtra a ziskaš deň voľna.

"I'm a man of simple tastes. I enjoy dynamite...and gunpowder...and gasoline! "

ursus

  • Hero Member
  • *****
  • Posts: 595
    • View Profile
Re: Matematicka logika
« Reply #53 on: 18.11.2010, 01:53:28 »
preco do toho a-ckoveho riadku nedas do rezolventy c ?
So this router walks into the doctor’s office…
- Doctor, it hurts when IP.

revelc

  • Sr. Member
  • ****
  • Posts: 275
    • View Profile
Re: Matematicka logika
« Reply #54 on: 18.11.2010, 01:59:10 »
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)
Čo môžeš urobiť dnes odlož na pozajtra a ziskaš deň voľna.

"I'm a man of simple tastes. I enjoy dynamite...and gunpowder...and gasoline! "

neucilasom

  • Full Member
  • ***
  • Posts: 204
    • View Profile
Re: Matematicka logika
« Reply #55 on: 18.11.2010, 02:04:07 »
revelc   nevedel by si mi este raz vysvetlit na nejakom priklade co je term a co formula? diky

revelc

  • Sr. Member
  • ****
  • Posts: 275
    • View Profile
Re: Matematicka logika
« Reply #56 on: 18.11.2010, 02:18:39 »
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
Čo môžeš urobiť dnes odlož na pozajtra a ziskaš deň voľna.

"I'm a man of simple tastes. I enjoy dynamite...and gunpowder...and gasoline! "

cenki

  • Guest
Re: Matematicka logika
« Reply #57 on: 18.11.2010, 06:15:47 »
  {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

  • Hero Member
  • *****
  • Posts: 1328
    • View Profile
Re: Matematicka logika
« Reply #58 on: 18.11.2010, 06:16:25 »
hlasujem za kazdu s kazdou...

v_oid

  • Hero Member
  • *****
  • Posts: 631
    • View Profile
Re: Matematicka logika
« Reply #59 on: 18.11.2010, 06:18:46 »
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

  • Sr. Member
  • ****
  • Posts: 275
    • View Profile
Re: Matematicka logika
« Reply #60 on: 18.11.2010, 14:20:40 »
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..
Čo môžeš urobiť dnes odlož na pozajtra a ziskaš deň voľna.

"I'm a man of simple tastes. I enjoy dynamite...and gunpowder...and gasoline! "

Alienson

  • Newbie
  • *
  • Posts: 17
  • http://innerresponse.com/
    • View Profile
    • Inner Response
Re: Matematicka logika
« Reply #61 on: 18.11.2010, 17:29:21 »
ma uz niekto po pisomke ??...hadzte sem typy prikladov  8)

dotko

  • Newbie
  • *
  • Posts: 49
    • View Profile
Re: Matematicka logika
« Reply #62 on: 18.11.2010, 19:40:43 »
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

  • Guest
Re: Matematicka logika
« Reply #63 on: 18.11.2010, 19:44:05 »
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

  • Sr. Member
  • ****
  • Posts: 436
    • View Profile
Re: Matematicka logika
« Reply #64 on: 18.11.2010, 20:24:58 »
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é.
nepíšte mi SS - radšej mi píšte mail. (tá obálka pod mojim avatarom :)))

cenki

  • Guest
Re: Matematicka logika
« Reply #65 on: 18.11.2010, 20:28:11 »
Á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

  • Newbie
  • *
  • Posts: 33
    • View Profile
Re: Matematicka logika
« Reply #66 on: 18.11.2010, 20:30:14 »
Zdravím, neviete ako sa toto zátvorkuje ?
xVy=>z
je to toto ? (xVy)=>z alebo toto ? xV(y=>z) ?

v_oid

  • Hero Member
  • *****
  • Posts: 631
    • View Profile
Re: Matematicka logika
« Reply #67 on: 18.11.2010, 20:31:37 »
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

  • Newbie
  • *
  • Posts: 33
    • View Profile
Re: Matematicka logika
« Reply #68 on: 18.11.2010, 20:32:29 »
ok dík :)

totaluser

  • Hero Member
  • *****
  • Posts: 621
    • View Profile
Re: Matematicka logika
« Reply #69 on: 18.11.2010, 20:37:24 »
vedel by niekto povedat aky vasledok ma byt v priklade 2?
ten minimalny disjunkt tvar

vdaka

Catalina

  • Newbie
  • *
  • Posts: 22
    • View Profile
Re: Matematicka logika
« Reply #70 on: 18.11.2010, 20:48:53 »
ako by ste spravili prvy priklad? bez pouzitia rezolucnej metody (z definicie)

v_oid

  • Hero Member
  • *****
  • Posts: 631
    • View Profile
Re: Matematicka logika
« Reply #71 on: 18.11.2010, 20:52:35 »
ako by ste spravili prvy priklad? bez pouzitia rezolucnej metody (z definicie)

Quote
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

  • Newbie
  • *
  • Posts: 33
    • View Profile
Re: Matematicka logika
« Reply #72 on: 18.11.2010, 21:10:13 »
ešte k tým príkladom .. ako by ste spravili v štvorke C a D ? je to tam nejaké divné

v_oid

  • Hero Member
  • *****
  • Posts: 631
    • View Profile
Re: Matematicka logika
« Reply #73 on: 18.11.2010, 21:36:49 »
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

  • Newbie
  • *
  • Posts: 23
    • View Profile
Re: Matematicka logika
« Reply #74 on: 18.11.2010, 21:40:29 »
prosim vas mohol by niekto napisat ako riesit 6.priklad ???
dakujem