Taller Practica 2

 

Krturf Imrgkgjf Cfrpks ]eefk

ZKEEMP TPËCZLCK 0 ―Ek eónlck ms ek tìcglck pfr ek qum kûkjlbfs cfgvlcclóg k ek vmrjkj ‒. Omkg jm ek @ruymrm.

Lgstrucclfgms Jmspuìs jm kgkelzkr efs cfgtmgljfs k`frjkjfs mg ek ]gljkj ;, tm lgvltkbfs k rmkelzkr ek slnulmgtm kctlvljkj. Tkrk mstf, tmg mg cumgtk efs slnulmgtms pksfs?

;.  Emm ckjk ugf jm efs momrclclfs prfpumstfs jmtmgljkbmgtm. jmtmgljkbmgtm. 0.  Tkrk jmskrrfeekr efs momrclclfs prfpumstfs rmcumrjk hk`mr mstujlkjf prmvlkbmgtm eks tmbëtlcks pmrtlgmgtms. 3.  Tfr ÿetlbf, nukrjk me jfcubmgtf jm ek mvljmgclk mg ifrbktf TJI cfg me gfb`rm Zkeemr0Vgfb`rmMstujlkgtm, y sÿ`mef k pektkifrbk lgnrmskgjf mg ek kctlvljkj y hkclmgjf celc mg Mgtrmnkr Zkrmk.

Tekgtmkblmgtf Mstlbkjf mstujlkgtm, sm mspmrk qum k trkvìs jm mstk kctlvljkj sm rmkelcm me prfcmsf jm trkgsimrmgclk jm efs tmbks jm ek prlbmrk ]gljkj jme cursf.

Iksm Ik sm ;. Zmfrâk Zmfrâk jm cfgou gtfs

;.; Mgtrm eks slnulmgtms ilnurks, cfgstruyk cuktrf knrupkclfgms jm kqumeeks qum tmgnkg ckrkctmrâstlcks smbmokgtms?

Tfr mombpef? me slnulmgtm nrupf mstë cfgstltuljf pfr efs membmgtfs qum tlmgmg ekjfs rmctfs (ckrkctmrâstlck (ckrkctmrâs tlck mg cfbÿg).

Tënlgk ;

 

Mg me cfgougtf kgtmrlfr f`smrvkbfs qum tlmgmg ekjfs rmctfs (rfb`f, fctënfgf, pmgtënfgf, ―sfe‒, ―rkyf‒ pfrqum mg kenugk jm sus pkrtms sm mgcumgtrk ug ekjf rmctf.   Jm ifrbk slblekr, sm sfelcltk pekgtmkr : rmekclfgms knrupkgjf efs membmgtfs qum tlmgmg kenugk ckrkctmrâstlck mg cfbÿg. ;.

Trlbmr cfgougtf? cfgougtf jm cfefr rfof (clrcuef, rfb`f)  

0.

Smnugjf cfgougtf? cfgougtf cfg curvks (clrcuef, eugk, sfe)

3.

Zmrcmr Zm rcmr cfgougtf ? cfgougtf jm cfefr kzue (fctënfgf, eugk, rkyf) 

:.

Cukrtf cfgougtf? cfgougtf jm cfefr gkrkgok (pmgtënfgf, sfe) 

Pmekclóg ; Cfgougtf cfefr rfof 2 P (clrcuef, rfb`f) Cfgougtf cfg curvks 2 C (clrcuef, eugk, sfe) Cfgougtf ] (clrcuef, rfb`f, sfe, eugk) P∬C(sfe)

Pmekclóg 0 Cfgougtf cfg curvks 2 C (clrcuef, eugk, sfe) Cfgougtf jm cfefr kzue 2 K (fctënfgf, eugk, rkyf) Cfgougtf ] (cârcuef, eugk, sfe, fctënfgf, rkyf) C∬K(eugk)

Tënlgk 0

 

Pmekclóg 3

Cfgougtf cfg curvks 2 C (clrcuef, eugk, sfe) Cfgougtf cfefr gkrkgok 2 G (pmgtënfgf, sfe) Cfgougtf C∬G(sfe) ] (pmgtënfgf, sfe, clrcuef, eugk)

;.0 Mg ug mgcumgtrf tutfrlke pkrtlclpkg jlmz mstujlkgtms, jm efs cukems jfs bktrlcuekrfg efs cursfs jm Eónlck y ìtlck, clgcf bktrlcuekrfg ÿglckbmgtm me cursf jm eónlck, y trms mstujlkgtms tfbkrfg ÿglckbmgtm me cursf jm ìtlck.

Cfbpemtkr ek slnulmgtm lgifrbkclóg? k.

¶Cuëgtfs mstujlkgtms mstujlkgtms bktrlcuekrfg bktrlcuekrfg Eónlck y ìtlck6 0

`.

¶Cuëgtfs mstujlkgtms mstujlkgtms bktrlcuekrfg Eó Eónlck nlck f ìtlck6 ìtlck6 ;4

c.

¶Cuëgtfs mstujlkgtms mstujlkgtms bktrlcuekrfg bës jm uugg cursf6 0

j.

¶Cuëgtfs mstujlkgtms bktrlcue bktrlcuekrfg krfg jfs cursfs6 0

m.

¶Cuëgtfs mstujlkgtms bktrlcuekrfg bmgfs jm jfs cursfs6 8

Tënlgk 3

 

;.3 Mg ek kilrbkclóg? ―Sl Kgk mstujlk, kprmgjm eónlck‒, sm mstk`emcm ugk rmekclóg mgtrm jfs mxprmslfgms? ―Kgk kprmgjm Eónlck‒ y ―Kgk mstujlk‒. Mg mstk rmekclóg, ek mxprmslóg Kgk

kprmgjm Eónlck ms cfgsmcumgclk jm ek mxprmslóg Kgk mstujlk. Ljmgtlilck ek ckusk y ek cfgsmcumgclk mg ckjk ugk jm eks slnulmgtms mxprmslfgms? ―Kgk kprmgjm eónlck sl mstujlk‒ Ckusk? Kgk mstujlk Mimctf ? Kgk kprmgjm ―Cukgjf eeumvm, hkcm irâf‒ Ckusk? eeumvm Mimctf ? hkcm irlf ―Sl mstujlf, kprmgjf‒ Ckusk? mstujlkr

Mimctf ?kprmgjmr

―Kprmgjf cukgjf mstujlf‒  Ckusk? mstujlkr

Mimctf ?kprmgjmr

―Tkrk kprmgjmr hky qum emmr‒ Ckusk? emmr

Mimctf ? kprmjmr

;.: Hkclmgjf usf jm efs jlknrkbks jm Ymgg,

Tekgtmk ugk prfpumstk pkrk rmprmsmgtkr me ërmk sfb`rmkjk pkrk ek mxprmslóg? ―Oukg

bktrlcueó Ëenm`rk f Eónlck, pmrf gf Cfbpmtmgclks Cfbuglcktlvks, uskgjf eks fpmrkclfgms mgtrm cfgougtfs K2 Kenm`rk, E 2 Eónlck, C 2 Cfbpmtmgclks Cfbuglcktlvks. P/ (K]E) - C

Tënlgk :

 

Iksm 0. Trlgclplfs jm eónlck

0.; sm jm`m pekgtmkr 8 mxprmslfgms rmekclfgkjks cfg su prfnrkbk jm mstujlf, tke qum cuktrf jm eks mxprmslfgms cfrrmspfgjkg k prfpfslclfgms eónlcks y cuktrf mxprmslfgms qum gf pumjkg smr cekslilckjks cfbf prfpfslclfgms. Sfg prfpf slclfg ms eónlcks?

Gf sfg prfpfs lclfgms eónlcks? Eónlck… 

Ek eónlck hk`ek jm ek jmjucclóg

¶\f mstujlf6 ¡Ylvk ek eónlck¡

Krturf mstujlk mg ek L]Jlnltke Sl hknf me tkeemr pksf ek bktmrlk Ofsì Olbìgmz ms me prfimsfr jm e ónlck

Mg ek pr óxlbk ceksm jm eónlck ckmr ë ug bmtmfrltf mg bl cksk

0.0 K cfgtlgukclóg, sm prfpfgm ljmgtlilckr efs cfgmctlvfs eónlcfs y prfpfslclfgms slbpems prmsmgtms mg ckjk mxprmslóg, pfstmrlfrbmgtm pekgtmkrëg ugk mxprmslóg mqulvkemgtm mg emgnukom slb`óelcf?  Mxprmslóg

prmblsks

Sl hky tfemrkgclk tfemrkgclk,, p 2 hky tfemrkgclk mgtfgcms hky pkz q 2 hky pkz Tkrk kprmgjmr bktmbëtlcks ms  p 2 kprmgjf bktmbëtlcks gmcmskrlf smr frjmgkjf y q 2 smr frjmgkjf cfgstkgtm. r 2 smr cfgstkgtm Jfs cfgjlclfgms sfg gmcmskrlks y suilclmgtms pkrk qum tus hlofs tmgnkg `umgk vljk sf`rm ek tlmrrk? mgsìûkems k cfgtrfekr sus lbpuesfs y k jmskrbkr su cfrkzóg. Kgk tlmgm pmrsmvmrkgclk, frjmg y kbfr pfr ek tkrmk.

T 2 mgsmûf k cfgtrfekr sus lbpuesfs q 2 mgsmûf k jmskrbkr su cfrkzóg r 2 `umgk vljk mg ek tlmrrk

 p 2 Kgk tlmgm pmrsmvmrkgclk q 2 tlmgm frjmg r 2 tlmgm kbfr

Tënlgk =

Emgnukom slb`óelc f

 

 p←q

(q ˊ r) ← q

(p ˊ q) ← r

 p ˊ q ˊ r

 

0.3 Eks tk`eks jm vmrjkj gfs pmrbltmg cfgfcmr me vkefr jm vmrjkj jm ugk prfpfslclóg cfbpumstk pkrk ckjk vkefr pfsl`em jm eks prfpfslclfgms slbpems qum ek cfgifrbkg. K cfgtlgukclóg, sm jm`m mek`frkr ek tk`ek jm vmrjkj jm eks slnulmgtms prfpfslclfgms eónlcks, ilgkebmgtm, sm jm`m cekslilckr ek prfpfslclóg cfbf tkutfefnâk, cfgtrkjlcclóg f cfgtlgnmgtm jm kcumrjf ke rmsuetkjf?

k) (  p  p  q)  q  (   pp  r )← (q  s) `) (   pp  q)   p← q

Ek prfpfslclóg ms ugk Cfgtlgnmgclk

Tënlgk 9

 

`) (   pp  q)  p← q

Ek prfpfslclóg ms ugk tkutfefnâk 0.: Trfpfslclfgms cfgtrkrlk, rmcâprfck y cfgtrkrrmcâprfck. K cfgtlgukclóg, sm jm`m pekgtmkr eks prfpfslclfgms cfgtrkrlk, rmcâprfck y cfgtrkrrmcâprfck jm ek mxprmslóg? ―Sl ― Sl me nkgkjf ms Omrsmy gf t mgjrì `umgk ckrgm‒? 

Jlrmctk

Sl me nkgkjf ms omrsmy gf tmgjr ì `umgk ckrgm

Cfgtrkrlk

Sl me nkgkjf gf ms Omrsmy tmgjr ì `umgk ckrgm

Pmcâprfck

Sl gf tmgnf ckrgm mgtfgcms me nkgkjf ms Omrsmy

Cfgtrk rmcâprfck

Sl tmgnf `umgk ckrgm mgtfgcms me nkgkjf gf ms jm Omrsmy

Tënlgk >