Capitulo 3 Introduccion A La Lógica de Programación

 

PHNS@Z[NMGM PHNS@Z[NM GM GP]IHIBG M@ WP@Z@]GZI CGKPA GKPA]GM M@ NH NHCIZ CIZBG BG]N ]NKG KG

Nhtrimukknûh g ag aûenkg m`  priergbgknûh

 

Aûenkg Zgzihgr

@s irm`hgr nm`gs pgrg aa`egr g uhg kihkausnûh

Trik`sgr

@s `o`kutgr uhg s`rn` m` gkvnmgm`s nht`rrr`agknihgmgs nht`rrr `agknihgmgs `htr` sâ qu` pr`t`hm`h uh ijo`vi kibÿh.

Ag aûenkg `s ag kn`hkng qu` `stumng `a prik`si m` rgzihgr.

 

Aûenkg •

@s ag kn`hkng qu` `stumng ags gkvnmgm`s qu` r`ganzgbis pgrg irm`hgr hu`strgs nm`gs y aa`egr g uhg kihkausnûh.

Kibi [`r bçs aûenkis9

@mukghmi ga p`hsgbn`ht p`hsgbn`hti i pgrg qu` rgzih` m` gku`rmi g kn`rtgs r`eags6 kih `aai pimr`bis s`r bçs `ckn`ht`s ga bib`hti `h qu` irm`hgbis hu`strgs nm`gs y sgjr`bis kûbi uanzgrags b`oir. b`oir.

 

[naiensbis, pripisnknih`s y  pr`bnsgs

[naiensbi

Greub`hti qu` kihstg m` tr`s i bçs pripisnknih`s, ag ÿabg m` ags kuga`s s` m`muk` m` ags itrgs.

Mihm` greub`hti  `s uh snst`bg m` `hukhngmis `xpr`sgmis `h uh a`heugo` m`t`rbnhgmi, uh `huhkngmi `s uhg kihkausnûh y `a r`sti r`sti sih pr`bnsgs. pr`bnsgs.

@huhkngmi

@xpr`snûh anheuâskg qu` `stgja`k` uh p`hsgbn`hti kibpa`ti.. Tu`m`h s`r ? Nht`rriegvis Nbp`rgvis m`kagrgvis • • •

 

•

Phg  pripisnknûh  t`rbnhg sn`hmi uhg gcrbgknûh i h`egknûh kihs kihstrunmg trunmg `h

irbg m` s`ht`hkng (suo`ti y pr`mnkgmi).

@o`bpai? [naiensbi

]imis ais p`rris sih bgbâ`ris Cnmi `s p`rri ∃ Cnmi `s bgbâ`ri

Tr`bnsg bgyir Tr`bnsg b`hir Kihkausnûh

 

Kganmgm m` ags pr`bnsgs y ags •

kihkausnih`s Ag kganmgm m` ags pr`bnsgs m`p`hm` m` su gp`ei g ag r`ganmgm, y pu`m`h s`r m`a sne. bimi? Cgasgs (C) [n ag pr`bnsg hi r`sp`tg g ag r`ganmgm

•

S`rmgm`rgs (v) [n ag pr`bnsg r`sp`tg g ag r`ganmgm

Ag kganmgm m` uhg kihkausnûh m`p`hm` m`a ergmi `h qu` `s m`t`rbnhgmg pir ags pr`bnsgs, y pu`m`h s`r m`a sne. bimi? Nhkirr`ktgs (N) [n ags pr`bnsgs hi pripirknihgh timis ais `a`b`htis pgrg nh`rnr uhg kihkausnûh

Kirr`ktgs (K) [n ags pr`bnsgs pripirknihgh timis ais `a`b`htis pgrg nh`rnr ag kihausnûh.

 

@o`bpai?

]imis ais p`rris sih bgbâ`ris Cnmi `s p`rri ∃ Cnmi `s bgbâ`ri

S

]imis ais p`rris sih bgbâ`ris Cnmi `s bgbâ`ri

S

∃ C

nmi `s bgbâ`ri

S S

^ K

S S

^ N

 

 Aûenkg m` priergbgknûh •

@s ag lgjnanmgm p`hsgr m` bgh`rg rgzihgmg, snst`bçkg y irm`hgmg, qu` his lgk` kgpgk`s m` nh`rnr gaeirntbis gjstrgktis y siauknih`s g prija`bgs m` h`eiknis, qu` çknab`ht` pu`m`h s`r nbpa`b`htgmgs g trgvîs m` kûmnei `skrnti `h uh a`heugo` m` priergbgknûh m`t`rbnhmgi. m`t`rbnhmgi.

•

Ph mgti m` `htrgmg? `s gquîa qu` s` `a pripirknihg g uh prik`si pgrg qu` e`h`r` mgtis m` sganmg. •

Trik`si? `s `a kihouhti kihouhti m` ip`r ip`rgknih`s gknih`s grb`ki/aûenkgs grb`ki/aûenkgs g ags qu` sih sib`mis ais mgtis m` `htrgmg .

 

Cnhganmgm m` ais `huhkngmis `h `a •

 prik`si Ph prik`si pu`m` aa`egr g s`r uh piki kibpankgmi, pir ai qu` `s pisnja` mnvnmnr ags pr`bnsgs m` tga irbg m` tga irbg irbg qu` his m`h uh bgrki m` r` r``r`hkngs `r`hkngs bgstga kagri.

•

Ag chganmgm m` ais `huhkngmis pu`m pu`m` ` nm`hckgrs` m` ag sne. bgh`rg? 7. @h @huh uhkn kngm gmis is m m` ` gs gsne nehg hgkn knûh ûh m m` `v vga gair ir`s `s?? i

 Mgh g kihik`r mgtis kuyi vgair pu`m` s`r vgrngja`.

i

His aa`vg g ag r`kia`kknûh m`a mgti.

 

:.--@huhkngmis m` vgair pr``xnst`ht`? :. Mgh g kihik`r mgtis kuyi vgair `s gk`ptgmi, y qu` hi `s h`k`sgrni pr`euhtgr. ;.-@huhkngmis m` kçakuai?

[ih gqu`aais qu` nhviaukrgh uhg ip`rgknûh `htr` mgtis kihiknmis. =.-@huhkngmis kihmnknihga`s?

[ih gqu`aais qu` privikgh uh kçakuai i gsnehgknûh m`p`hmn`hmi m` uh ounkn ounkni i m` vgair vgair.. 0.-@huhkngmi m` r`suatgmi?

[ih gqu`aais `huhkngmis m` gsnehgknûh m` vgair`s, primukti m` ag gpankgknûh m` ais `huhkngmis m` kçakuai.

 

•

@h uh priergbg ai bçss kibÿh `s qu` s` r`kipna` nhirbgknûh (`huhkngmi m` gsnehgknûh m` vgair`s), qu` s` kibpa`b`ht`h kih r`eags e`h`rga`s (vgair`s pr``xnst`ht`s), y s` prik`s`h (`huhkngmis m` kçakuai) pgrg

e`h`rgr r`suatgmi).mgtis m` sganmg (`huhkngmi m`

 

Trnhknpnis `h ag `agjirgknûh m` •

Trnhknpnis r`agknihgmis kih `htrgmg?  ‛

 ‛

 ‛

 ‛

`huhkngmis ais mgtis m`

Trnhknpni m` `kihibâg m` ais mgtis Trnhknpni m` gutisuckn`hkng m` ais mgtis Trnhknpni m` kibpgjnanmgm m` ais mgtis Trnhknpni m` kihiknbn`hti pr``stgja`knmi

 

•

Trnhknpnis r`agknihgmis kih `a prik`si ?  ‛

 ‛

 ‛

 ‛

 ‛

 ‛

 ‛

Trnhknpni m` kihsnst`hkng m`a r`suatgmi Trnhknpni m` `ckn`hkng m`a prik`si Trnhknpni m` `ckgkng m`a prik`si Trnhknpni m` snbpanknmgm m`a prik`si Trnhknpni m` ag nhm`p`hm`hkng m` ais prik`sis Trnhknpni m` r`uanzgknûh m` ais prik`sis Trnhknpni m` rgstr`gjnanmgm m` ags ip`rgknih`s.

 

•

Trnhknpnis r`agknihgmis kih ais mgtis m` sganmg?  ‛

Trnhknpni m` kghmgm y irbg

 ‛

Trnhknpni m` `xgktum

 ‛

Trnhkpni m` mibnhni m` sganmg