Author Topic: Matematická Logika  (Read 38493 times)

SteLa

  • Full Member
  • ***
  • Posts: 128
    • View Profile
Re: Matematická Logika
« Reply #275 on: 02.01.2012, 22:38:23 »
Nema niekto vypracovanu 10. otazku z pdfka teorie konkretne z casti predikatova logika? nie je mi jasna interpretacia konkretneho prikladu. Prosiim

Rajo

  • Sr. Member
  • ****
  • Posts: 346
    • View Profile
Re: Matematická Logika
« Reply #276 on: 03.01.2012, 03:41:58 »
Koľká snaha o tento predmet :emot-dance:

SteLa

  • Full Member
  • ***
  • Posts: 128
    • View Profile
Re: Matematická Logika
« Reply #277 on: 03.01.2012, 03:49:04 »
nj.. tak diki za pomoc^^

Zeusetdeus

  • Newbie
  • *
  • Posts: 14
    • View Profile
Re: Matematická Logika
« Reply #278 on: 03.01.2012, 06:36:50 »
Mam otazku ohladom prenexneho tvaru formuly. Dajme tomu, ze dostanem formulu, ktora pozostava z nejakych podformul, medzi ktorymi su spojky V a ^ a kazda ma nejaky kvantifikator pred sebou. V akom poradi vyberam tieto kvantifikatory dopredu ak su vsetky rovnako hlboko vnorene?
Lebo potom pri skolemizacii vychadzaju vzdy ine formuly, podla toho v akom poradi su kvantifikatory.
(Tajne ocakavam, ze to je jedno)

xxx3

  • Hero Member
  • *****
  • Posts: 1010
    • View Profile
Re: Matematická Logika
« Reply #279 on: 03.01.2012, 21:25:16 »
ked mas napr. (x v y) (Ex)(Vy)(Ez)(x v y v z) tak tie tri kvantifikatory musis vybrat dopredu v takom istom poradi v akom su, vlastne vzdy, aj ked nie su rovnako vnorene na rovnakej urovni ajtak musis tie kvantifikatory vyberat v takom poradi v akom su z lava, nemozes ich prehadzovat

Zeusetdeus

  • Newbie
  • *
  • Posts: 14
    • View Profile
Re: Matematická Logika
« Reply #280 on: 03.01.2012, 22:20:26 »
Myslel som ked mas pred kazdou podformulov prave jeden kvantifikator. Napriklad  [(Ex)(x v y) ^(Vy)(x v y v z)]. 

xxx3

  • Hero Member
  • *****
  • Posts: 1010
    • View Profile
Re: Matematická Logika
« Reply #281 on: 04.01.2012, 03:36:20 »
tak ich vyberas v takom poradi v akom su z lava, cize najskor vyberies (Ex) potom (Vy) .. ze budes mat pred celym vyrazom  (Ex)(Vy)[...]

Rajo

  • Sr. Member
  • ****
  • Posts: 346
    • View Profile
Re: Matematická Logika
« Reply #282 on: 04.01.2012, 16:35:09 »
a už máme verdikt na MAIS-e slečny  :beer1:

Domino_666

  • Jr. Member
  • **
  • Posts: 88
    • View Profile
    • Dudo Aliens Racing Team
Re: Matematická Logika
« Reply #283 on: 04.01.2012, 16:53:45 »
E51  ;D bu :evica: bp

SteLa

  • Full Member
  • ***
  • Posts: 128
    • View Profile
Re: Matematická Logika
« Reply #284 on: 05.01.2012, 03:01:10 »
nema niekto prefotene/prepisane zadania?:)

veteran

  • Hero Member
  • *****
  • Posts: 956
    • View Profile
Re: Matematická Logika
« Reply #285 on: 09.01.2012, 18:20:33 »
Mal by som takúto otázočku:

Ide o tretiu úlohu, čo bola na skúške u Myškovej - rezolučná metóda, tá s dovolenkármi... Urobím rezolučnú metódu a na záver dopíšem tie šípky. Ako z toho potom zistím aspoň jedno zloženie účastníkov výletu?  ???

BlackBerry

  • Jr. Member
  • **
  • Posts: 73
    • View Profile
Re: Matematická Logika
« Reply #286 on: 09.01.2012, 22:51:53 »
Mal by som takúto otázočku:

Ide o tretiu úlohu, čo bola na skúške u Myškovej - rezolučná metóda, tá s dovolenkármi... Urobím rezolučnú metódu a na záver dopíšem tie šípky. Ako z toho potom zistím aspoň jedno zloženie účastníkov výletu?  ???
Ked spravis ohodnotenie...a kde budes mat 1 napr(danka a janka)...potom na vylet pojde danka a janka

Hessesian

  • Newbie
  • *
  • Posts: 49
    • View Profile
Re: Matematická Logika
« Reply #287 on: 10.01.2012, 04:49:12 »
Vie sem niekto hodit vypocitany priklad z knihy 3.33 ? Typu "kazde dozrete jablko je zdrave - nie kazde cervene jablko je zdrave | nie kazde cervene jablko je dozrete " ?

Neviem stym pohnut... potreboval by som vidiet vypocitany priklad

veteran

  • Hero Member
  • *****
  • Posts: 956
    • View Profile
Re: Matematická Logika
« Reply #288 on: 10.01.2012, 16:57:00 »
Mal by som takúto otázočku:

Ide o tretiu úlohu, čo bola na skúške u Myškovej - rezolučná metóda, tá s dovolenkármi... Urobím rezolučnú metódu a na záver dopíšem tie šípky. Ako z toho potom zistím aspoň jedno zloženie účastníkov výletu?  ???
Ked spravis ohodnotenie...a kde budes mat 1 napr(danka a janka)...potom na vylet pojde danka a janka
Dík  :) :beer1:

veteran

  • Hero Member
  • *****
  • Posts: 956
    • View Profile
Re: Matematická Logika
« Reply #289 on: 10.01.2012, 17:11:10 »
Vie sem niekto hodit vypocitany priklad z knihy 3.33 ? Typu "kazde dozrete jablko je zdrave - nie kazde cervene jablko je zdrave | nie kazde cervene jablko je dozrete " ?

Neviem stym pohnut... potreboval by som vidiet vypocitany priklad

Hessesian

  • Newbie
  • *
  • Posts: 49
    • View Profile
Re: Matematická Logika
« Reply #290 on: 10.01.2012, 20:22:21 »
ako si dostal z  V(x)(negP(x) v negZ(x)) klauzulu D ?

veteran

  • Hero Member
  • *****
  • Posts: 956
    • View Profile
Re: Matematická Logika
« Reply #291 on: 10.01.2012, 20:28:54 »
ako si dostal z  V(x)(negP(x) v negZ(x)) klauzulu D ?
Nejak extra dobre tomu nerozumiem, ale tak sme to robili na cvičení. Odstránili sa tie dve negácie a z (P(x)' ∨ Z(x)') vzniklo (P(x) ∧ Z(x)). No a ešte sa zamenila premenná x za y (ale prečo sa to robí, neviem  ???).

Hessesian

  • Newbie
  • *
  • Posts: 49
    • View Profile
Re: Matematická Logika
« Reply #292 on: 10.01.2012, 20:50:24 »
Po dlhsom dumani som to pochopil :D Je tam vela sraciek okolo toho, ale princip pri takychto ulohach je zda sa jednoduchy.

To pod ciarou sa zneguje, odignoruju sa kvantifikatory a premenne vo vnutri, a ked ma kazda formula niekde negaciu, tak je usudok spravny, a ked daco nema svoju negaciu, je usudok nespravny :P tj P'vZ, Z', P, kazde ma svoju negaciu tympadom je usudok spravny... Ale normalne to clovek vysvetlene v ucebnici nenajde...

veteran

  • Hero Member
  • *****
  • Posts: 956
    • View Profile
Re: Matematická Logika
« Reply #293 on: 10.01.2012, 20:59:33 »
Po dlhsom dumani som to pochopil :D Je tam vela sraciek okolo toho, ale princip pri takychto ulohach je zda sa jednoduchy.

To pod ciarou sa zneguje, odignoruju sa kvantifikatory a premenne vo vnutri, a ked ma kazda formula niekde negaciu, tak je usudok spravny, a ked daco nema svoju negaciu, je usudok nespravny :P tj P'vZ, Z', P, kazde ma svoju negaciu tympadom je usudok spravny... Ale normalne to clovek vysvetlene v ucebnici nenajde...
Obávam sa, že tvoja teória nie je správna :D Úsudok je správny, ak na konci neodvodíme nijakú rezolventu (resp. odvodíme prázdnu rezolventu - F).

Pozri príklad 3.33 f)
« Last Edit: 10.01.2012, 21:02:12 by veteran »

Hessesian

  • Newbie
  • *
  • Posts: 49
    • View Profile
Re: Matematická Logika
« Reply #294 on: 10.01.2012, 21:26:35 »
Jakze neni spravny, ved prave to ze odvodime prazdnu rezolventu, tj ked sa pozries na ten zapis, mas tam neg F(x) a v C: F(b), potom mas F(o(x)) a neg F(o(x)), staci to vyskrtat a ak ti nic nezostane, tak je usudok spravny :P Ostatne je uz len formalny zapis

veteran

  • Hero Member
  • *****
  • Posts: 956
    • View Profile
Re: Matematická Logika
« Reply #295 on: 10.01.2012, 21:31:54 »
Jakze neni spravny, ved prave to ze odvodime prazdnu rezolventu, tj ked sa pozries na ten zapis, mas tam neg F(x) a v C: F(b), potom mas F(o(x)) a neg F(o(x)), staci to vyskrtat a ak ti nic nezostane, tak je usudok spravny :P Ostatne je uz len formalny zapis
Jaj taáák. Už som pochopil, čo myslíš ;) Ale si si to riadne zjednodušil :D Napíš jej aj do teórie "tam toto vyškrtáme a keď nič nezostane..." :D Ja som tak podobne nematematicky napísal odôvodnenie na zápočtovke a uznala mi ho :D

kepasa

  • Newbie
  • *
  • Posts: 24
    • View Profile
Re: Matematická Logika
« Reply #296 on: 18.01.2012, 18:34:14 »
nevie niekto, kto bol dnes na skuske, kedy a kde je zajtra vyhodnotenie?

strapec111

  • Newbie
  • *
  • Posts: 39
    • View Profile
Re: Matematická Logika
« Reply #297 on: 19.01.2012, 10:02:50 »
nevie niekto, kto bol dnes na skuske, kedy a kde je zajtra vyhodnotenie?

12.00 katedra matematiky