6 Logika sudova 6.

1 Simboli i prevo enje Ranija poglavlja su pokazala da je valjanost deduktivnih zakljuivanja isto funkcija njegove forme. Znajui formu zakljuivanja, esto moemo da odmah kaemo da li je ono valjano ili nevaljano. Ipak, na nesreu, obina jezika upotreba esto zamrauje formu zakljuivanja. Da bi odagnala ovu opskurnost, logika esto uvodi razliite uproujue procedure. U poglavlju 5 smo koristili slova da bismo predstavili termine u silogizmu i razvili smo neke tehnike da bismo redukovali silogizme na ono to se naziva njihovom standardnom formom. U ovom poglavlju, prepoznavanje forme je omogueno uvoenjem specijalnih simbola koji se nazivaju operatori ili veznici . Kada se zakljuivanja izraze posredstvom ovih simbola, odreivanje valjanosti esto postaje stvar pukog vizuelnog pregleda. Temeljeni elementi u dva prethodna odeljka bili su termini. Meutim, u logici sudova temeljni elementi su celi iskazi (ili sudovi). Iskazi se predstavljaju slovima, a ta slova se onda kombinuju posredstvom operatora da bi se obrazovale sloene simbolike predstave. Da bismo razumeli simboliko predstavljanje koje se koristi u logici sudova, nuno je razluiti ono to se naziva prostim iskazima od sloenih iskaza. Prosti iskaz je onaj iskaz koji ne sadri neke druge iskaze kao svoje komponente. Evo nekih primera: Butan je jedinjenje vodonika. Dems Dojs je napisao Ulis. Paraket papagaji su ivopisne ptice. Foki preti istrebljenje. Svako pogodno veliko slovo moe biti izabrano da bi se njime predst avio bilo koji iskaz. Stoga, B bi moglo biti izabrano da bi se predstavio prvi, J drugi, P trei, a M etvrti iskaz. Kao to e uskoro biti objanjeno, mala slova su rezervisana za to da se upotrebljavaju kao iskazne promenljive. Sloeni iskaz je onaj iskaz koji sadri makar jedan prost iskaz kao svoj sastavni deo. Evo nekih primera: Nije sluaj da je Emili Bronte napisala Dejn Ejr. Bostonski simfonijski orkestar e svirati Mocarta, a Klivlendski simfonijski orkestar e svirati Ili e privatni vazduni saobraaj biti smanjen, ili e se sudari u vazduhu nastaviti. Ako IBM predstavi novu liniju proizvoda, to e uiniti i Epl. Divovi e pobediti ako i samo ako njihova odbrana izdri.

trausa.

Korienjem slova koja stoje umesto prostih iskaza, ovi sloeni iskazi se mogu predstaviti na sledei nain: Nije sluaj da E. B i C. Ili P ili M. Ako I onda A. G ako i samo ako D. U prvom primeru, zapazite da je iskaz sloen ak i ako sadri samo jednu komponentu ( E). U optem sluaju, negativni iskazi se interpretiraju kao sloene jedinice koje se sastoje od potvrdnog iskaza i izraza "nije sluaj da". Izrazi "nije sluaj da", "i", "ili", "ako...onda...", i "ako i samo ako" prevode se logikim operatorima. Slede pet logikih operatora: Operator Naziv Logika funkcija Koristi se kao prevod za

tilda taka klin potkovica trostruka linija

negacija konjunkcija disjunkcija implikacija ekvivalencija

nije, nije sluaj da i, takoe, tavie ili, ukoliko ako...onda..., samo ako ako i samo ako

Kada kaemo da se logiki operatori koriste da se "prevedu" ovi izrazi to ne znai da su izrazi i operatori identini. Kao u svakom prevodu (sa engleskog na francuski, na primer), javlja se izvesno izoblienje znaenja. Zanenje izraza kao to su "i","ili", i "ako i samo ako" esto je nejasno i moe se razlikovati od konteksta do konteksta, dok je znaenje logikih operatora jasno, precizno i nepromenljivo. Stoga, kada kaemo da se logiki operatori mogu koristiti za prevoenje izraza obinog jezika, podrazumevamo to da operatori zahvataju izvestan aspekt korelativnih izraza. Taan karakter ovog aspekta izloen je u sledeem odeljku ovog poglavlja. Svrha ovog odeljka je da razvije upoznatost sa logikim opratorima kroz vebanje u prevoenju. Kada koristimo operatore da bismo preveli prethodne primere sloenih iskaza, rezultati su sledei: Nije sluaj da E BiC Ili P ili M. Ako I onda A G ako i samo ako D ~E BC P M I A G D

Iskaz ~E naziva se negacija. Iskaz B C naziva se konjunktivni iskaz (ili konjunkcija), a iskaz P M nziva se disjunktivni iskaz (ili disjunkcija); u konjunktivnom iskazu, komponente B i C nazivaju se konjunkti , a u disjunktivnom iskazu komponente P i M nazivaju se disjunkti . Iskaz I A se naziva kondicionalom i izraava relaciju materijalne implikacije. Njegove komponente se zovu antecedens (I) i konsekvens (A). Konano, G D se naziva bikondicional i izraava relaciju materijalne ekvivalencije. Upotrebimo sada logike operatore da bismo preveli jo neke iskaze. Simbol tilda se koristi da se prevede bilo koji negirani prosti sud: Roleks ne proizvodi kukuruzne pahuljice. Nije sluaj da Roleks proizvodi kukuruzne pahuljice. Lano je da Roleks proizvodi kukuruzne pahuljice. Svi ovi iskazi su negacije. Glavni operator je tilda. ~B ~(G H) ~[(A F ) (C G)] Simbol taka se koristi u prevoenju takvih konjunkcija kao to su "i", "takoe", "ali", "ipak", "pak", "dok", "tavie", "iako" i "mada". Ford pravi kamione i Krajsler pravi kombije. Ford pravi kamione, ali Krajsler pravi kombije. Ford pravi kamione; ipak, Krajsler pravi kombije. Honda i Suzuki prave motocikle. F F F H C C C S. ~E ~E ~E

Zapazite da je poslednji primer ekvivalentan iskazu "Honda pravi motocikle i Suzuki pravi motocikle". Da bismo takav iskaz preveli kao konjunkciju dva prosta iskaza, prvobitni iskaz mora biti ekvivalentan sloenom iskazu na engleskom. Na primer, iskaz "Meri i Luiz su prijateljice" nije

ekvivalentan po znaenju iskazu "Meri je prijateljica i Luiz je prijateljica", tako da se ovaj iskaz ne moe prevesti kao M L. Svi ovi iskazi su konjunkcije. Glavni operator je taka. K ~L (E F ) (G H) [(R T) (S U)] [(W X) (Y Z )] Simbol klin se koristi da bi se prevelo "ili" i "ukoliko". U prethodnom odeljku je objanjeno da je "ukoliko" po znaenju ekvivalentno sa "ako ne". Ta ekvivalencija vai i u logic i sudova, samo to je u logici sudova obino jednostavnije izjednaiti "ukoliko" sa "ili". Na primer, iskaz "Nee diplomirati ukoliko ne poloi poetni kurs engleskog" ekvivalentan je iskazu "Ili e poloiti poetni kurs engleskog ili nee diplomirati", a takoe i iskazu "Ako ne poloi poetni kurs engleskog, onda nee diplomirati". Kao to to sledei odeljak pokazuje, simbol klin ima znaenje "i/ili" - to jest, "ili" u inkluzivnom smislu. Mada se "ili" i "ukoliko" ponekad upotrebljavaju u ekskluzivno m smislu, obino se za prevoenje koristi klin. Rei "ili...ili..." koje se esto koriste da bi se uveli disjunktivni iskazi, imaju prvenstveno znaenje punktuacije. Poloaj ovih rei nam esto kae gde se moraju staviti zagrade u simbolikom izrazu. Ako zagrade nisu potrebne, "ili...ili..." uopte nema posledica po prevod. Slino zapaanje vai i za re "oba" koja se esto koristi da bi se navele konjunkcije. Evo nekih disjunktivnih iskaza: Boing sklapa avione, a Lokid konstruie rakete . Boing sklapa avione ili Lokid konstruie rakete. Boing sklapa avione ukoliko Lokid konstruie rakete. Ukoliko Boing sklapa avione, Lokid konstruie rakete. B B B B L L L L

Na osnovu engleskog smisla ovih iskaza trebalo bi da bude jasno da je B L logiki ekvivalentno sa L B. Slino tome, F C je logiki ekvivalentno sa C F . Ovi iskazi su svi disjunkcije. Glavni operator je klin. ~C ~D (F H) (~K ~L) [S (T U)] [(X (Y Z )] Simbol potkovica se koristi da bi se prevelo "ako...onda...", "samo ako" i slini izrazi koji ukazuju na kondicional. Izrazi "u sluaju da", "pod uslovom da", "ako je dato da" obino se prevode na isti nain kao i "ako". Prema uobiajenoj upotrebi, simbol potkovica se koristi i za prevoenje "implicira". Iako se "implicira" najispravnije upotrebljava za opisi vanje odnosa izmeu premisa i zakljuka nekog zakljuivanja, ovaj prevod moemo privatiti kao alternativno znaenje za "implicira". Funkcija izraza "samo ako" u nekom smislu je upravo suprotna funkciji rei "ako". Na primer, iskaz "Ulovie ribu samo ako si stavio mamac na udicu" ne znai "Ako si stavio mamac na udicu, onda e uhvatiti ribu". Da je to znaio, onda bi svi sa mamcem na udici ulovili ribu. Pree biti da taj iskaz znai "Ako nisi stavio mamac na udicu, onda nee uhvatiti ribu", to je logiki ekvivalentno sa "Ako uhvati ribu, onda si stavio mamac na udicu". Da biste izbegli greke u prevoenju "ako" i "samo ako", zapamtite ovo pravilo: Iskaz koji sledi posle "ako" je uvek antecedens, a iskaz koji sledi posle "samo ako" je uvek konsekvans. Stoga, "C ako i samo ako H" prevodi se kao C H, dok se "C ako H" prevodi sa H C. Jo neki primeri: Ako Ginis vari pivo, onda Dejmison destilie viski. Ginis vari pivo ako Dejmison destilie viski. Ginis vari pivo samo ako Dejmison destilie viski. veps pravi tonik pod uslovom da Bifiter pravi din veps pravi tonik implicira da Bifiter pravi din. G J G B S J G J S B

Priikom prevoenja kondicionala od sutinske vanosti je izbegnuti brkanje antecedensa sa konsekvensom. Iskaz A B nije logiki ekvivalentan iskazu B A. Svi ovi iskazi su kondicionali . Glavni operator je potkovica. H ~J (A C) (D E) [K (S ~T)] [~F (M O)] Simbol potkovica se koristi i za prevoenje iskaza koji su izraeni posredstvom dovoljnih uslova i nunih uslova. Za dogaaj A se kae da je dovoljan uslov za dogaaj B kad god je javljanje A sve to je neophodno za javljanje B. S druge strane, za dogaaj A se kae da je nuan uslov za dogaaj B kad god se B ne moe javiti bez javljanja A. Na primer, to to imamo grip je dovoljan uslov da se loe oseamo, dok je to to imamo vazduh za disanje nuan uslov za preivljavanje. I druge stvari osim gripa mogu biti uzrok tome da se loe oseamo, ali on je sam po sebi dovoljan; i druge stvari osim vazduha su nam neophodne za opstanak, ali bez njega pre ivljavanje je nemogue. Drugim reima, vazduh je nuan. Da biste preveli iskaze koji sadre dovoljne i nune uslove u simboliku formu, smestite iskaz koji imenuje dovoljan uslov u antecedens kondicionala, a iskaz koji imenuje nuan uslov u konsekvens. Mnemonika potapalica "SUN" moe se zgodno upotrebiti da bi se ovo pravilo stalno imalo na umu. Okretanje "U" postrance stvara S N, gde S i N, svako ponaosob, oznaavaju dovoljne i nune uslove. ta god da je dato kao dovoljan uslov dolazi na mesto S, a ta god da je dato kao nuan uslov dolazi na mesto N: Hiltonovo otvaranje novog hotela je dovoljan uslov za to da i Meriot uini isto. Hiltonovo otvaranje novog hotela je nuan uslov za to da i Meriot uini isto. uslov za": H M M H

Simbol trostruka linija se koristi za prevoenje izraza "ako i samo ako" i "je nuan i dovoljan K F K F

Kodak izbacuje na trite novi film ako i samo ako Fudi to isto radi. Kodakovo izbacivanje novog filma na trite je dovoljan i nuan uslov za to da Fui to isto uradi.

Analiza prvih iskaza otkriva da je K F logiki ekvivalentno sa (K F ) (F K). Iskaz "Kodak izbacuje novi film na trite samo ako Fudi to isto radi" prevodi se sa K F , a "Kodak izbacuje novi film na trite ako Fudi to isto radi" prevodi se sa F K. Kombinovanjem dva iskaza na engleskom dobijamo (K F ) (F K), to predstavlja neto dui nain za pisanje K F . Slina analiza vai i za drugi iskaz. Zbog toga to poredak dva konjunkta moe biti obrnut, K F je logiki ekvivalentno sa F K. Ipak, kada prevodimo takve iskaze, usvajamo konvenciju da se slovo koje predstavlja prvi engleski iskaz pie s leve strane trostruke linije, a slovo koje predstavlja drugi engleski iskaz pie sa desne strane trosruke linije. Stoga, navedeni primeri se prevode kao K F , a ne kao F K. Svi ovi iskazi su bikondicionali (materijalne ekvivalencije). Glavni operator je trostruka linija. M ~T (B D) (A C) [K (F I)] [~L (G H)] Kad god se u prevedenom iskazu javi vie od dva slova, moraju se koristiti velike i male zagrade da bi se ukazalo na odgovarajui opseg operatora. Na primer, iskaz A B C je dvosmislen. Kada se uvedu zagrade, iskaz postaje ili (A B) C ili A (B C). Ova dva iskaza nisu logiki ekvivalentna. Stoga, kada su u pitanju iskazi kao to je ovaj, u engleskom iskazu se mora pronai neki trag koji nas navodi na ispravno smetanje zagrada u simboliki iskaz. Takav trag obino daju zarezi i taka-zarezi,

rei kao to su "ili" i "oba" i upotreba jednog predikata u konjunkciji sa dva ili vie subjekta. Sledei iskazi ilustruju ispravno smetanje zagrada. Kompak pravi kompjutere i Intel projektuje ipove , ili Adobi pie softver. Kompak pravi kompjutere, i Intel projektuje ipove ili Adobi pie softver. Ili Kompak pravi kompjutere i Intel projektuje ipove ili Adobi pie softver. Kompak pravi kompjutere i ili Intel projektuje ipove ili Adobi pie softver. Kompak pravi kompjutere ili i Intel projektuje ipove i Adobi pie softver. Kompak pravi kompjutere ili Lotus i Adobi piu softver. Ako Maksel pravi diskove, onda ako Soni proizvodi monitore, onda Epson pravi tampae. Ako to to Maksel pravi diskove implicira da Soni proizvodi monitore, onda Epson pravi tampae. Ako ili Filips i Soni proizvode monitore ili Epson pravi tampae, onda Fudicu pravi tastature. Nemojte brkati: A ako B A samo ako B A ako i samo ako B (C I) A C (I A) (C I) A C (I A) C (I A) C (L A) M (S E) (M S) E [(P S) E] F B A A B A B

Kada se tilda javi u simbolikom izrazu, uzima se po konvenciji da ona pogaa samo jedinicu koja sledi neposredno posle nje. Na primer, u izrazu ~ K M tilda pogaa samo K; u izrazu ~(K M) ona pogaa ceo izraz u zagradama. U engleskom jeziku, izr az "Nije sluaj da K ili M" je dvosmislen, zbog toga to je opseg negirajuih rei neodreen. Da bismo eliminisali tu dvosmislenost, sada usvajamo konvenciju da se negirajue rei posmatraju kao da pogaaju samo jedinicu koja sledi posle njih. Stoga se "Nije sluaj da K ili M" prevodi kao ~K M. Iskaz "Nije i S i T" se prevodi kao ~(S T). Prema jednom vanom pravilu koje se naziva De Morganovo pravilo ovaj iskaz je logiki ekvivalentan sa ~ S ~T. Na primer, iskaz "Nije sluaj da su i Stiven i Tomas otputeni" ekvivalentan je po znaenju iskazu "Ili Stiven nije otputen ili Tomas nije otputen". Zbog toga to prvi iskaz nije ekvivalentan po znaenju sa "Stiven nije otputen i Tomas nije otputen", ~(S T) nije logiki ekvivalentno sa ~S ~T. Analogno tome, iskaz "Nije ni S ni T" prevodi se kao ~(S T), to je prema De Morganovom pravilu logiki ekvivalentno sa ~ S ~T. Na primer, "Nije ni Stiven ni Tomas otputen" ekvivalentno je po znaenju sa "Stiven nije otputen i Tomas nije otputen". Stoga, ~(S T) nije logiki ekvivalentno sa ~S ~T. Sledei primeri ilustruju ove teze: Nije sluaj da je el odgovoran, ali Ekson jeste. Nisu i el i Ekson odgovorni. Ni el ni Ekson nisu odgovorni. Nisu ni el ni Ekson odgovorni. Ili el ili Ekson nije odgo voran. ~S E ~(S E) ~S ~E ~(S E) ~S ~E

Simboliki izrazi koje smo koristili tokom ovog odeljka da bismo preveli smislene, nedvosmislene engleske iskaze nazivaju se dobro obrazovane formule (DOF ). Dobro obrazovana formula je sintaktiki ispravan sklop simbola. U engleskom, na prime r, izraz "maka je na tremu" je sintaktiki ispravan, ali izraz "trem na je maka" nije sintaktiki ispravan. Neki primeri sklopova simbola koji nisu dobro obrazovane formule su "A B", "A B( C)" i "~ B C". Rezime nije, nije sluaj da, lano je da i, pak, ali, ipak, tavie, meutim, pa ipak, takoe, mada, oba ili, ukoliko ako, samo ako, ako je dato da, u sluaju, pod uslovom da, Operator ~

dovoljan uslov za, nuan uslov za (Panja: Ne brkajte antecedens sa konsekvensom) ako i samo ako, dovoljan i nuan uslov za Vebanje 6.1 I. Prevedite sledee iskaze u simboliku formu koristei velika slova da biste prikazali potvrdne engleske iskaze: 5. Ako kotska proglasi nezavisnost, onda Engleska smanjuje uvoz. 6. kotska proglaava nezavisnost ako engleska smanjuje uvo z. 7. kotska proglaava nezavisnost ako i samo ako Engleska smanjuje uvoz. 8. kotska proglaava nezavisnost samo ako Engleska smanjuje uvoz. 13. Ili Maarska usvaja politike reforme i Rumunije zamrzava plate ili Bugarska iri sektor usluga. 20. Peru poveava tednju na vojsci ukoliko i Gvajana i Bolivija ne poboljaju zdravstvenu zatitu. 27. Ako i Niger i ad gue slobodu govora, onda Sudan ili Zair pati od plemenskih sukoba. 31. Nemaka i Francuska podravaju zajedniku valutu ukoliko je vajcarska i Italija ne podravaju. 41. To to Kina naputa komunizam je dovoljan uslov da Tibet povrati svoju slobodu. 42. To to Kina naputa komunizam je nuan uslov da Tibet povrati svoju slobodu. II. Prevedite iskaze u simboliku formu koristei velika slova da bi ste prikazali potvrdne engleske iskaze. 3. Televizija visoke rezolucije je tehnoloko udo, ali je skupa. 11. Ako upotreba Interneta nastavi da raste, onda e vei broj ljudi postati sajber -narkomani i normalni ljudski odnosi e se iskvariti. 14. Ako filmovi sadre subliminalne seksualne poruke ili ako dovode u pitanje tradicionalnu porodicu, onda konzervativni politiari pozivaju na cenzuru. 17. Virus Ebole je smrtonosan, ali e postati najvea pretnja oveanstvu ako i samo ako doe do toga da moe da se iri u vazduhu, a ne pronae se vakcina. 18. Ako je evoluciona biologija tana, onda su vii oblici ivota nastali sluajno, a ako je tako, onda nije sluaj da postoji bilo kakav smisao u prirodi i boansko provienje je mit. III. Odredite koje od sledei h formula nisu dobro formirane formule: 1. (S T) (~U W) 2. ~(K L) ( G H) 3. (E~F ) (W X) 4. (B ~T) ~(~C U) 5. (F ~Q) (A E T) 6. ~D ~[(P Q) (T R)] 7. [(D Q) (P E)] [A ( H)] 8. M(N Q ) (~C D) 9. ~(F ~G ) [(A E) ~H] 10. (R S T) ~(~W ~X)