Taller de Logica Proposicional

 

JAJWCKCKHS _WH_ZJSUHS _DWD J@ UD@@JW EJ @ÓMKCD @ ÓMKCD _WH_HSKCKHID@1 4.- Skbgh`kcj `hs skmukjitjs jiuickdehs1 d)   g)  c)  e) 

Zid rj`dckói js ej jqukvd`jickd sk y sh`h sk js rjf`jxkvd, skbëtrkcd y trdisktkvd. Sk `d lubjede jstä ejbdskdeh d`td, ``hvjrä jstd tdrej h jstd ihclj. Sj rjqukjrj vd`hr y ldgk`kedejs pdrd prdctkcdr j` pdrdcdkeksbh. Sk ih ldy rukehs y ih jstäs shreh, jithicjs ejgjs hârbj

j) f)   m)  l)  k)   a)  n) 

Krë j` d` cdsh ckij hejd`quj tjdtrh, sk bj kivktds Ji vjimd Audi, vjieräi Bdrtd y J`jid Sk ldy mujrrd, ih crjcjrä j` pdrh ik `d kif`dckói H Audi ejgj ejc`drdr y sjr skicjrh, h ih ejgj ejc`drdr Fjejrkch sj krä d `ds Fkak h d `ds Sjyclj``js sk y só`h sk `j thcd `d `htjrâd y ih sj drrukid ji `d ru`jtd J` Lhbgrj @hgh js ui kivjith, y sk `h bksbh hcurrj chi _dpä Ihj`, jithicjs `hs ikôhs shi jimdôdehs Cudieh `d gh`sd gdad buclh, jithicjs js chivjikjitj chbprdr> y cudieh `d gh`sd sugj buclh, tdbgkëi js chivjikjitj chbprdr `)  Dubjitdrä `d kif`dckói y eksbkiukrä j` pdrh, só`h sk sj fdgrkcd bhijed h ldy mujrrd b)  Sk j` dubjith ej `d kif`dckói kbp`kcd `d eksbkiuckói ej `d gd`dizd ej pdmhs, jithicjs, sk ih eksbkiuyj `d  gd`dizd ej pdmhs ih dubjitd `d kif`dckói. kif`dckói.

7.- Sjd _ 1 Ë` ijcjsktd ui bëekch bëekch

S 1 Ë` jstä jifjrbh

T 1 Ë` tkjij ijcjsktd ijcjsui ktd dcckejitj ui dghmdeh W dcck ejitj

U 1 Ë` jstä `jskhideh

Jxprjsj `ds skmukjitjs fórbu`ds ji `jimudaj idturd`

d)  ( S  _)  ( W  T)  g)  _  ( S  U ). c)  (_  T)  W.

e)  (_  T)  ( W  U ) j)   ( S  U )  _.

3 _drd cded uid ej `ds skmukjitjs fórbu`ds, fórbu`ds, ejtjrbkij ejtjrbkij sk shi vä`keds, ih vä`keds, kichiskstjitj, kichiskstjitj, chisks chiskstjitj tjitj h uid chbgkidckói ej vdrkds.

d. ¬(¬_)  _  g. _ (_T)  c. ¬( )  _  ¬T e. ( __ T T)  j. ( _  T)  ( ¬T  ¬_) f. ( _  T )  ( T  _ ) m. _  ( _  T ) l. ( _  ( T  _ ))  _ k. _  ( T  ¬_ )  a. ( _  ¬T )  ( ¬_  T ) n. ¬_  ( ¬( _  T )) `. _  ¬_ b. ¬_  _

 

5.-Fhrbd`kzdr 5.-Fhrbd`k zdr y did`kzdr `d vd`kejz ej` skmukjitj rdzhidbkjith bjekditj rjsh`uckói1 "@d jxkstjickd ej uid _K-CZDEWDED _K- CZDEWDED rjqukjrj kitj`kmjickd, sdmdckede y gujihs fuiedbjiths. Sj prheucji prhg`jbds ej duthjstkbd só`h sk j` rjchihckbkjith kbp`kcd quj cudieh sj prheucj uid fd`td ej rj`dtkvkede ih jxkstji gujihs  fuiedbjiths.  Ih ldy kitj`kmjickd d bjihs quj jxkstdi prhg`jbds ej duthjstkbd. Sk ldy sdmdckede jithicjs, cudieh ldy gujids kitjickhijs ldgrä rjchihckbkjith. Js ijcjsdrkd `d dusjickd ej gujids kitjickhijs pdrd `d rj`dtkvkede y, pujsth quj ldy gujids kitjickhijs, sj pujej chic`ukr quj IH ldy uid _K-CZDEWDED."

Ztk`kzdr1 _K2Ldy _K-CZDEWDED. K2Kitj`kmjickd. S2Sdmdckede. GF2Gujihs fuiedbjiths. D2_rhg`jbds ej duthjstkbd. WC2Wjchihckbkjith. WV2Wj`dtkvkede. WV2Wj`dtkvkede. GK2Gujids kitjickhijs. kitjickhijs. :.-J` kispjcthr Bdrâi sj jifrjitó d ui iujvh cdsh ji Gdgkijy, trds rjd`kzdr `ds kivjstkmdckhijs hphrtuids sj tkjiji `hs skmukjitjs edths1 "_drd quj Cj`kid sjd `d dsjskid js ijcjsdrkh quj `ds hvjaktds ih sj pkjredi. Js ijcjsdrkh quj `ds hvjaktds sj pkjredi pdrd quj `hs pdsthrjs vksktji j` phrtd`. Js sufkckjitj quj `hs rjyjs ih trdkmdi cdrdbj`hs pdrd quj @hrjth sjd `d dsjskid. @hs rjyjs ih trdji cdrdbj`hs d bjihs quj `hs pdsthrjs vksktji j` phrtd`. H Cj`kid H @hrjth shi `ds dsjskids, pjrh ih dbgds." Fhrbd`kzdr y rjsphiejr utk`kzdieh j` bëtheh ej rjfutdckói1 d.- ¸Sj pujej ejeuckr quj Cj`kid js `d dsjskid8  g.- ¸Sj pujej ejeuckr ejeuckr quj @hrjth @hrjth js `d dsjskid8 dsjskid8 c.-¸Shi kisdtksfdckg`js `ds prjbksds8 6.- Kiekcdr sk j` skmukjitj rdzhidbkjith js chrrjcth h ih bjekditj j` d`mhrktbh ej rjsh`uckói `kijd`1 "Ih sj prjcksd quj Audi sj cdsj chi Bdrâd pdrd quj Bdrâd sjd ej gujid fdbk`k fdbk`kd d d bjihs quj Audi sj cdsj phr kkitjrës. itjrës. Ski jbgdrmh, Audi sj cdsd chi Bdrâd sk Bdrâd ih js ej gujid fdbk`kd sk y só`h sk Bdrâd js `d gj``d ej` ghsquj. Ih hgstditj, gdstd quj Bdrâd sjd ej gujid fdbk`kd pdrd quj sjpd prjpdrdr chbkeds jxquksktds y, pujsth quj skjbprj quj  Bdrâd sjpd prjpdrdr chbkeds jxquksktds, Audi sj cdsd chi j``d, sj pujej chic`ukr quj1 js kbprjsckiekg`j kbprjsckiekg`j quj Audi sj cdsj phr kitjrës pdrd quj Bdrâd sjd `d gj``d ej` ghsquj."

=.- @d frdsj1 "Ih js ijcjsdrkh bditjijr uid ph`âtkcd ph`âtk cd ej rjchrtj ej mdsths d bjihs quj `hs ckuededihs ih sjdi cdpdcjs ej fkidickdr `ds hgrds pñg`kcds, ski jbgdrmh, só`h cudieh `hs ckuededihs shi cdpdcjs ej fkidickdr `ds hgrds pñg`kcds js phskg`j ldg`dr ej ui Jstdeh ej Chitkimjickd" sj pherâd fhrbd`kzdr chbh1

 Ikimuid ej `ds ditjrkhrjs h bäs bäs ej uid ej `ds ditjrkhrjs.