Mis on väide? Teemad, eesmärgid ja väidete tüübid. Kuulsad ütlemised. Hinnapakkumise kujundus, näited. Otsekõne ja tsitaatide kujundamise reeglid Mis on kirjanduses ütlus

Tsitaadid suudavad teksti kaunistada, kinnitades või avardades autori väljendatud ideed, seetõttu kasutatakse neid tõenäoliselt meelsasti nii ajakirjanduses kui ka teadustöödes. Kuid mõnikord võib tsitaadi teksti lisamine kirjavahemärkide osas olla keeruline.

Selles artiklis püüame meelde tuletada tsitaatide vormistamise reegleid, et neid teksti erinevalt lisada. Meenutagem, milliseid tuleks sel juhul kasutada, samuti meetodeid, kuidas mõned sõnad tsiteeritud tsiteerida.

Mis on tsitaat: näide

Tsitaat on öeldu sõnasõnaline reproduktsioon, olles samas tähenduses lahutamatult seotud tekstiga, kuhu see lõik on lisatud.

Vanadus on ennekõike elu jooksul saadud kogemus. Nagu suur Faina Ranevskaja kunagi ütles: "Mälestused on vanaduse rikkus."

Mitme väljavõtte ühendamine teose eri kohtadest ühes tsitaadis ei ole lubatud. Need peaksid olema raamitud erinevate jutumärkidena. Kohustuslik nõue on selle allika märkimine.

Kui teie viidatud lõik ei alga algse lause algusest, siis pannakse tsitaadis ellips. See märk pannakse ka läbisõidus kõigi puuduvate sõnade asemele.

"... Nutikas inimene teab, kuidas raskest olukorrast välja tulla, kuid tark inimene ei satu sellesse kunagi," rõhutas Ranevskaja.

Nagu ütles tsiteeritud lõigu autor või allikas

Me ei räägi sellest, kuidas selles artiklis koostatakse bibliograafiline joonealune märkus, vaid arutame viiteid, kuidas viidatud autorit või allikat näidatakse. Hea vorm nõuab, et teeksite seda iga kord, kui kasutate kellegi mõtet.

"Asjatundmatud inimesed kipuvad tegema üheselt mõistetavaid ja kategoorilisi järeldusi" (David Dunning).

Pange tähele, et selle versiooni pakkumise järgset perioodi ei panda, see pannakse ainult lingi järele! Muide, kui esimene allikat tähistav sõna sulgudes pole pärisnimi, siis kirjutatakse see väikese tähega.

"Saamatutel inimestel on kalduvus teha üheselt mõistetavaid ja kategoorilisi järeldusi" (psühholoog David Duningi artiklist).

Kui tekstis olevate jutumärkide kujundus nõuab autori nime või nende allika teisele reale viimist, siis kirjutatakse need ilma sulgude ja muude kirjavahemärkideta. Ja pärast tsitaati ennast pannakse punkt või mõni vajalik märk.

Asjatundmatud inimesed kalduvad tegema üheselt mõistetavaid ja kategoorilisi järeldusi.

David Dunning

Sama reegel kehtib epigraafide kohta.

Esiletõstetud jutumärkides

Kui tsitaadina viidatud katkendis on autori esiletõstud, hoitakse neid samas vormis nagu algallikas. Tsitaate ei ole vaja eriti rõhutada, et need märgid kuuluvad autorile. Kui tsiteeriv isik soovib midagi esile tõsta, peab ta tegema vastava joonealuse märkuse. Selleks märkige sulgudesse: "kursiiv minu" või "minu kursiivis" - ja sisestage initsiaalid.

A. Startsev rääkis kirjanik O. Henryst: „Loodus on varustatud haruldase kingitusega näha lustlikke ..., silmitsi oma elus traagilise olukorraga ... kuid enamasti otsustas sellest vaikida (kursiiv kursiiv - II) ".

„Nende nimesid (Gogol ja Ostrovsky - II) ühendanud kirjandustraditsioon on märkimisväärne. Lõppude lõpuks tajuti Ostrovskit otseselt Gogoli teose järeltulijana ... "

Tsitaatide konteksti viimise viisid

Tsitaate saab sisestada lausesse otsekõnena. Nendel juhtudel ja vene keeles pannakse need samamoodi nagu otsekõne esiletõstmisel.

I. Zahharov rõhutab: „Ranevskaja tegi teistele julmad määratlused, mis nägid välja nagu kohtute otsused. Kuid ta ei säästnud ka ennast. "

Juhul, kui tsitaat tuleks eraldada autori sõnadega, näeb see välja järgmine:

"Tema Majesteet jääb täiesti enesekindlaks," kirjutas A.S. Puškin A.Kh. Benckendorff, - et kasutate oma suurepäraseid võimeid, et anda meie isamaa au järeltulijatele edasi ... "

Kui tsitaat on liit või on see lisatud klauslisse, siis muid märke peale jutumärkide ei panda ja tsitaat ise algab väikese tähega, isegi kui allikas oli see kirjutatud suurtähega:

Omal ajal ütles filosoof J. Locke, et "intellektis pole midagi sellist, mida pole tundes".

tsitaadi lõpus

Eraldi peate arvestama tsitaadi kujundusega kirjalikult olukordades, kus on vaja otsustada kirjavahemärkide lõpus - enne ja pärast jutumärke.

• Kui tsiteeritud fraas lõpeb ellipsi, küsimärgi või hüüumärgiga, pannakse need jutumärkide ette:

Ta hüüdis: "Kõiki reegleid täites jätate end paljudest naudingutest ilma!"

• Ja olukorras, kus tsitaadis pole jutumärkide ees märke, pannakse lause lõppu punkt, kuid ainult pärast neid:

Ranevskaja kurtis: "85 aastat diabeeti - mitte suhkrut."

• Kui tsitaat on osa alamlausest, tuleks panna jutumärkidele järgnev punkt, isegi kui nende ees on juba kas hüüumärk, küsimärk või ellips:

Marlene Dietrich uskus õigustatult, et "hellus on parem tõestus armastusest kui kõige kirglikumad tõotused ...".

Väike või tsitaadi alguses?

Kui tsitaat asetatakse kooloni järele, peate pöörama tähelepanu tähele, millega see algallikas algas. Kui väiketähega, siis tsitaat kirjutatakse väikesega, teksti ette pannakse ainult ellips:

Kirjeldades A.S. Puškin, I.A. Gontšarov rõhutas: "... tema kõnega kaasnenud žestides oli ilmaliku, hästi kasvatatud inimese vaoshoitus."

Kui tsiteeritud lõik algab suure algustähega, siis tsitaadid vormistatakse samamoodi nagu otsekõnes - koolonijärgse tähega suurtähega.

V. Lakshin kirjutas A.N. Ostrovsky: "Neis näidendites kõlab jätkuvalt palju elava rõõmu ja valuga, mis kajab meie hinges."

Veel mõned tsitaatide märkimise nüansid

Ja kuidas tsitaati tähistada, kui peate tsiteerima ainult ühte sõna või fraasi? Sellistel juhtudel lisatakse tsiteeritud sõna jutumärkidesse ja sisestatakse lausesse väiketähega:

V. Lakshin rõhutas, et Ostrovski komöödiate näod on ajalooliselt täpsed ja "etnograafiliselt helged".

Olukordades, kus tsitaadi algallikas pole üldkasutatav (venekeelset tõlget pole või see on haruldane väljaanne), siis tsiteerides peaksite märkima: “cit. kõrval".

Kas tsiteeritud lõigus on võimalik midagi muuta?

Tsitaatide kujundamine nõuab lisaks kirjavahemärkide reeglite järgimisele ka õiget suhtumist tsiteeritud teksti. Artikli lõigu tsiteerimisel on lubatud vaid mõned kõrvalekalded nende algsest olekust:

• tänapäevase õigekirja ja kirjavahemärkide kasutamine, kui kirjutamisviis ja märkide paigutus ei ole autori individuaalse stiili märk;
• lühendatud sõnade taastamine, kuid lisatud osa kohustusliku järeldusega näiteks sv-in - sv [oist];
• tsitaatide kujundus võimaldab nendes ka üksikuid sõnu välja jätta, tähistades väljajätmise koha ellipsiga, kui see ei moonuta tsiteeritud lõigu üldist tähendust;
• üksikute fraaside või sõnade lisamisel saate muuta nende suurtähti, et mitte rikkuda fraasi, milles need sisalduvad, süntaktilist struktuuri.

Kui autoril on vaja täiendavalt väljendada oma suhtumist tsiteeritud lõigusse või mõnda oma sõnasse, paneb ta reeglina nende järele sulgudesse suletud küsimuse või hüüumärgi.

Tsitaadi edastamiseks ei tohiks kasutada ainult venekeelseid kirjavahemärke

Teadus- või kirjandusteose kirjutava autori jaoks on tsitaat veenev ja ökonoomne tehnika, mis võimaldab teil lugejale fakte esitada, neid üldistada ja muidugi kinnitada oma ideed autoriteetsetele allikatele viidates.

Mitteteaduslikes tekstides on tsitaat sageli emotsionaalse mõju vahend. Kuid me ei tohi unustada, et viidatud lõik tuleb edastada täpselt. Tõepoolest, isegi "tsitaadi" mõiste määratluses rõhutatakse, et see on sõna otseses mõttes edastatud väljavõte igast tekstist. Ja sellest järeldub, et mitte ainult tekst ise, vaid ka kirjavahemärgid, mis autoril on, nagu ka valikud, mis tal on, tuleb moonutamata taasesitada.

Ja seda võib võrdselt seostada nii ametlike dokumentide kui ka emotsionaalsete väljavõtetega ilukirjandusest. Ainult seda meenutades saate täielikult aru, mis on tsitaat. Näide ettevaatlikust suhtumisest tsiteeritud materjali on kõigepealt austus autori vastu, kes kirjutas teie tsiteeritud read.

Aforism - mis see on? Igaüks meist on seda sõna kuulnud, kuid mitte kõik ei suuda selle tähendust selgitada. Iga päev puutume kokku aforismidega kirjanduses, kinos ja igapäevaelus; kasutame neid kõnes, ilma et sellest ise aru saaksime. Seetõttu peaksite mõistma selle mõiste tähendust.

Mis on aforismid?

Aforismid on tiivulised fraasid, stabiilsed fraasid, mida keegi räägib, mille on kõige sagedamini välja mõelnud luuletajad või kirjanikud. Need on elanikkonna seas populaarseks saanud väited, mida kasutatakse sageli ühe leksikaalse tervikuna, eraldamata üksikuid sõnu. Aforismi näiteks on M. Zhvanetsky väljend: "Ajalukku on raske siseneda, aga ajalukku on lihtne sukelduda."

Mõiste "aforism" päritolu

Mõiste "aforism" tuleneb kreekakeelsest sõnast, mis tõlgitakse kui "määratlus". Tõepoolest, see on kirjanduslikus väljenduses riietatud tegevuse, teo, tunde, sündmuse määratlus.

Aforism on algne mõte, mida iseloomustab loogiline terviklikkus. Selliseid väljendeid on lihtne meelde jätta, selguse ja lühiduse tõttu kordavad inimesed neid mitu korda. Sageli koosneb aforism 3-5 sõnast, kuid on ka üksikasjalikumaid väiteid.

Lühikese aforismi näiteks on Francis Baconi populaarne väljend: "Teadmine on jõud". See selgitab võimalikult täpselt teadmiste olulisust ja olulisust inimkonna elus.

Kust tulevad aforismid

Sageli tungivad aforismid meie kõnesse kunstist: kirjandus, kino, teater. Enamikul neist väljenditest on oma autor. Kirjanikud, luuletajad, stsenaristid, näitlejad, filosoofid ja mõtlejad on leiutanud palju aforisme.

Kuulsad maailma aforismide "loojad" on Tiibetist pärit keskaja filosoof Sakya Pandita, kirjanikud Shota Rustaveli, Juan Manuel François de La Rochefoucauld, Mihhail Turovsky, Bernard Shaw.

Nende kuulsate inimeste hulgas on teatri- ja filmikunstnik Faina Ranevskaja, kelle kaustilised ja teravad avaldused, lakoonilised hinnangud, tabavad fraasid on pälvinud rahva armastuse ja kuulsuse. Neid tsiteerivad pidevalt ka need, kellele Faina Georgievna looming on täiesti võõras. Näiteid sellele imelisele näitlejannale kuuluvatest aforismidest: "Kui patsient tõesti tahab elada, on arstid jõuetud", "Au kaaslane on üksindus", "Naised pole õrn sugupool. Nõrgem sugu on mädanenud lauad."

Pole juhus, et nad ütlevad, et aforismid on inimeste tarkus. Paljud neist tekkisid spontaanselt: keegi lausus terava ja hästi suunatud fraasi, teine \u200b\u200bkordas seda ja nii edasi ahelas, kuni väljend muutus aforismiks. Näited sellisel viisil tekkinud aforismidest: "Lahkudes kustutage valgus", "Vabalt - aida taga".

Näiteid aforismidest kirjanduses

Mis on kirjanduslik aforism? Väga sageli ajavad inimesed aforismid ja tsitaadid segi. Need kaks mõistet on tõepoolest väga sarnased. Ja sageli võib tsitaat olla aforism ja aforism - väljavõte teosest, see tähendab tsitaat. Tuleb meeles pidada, et tsitaat on kirjandusteose või näiteks filmi lõigu sõnasõnaline kordamine. See tähendab, et tsitaat on fraas, mis on sõna otseses mõttes väljavõte tekstist ilma muudatusteta. Aforism on lakooniline ja täielik mõte, fraas, mis määrab kõige täpsemini ja tabavamalt avalduse sisu.

Aforisme kasutatakse laialdaselt vene ja välismaiste klassikute hulgas. Iseenesest on aforismid kirjanduskunsti väike vorm. Paljud neist pärinevad kirjandusteostest.

Näiteks AS Gribojedovi romaani pealkiri "Häda vaimukusest" on iseenesest aforism. Ja väljendit "õnnetunde ei järgita" kasutas esmakordselt sama romaani klassika. Kuulus aforism "Me vastutame nende eest, kes on taltsutanud" sündis Antoine de Saint-Exupery teoses "Väike prints".

Teine aforismi näide on fraas, mida kasutatakse sageli igapäevases vestluses: "Abiellumine pole teie jaoks, et sa käiksid saunas." See kuulub N. V. Gogoli aedikusse.

A. P. Tšehhovile kuulub kuulus aforism "Lühidus on talendi õde". Just sellised lakoonilised ja tabavad väited kirjeldavad toimuva olemust võimalikult täpselt, väljendavad terviklikku mõtet ja liiguvad aforismide kategooriasse.

Näited aforismidest Krõlovi jutustustest

Ivan Andreevitš Krõlovi iroonilised muinasjutud on rikas aforismide poolest. Igas tema teoses pole peidus mitte ainult sügav tähendus ja moraal, vaid ka palju tabavaid ütlusi, mida me igapäevases elus kasutame.

Näited aforismidest I.A. Krilovi (kõige kuulsama) muinasjutust:

• Ja kirst just avanes (muinasjutu "Kirst"). Väljend, mis tähendab, et probleemi lahendamine oli palju lihtsam kui esmapilgul tundus.
• Stigma on teie kohevuses (muinasjutus "Rebane ja marmor"). See aforism tähendab, et inimene on teinud halva teo.
• Ja Vaska kuulab ja sööb (fabula "Kass ja kokk"). See aforism tähendab, et inimene kuulab, kuid ei taju teavet, ei tee järeldusi.
• Ärge sülitage kaevu ("Lõvi ja hiire" fabula).
• Hüppav suder laulis suvepunast.

Kaasaegse inimese kõnet pole võimalik aforismideta ette kujutada. Sõprade, kolleegide, sugulastega suheldes hääldame väga sageli, seda märkamata, tuntud ja stabiilseid fraase ning need muudavad meie kõne helgemaks, rikkamaks ja huvitavamaks.

Propositsiooniloogika , mida nimetatakse ka propositsiooniloogikaks, on matemaatika ja loogika haru, mis uurib lihtsatest või elementaarsetest lausetest ehitatud keeruliste lausete loogilisi vorme loogiliste operatsioonide abil.

Lausete loogika hajutatakse väidete sisust ja uuritakse nende tõeväärtust, see tähendab, kas väide on tõene või väär.

Ülaltoodud pilt illustreerib valetaja paradoksina tuntud nähtust. Samal ajal on sellised autorid projekti autori arvates võimalikud ainult poliitilistest probleemidest vaba keskkondades, kus kedagi saab a priori valetajaks tembeldada. Looduslikus mitmekihilises maailmas edasi "tõe" või "vale" teemat hinnatakse ainult üksikute väidete puhul ... Ja edasi selles õppetükis esitatakse teile võimalus sellel teemal palju avaldusi hinnata (ja siis vaadake õigeid vastuseid). Sealhulgas keerulised väited, milles lihtsamad on ühendatud loogiliste operatsioonide märkidega. Kuid kõigepealt kaalume neid toiminguid väidetega ise.

Propositsiooniloogikat kasutatakse arvutiteaduses ja programmeerimisel loogiliste muutujate deklareerimise ja neile loogiliste väärtuste "valeks" või "õigeks" määramise näol, millest sõltub programmi edasise täitmise käik. Väikestes programmides, kus osaleb ainult üks tõeväärtuse muutuja, antakse sellele tõeväärtusemuutujale sageli nimi nagu "lipp" ja eeldatakse, et see on "lipp tõstetud", kui selle muutuja väärtus on "true" ja "lipp on välja lülitatud" kui selle muutuja väärtus on vale. Suure mahuga programmides, milles on mitu või isegi palju loogilisi muutujaid, peavad spetsialistid välja pakkuma loogiliste muutujate nimed, millel on avalduste kuju ja semantiline koormus, mis eristab neid teistest loogilistest muutujatest ja on arusaadav teistele spetsialistidele, kes loevad selle programmi teksti.

Seega saab väljavõtte kujul deklareerida boolean muutuja nimega "UserRegistered" (või selle ingliskeelse analoogi), millele saab määrata loogilise väärtuse "true", kui on täidetud tingimused, mille kohaselt kasutaja on registreerimiseks vajalikud andmed saatnud ja programm on need andmed tunnistanud sobivaks. Edasistes arvutustes võivad muutujate väärtused muutuda sõltuvalt sellest, milline tõeväärtus ("true" või "false") on muutujal "UserRegistered". Muudel juhtudel võib muutujale, näiteks nimega "UntilDaysHOutMore than ThreeDays", määrata väärtuse "True" kuni teatud arvutusplokini ja programmi edasise täitmise ajal saab selle väärtuse salvestada või muuta väärtuseks "false" ja edasise käivitamise käik sõltub selle muutuja väärtusest programmid.

Kui programm kasutab mitut loogilist muutujat, mille nimed on avaldiste vormis, ja nendest ehitatakse keerulisemaid avaldusi, siis on programmi väljatöötamine palju lihtsam, kui enne selle väljatöötamist kirjutame lausetest kõik toimingud lauseloogikas kasutatavate valemite kujul, kui teeme kursusel sellest õppetunnist ja teeme ära.

Loogilised toimingud avaldustega

Matemaatiliste väidete jaoks saate alati valida kahe erineva alternatiivi vahel "tõene" ja "vale" ning "sõnalises" keeles tehtud väidete puhul on mõisted "tõde" ja "valed" mõnevõrra ebamäärasemad. Kuid näiteks verbaalsed vormid nagu „Mine koju” ja „Kas vihma sajab?” Ei ole lausungid. Seetõttu on selge, et väited on sellised verbaalsed vormid, milles midagi öeldakse ... Küsitavad või hüüatavad laused, apellatsioonid, samuti soovid või nõuded ei ole avaldused. Neid ei saa hinnata tähendusega "tõene" ja "vale".

Teisalt võib väiteid vaadelda kui kogust, mis võib omandada kaks tähendust: "tõene" ja "vale".

Näiteks antakse järgmised hinnangud: "koer on loom", "Pariis on Itaalia pealinn", "3

Esimest neist väidetest saab hinnata sümboliga "tõene", teist - "vale", kolmandat - "tõene" ja neljandat - "vale". Selline väidete tõlgendamine on propositsioonialebra teema. Avaldusi tähistame ladina suurtähtedega A, B, ... ja nende väärtused, see tähendab vastavalt tõesed ja valed JA ja L... Tavakõnes kasutatakse seoseid väidete "ja", "või" ja teiste vahel.

Need ühendused võimaldavad erinevaid väiteid omavahel ühendades moodustada uusi avaldusi - rasked avaldused ... Näiteks hunnik "ja". Olgu avaldused antud: " π rohkem kui 3 "ja ütlevad" π vähem kui 4 ". Võite korraldada uue - keeruka avalduse" π rohkem kui 3 ja π vähem kui 4 ". Öeldes", kui π irratsionaalne π ² on ka irratsionaalne “saadakse kahe väite sidumisel lingiga„ kui - siis. ”Lõpuks võime igast väitest saada uue - keeruka lause - eitades algse lause.

Arvestades väiteid väärtusteks võetud suurustena JA ja L, määratleme edasi avalduste loogilised toimingud , mis võimaldavad teil saada nendest lausetest uusi keerukaid avaldusi.

Olgu antud kaks meelevaldset lauset A ja B.

1 ... Nende lausete esimene loogiline toiming - ühendus - on uue lause moodustamine, mida me tähistame A ∧ B ja mis on tõsi siis ja ainult siis A ja B on tõesed. Tavakõnes vastab see toiming lausete ühendamisele lingi "ja" abil.

Tõe tabel ühenduseks:

A	B	A ∧ B
JA	JA	JA
JA	L	L
L	JA	L
L	L	L

2 ... Teine lause loogiline toiming A ja B - disjunktsioon, väljendatuna A ∨ B , on määratletud järgmiselt: see on tõsi ja ainult siis, kui vähemalt üks algsetest väidetest vastab tõele. Tavakõnes vastab see operatsioon lausete kombinatsioonile lingiga "või". Kuid siin pole meil eraldusmärki "või", mida mõistetakse tähenduses "kas-või" millal A ja B mõlemad ei saa tõsi olla. Avalduste loogika määratluses A ∨ B tõene, kui tõene on ainult üks väidetest ja kui mõlemad väited on tõesed A ja B.

Tõestabel disjunktsiooniks:

A	B	A ∨ B
JA	JA	JA
JA	L	JA
L	JA	JA
L	L	L

3 ... Kolmas lause loogiline toiming A ja Bväljendatud A → B ; selliselt saadud väide on vale siis ja ainult siis A tõsi ja B vale. A helistas pakk , B - tagajärg ja avaldus A → B - järgnev , mida nimetatakse ka implikatsiooniks. Tavakõnes vastab see toiming lingile "kui - siis": "kui Asiis B". Väidete loogika määratluses on see väide alati tõene, hoolimata sellest, kas väide on tõene või väär. B... Selle asjaolu võib lühidalt sõnastada järgmiselt: "valest järeldub midagi". Omakorda, kui A tõsi ja B vale, siis kogu väide A → B vale. Tõsi on siis ja ainult siis ja Aja B on tõesed. Lühidalt võib selle sõnastada järgmiselt: "tõest ei saa vale tuleneda".

Tõde tabel järgmiseks (järeldus):

A	B	A → B
JA	JA	JA
JA	L	L
L	JA	JA
L	L	JA

4 ... Neljandat lausete, täpsemalt ühe väite loogilist toimingut nimetatakse lause eituseks A ja tähistatud ~ A (leiate ka sümboli ~, vaid sümboli ¬, samuti ülaltoodud ülaserva kasutamise A). ~ A on ütlus, mis on vale millal A tõsi ja tõsi millal A vale.

Eitustõde tabel:

A	~ A
L	JA
JA	L

5 ... Ja lõpuks, väidete viiendat loogilist toimingut nimetatakse ekvivalentsuseks ja seda tähistatakse A ↔ B ... Saadud avaldus A ↔ B on tõene väide siis ja ainult siis A ja B mõlemad on tõesed või mõlemad on valed.

Tõeväärtustabel samaväärsuse kohta:

A	B	A → B	B → A	A ↔ B
JA	JA	JA	JA	JA
JA	L	L	JA	L
L	JA	JA	L	L
L	L	JA	JA	JA

Enamikul programmeerimiskeeltel on lausete loogiliste väärtuste tähistamiseks erimärgid, need on kirjutatud peaaegu kõigis keeltes tõeste ja valedena.

Võtame ülaltoodu kokku. Propositsiooniloogika uurib seoseid, mille määrab täielikult see, kuidas mõned väited on teistest üles ehitatud, mida nimetatakse elementaarseks. Sellisel juhul peetakse elementaarseid väiteid terviklikeks, mitte osadeks lagunevateks.

Süstematiseerime allolevas tabelis avalduste loogiliste toimingute nimed, tähistused ja tähendus (peagi vajame neid näidete lahendamiseks uuesti).

Kobar	Määramine	Operatsiooni nimi
mitte		eitus
ja		koos
või		disjunktsioon
kui siis ...		implikatsioon
siis ja alles siis		samaväärsus

Sest loogilised toimingud on õiged loogikaalgebra seadused mida saab kasutada Boole'i \u200b\u200bavaldiste lihtsustamiseks. Tuleb märkida, et väidete loogikas on need hajutatud väite semantilisest sisust ja piirduvad seisukohaga, et see on kas tõene või väär.

Näide 1.

1) (2 \u003d 2) JA (7 \u003d 7);

2) mitte (15;

3) ("Mänd" \u003d "Tamm") VÕI ("Kirss" \u003d "Vaher");

4) mitte ("Mänd" \u003d "Tamm");

5) (mitte (15 20);

6) ("Silmad antakse vaadata") JA ("Kolmanda korruse all on teine \u200b\u200bkorrus");

7) (6/2 \u003d 3) VÕI (7 * 5 \u003d 20).

1) Esimestes sulgudes oleva lause väärtus on "tõene", ka teise sulgudes oleva avaldise väärtus on tõene. Mõlemat lauset ühendab loogiline operatsioon "JA" (vt selle toimingu reegleid eespool), seetõttu on kogu lause loogiline tähendus "tõene".

2) Sulgudes oleva väite tähendus on "vale". Sellele väitele eelneb eitamise loogiline toiming, seetõttu on kogu antud väite loogiline tähendus "tõde".

3) Esimeste sulgude väite tähendus on "vale", ka teistes sulgudes oleva lause tähendus on "väär". Avaldused on ühendatud loogilise operatsiooni "OR" abil ja ühelgi väitel pole väärtust "true". Seetõttu on kogu selle väite loogiline tähendus "vale".

4) Sulgudes oleva väite tähendus on "vale". Sellele väitele eelneb eituse loogiline toimimine. Seetõttu on kogu selle väite loogiline tähendus "tõde".

5) Esimestes sulgudes öeldakse sisemistesse sulgudesse kuuluv lause. Sellel sulgudes oleval väitel on "vale" tähendus, seetõttu on selle eitamisel loogiline tähendus "tõene". Teistes sulgudes oleval väitel on tähendus "vale". Neid kahte lauset ühendab loogiline operatsioon "AND", see tähendab, et saadakse "true AND false". Järelikult on kogu antud väite loogiline tähendus "väär".

6) Esimeste sulgude väite tähendus on "tõene", ka teistes sulgudes oleva väite tähendus on "tõene". Neid kahte väidet ühendab loogiline operatsioon "JA", see tähendab, et saadakse "tõde JA tõde". Järelikult on kogu antud väite loogiline tähendus "tõde".

7) Esimestes sulgudes oleva väite tähendus on "tõene". Teistes sulgudes oleva väite tähendus on "vale". Neid kahte lauset ühendab loogiline operatsioon "OR", see tähendab, et saadakse "true OR false". Järelikult on kogu antud väite loogiline tähendus "tõde".

Näide 2. Kirjutage loogiliste toimingute abil üles järgmised keerulised avaldused:

1) "Kasutaja pole registreeritud";

2) "Täna on pühapäev ja mõned töötajad on tööl";

3) "Kasutaja registreeritakse ainult siis, kui kasutaja saadetud andmeid peetakse kehtivaks."

1) lk - üks lause "Kasutaja on registreeritud", loogiline toiming :;

2) lk - üks avaldus "Täna on pühapäev", q - "Mõned töötajad on tööl", loogiline toimimine :;

3) lk - üks avaldus "Kasutaja on registreeritud", q - "Kasutaja saadetud andmed on valideeritud", loogiline toiming :.

Lahendage ise propositsiooniloogika näited ja vaadake seejärel lahendusi

Näide 3. Arvutage järgmiste lausete loogilised väärtused:

1) ("Minutis on 70 sekundit") VÕI ("Jooksukell näitab aega");

2) (28\u003e 7) JA (300/5 \u003d 60);

3) ("Teler - elektriseade") JA ("klaas - puit");

4) Mitte ((300\u003e 100) VÕI ("janu saab kustutada veega"));

5) (75 < 81) → (88 = 88) .

Näide 4. Pange loogiliste toimingute abil üles järgmised keerulised laused ja arvutage nende loogilised väärtused:

1) "Kui kell näitab kellaaega valesti, siis ei saa te valel ajal tundi tulla";

2) "Peeglist näete oma peegelpilti ja Pariis on USA pealinn";

Näide 5. Määrake Boole'i \u200b\u200bväljend

(lk → q) ↔ (r → s) ,

lk = "278 > 5" ,

q \u003d "Õun \u003d oranž",

lk = "0 = 9" ,

s \u003d "Müts katab pead".

Propositsiooniloogika valemid

Kompleksse avalduse loogilise vormi mõiste selgitatakse mõiste abil propositsiooniloogika valemid .

Näidetes 1 ja 2 õppisime, kuidas kirjutada keerulisi avaldusi loogiliste toimingute abil. Tegelikult nimetatakse neid propositsiooniloogika valemiteks.

Avalduste tähistamiseks, nagu ülaltoodud näites, jätkame tähtede kasutamist

lk, q, r, ..., lk1 , q1 , r1 , ...

Need tähed mängivad muutujate rolli, mis võtavad tõeväärtused "tõene" ja "väär" väärtuseks. Neid muutujaid nimetatakse ka propositsioonilisteks muutujateks. Helistame neile edasi elementaarsed valemid või aatomid .

Lausete loogika valemite koostamiseks kasutatakse lisaks ülaltoodud tähtedele ka loogiliste operatsioonide märke

~, ∧, ∨, →, ↔,

samuti sümbolid, mis võimaldavad valemeid üheselt lugeda - vasak ja parem sulg.

Kontseptsioon propositsiooniloogika valemid määratletakse järgmiselt:

1) algvalemid (aatomid) on lauseloogika valemid;

2) kui A ja B - lausete loogika valemid, siis ~ A , (A ∧ B) , (A ∨ B) , (A → B) , (A ↔ B) on ka lausete loogika valemid;

3) ainult need väljendid on väidete loogika valemid, mille puhul see tuleneb punktidest 1 ja 2.

Propositsiooniloogika valemi määratlus sisaldab nende valemite moodustamise reeglite loetelu. Definitsiooni kohaselt on mis tahes väidete loogika valem kas aatom või moodustub aatomitest reegli 2 järjepideva rakendamise tulemusena.

Näide 6. Lase lk - üks lause (aatom) "Kõik ratsionaalsed arvud on reaalsed", q - "Mõned reaalarvud on ratsionaalsed arvud", r - "mõned ratsionaalsed arvud on reaalsed". Teisendage järgmised lausete loogika valemid verbaalsete lausete vormiks:

6) .

1) "ratsionaalseid arve pole";

2) "kui mitte kõik ratsionaalsed arvud pole reaalsed, siis pole ka ratsionaalseid arve, mis oleksid reaalsed";

3) "kui kõik ratsionaalsed arvud on reaalsed, siis mõned tegelikud arvud on ratsionaalsed arvud ja mõned ratsionaalsed arvud on reaalsed";

4) "kõik reaalarvud on ratsionaalsed arvud ja mõned reaalarvud on ratsionaalsed arvud ja mõned ratsionaalsed arvud on reaalarvud";

5) "kõik ratsionaalsed arvud on reaalsed siis ja ainult siis, kui pole nii, et kõik ratsionaalsed arvud pole reaalsed";

6) "pole kohta, kus olla, et pole kohta, kus kõik ratsionaalsed arvud pole reaalsed ja pole reaalseid arve või pole reaalseid arve."

Näide 7. Koostage propositsiooniloogika valemi tõetabel , mida tabelis saab tähistada f .

Otsus. Alustame tõetabeli koostamist, registreerides üksikute väidete (aatomite) väärtused ("true" või "false") lk , q ja r ... Kõik võimalikud väärtused registreeritakse tabeli kaheksas reas. Edasi, implikatsioonitoimingu väärtuste määramisel ja tabelis paremale liikumisel pidage meeles, et väärtus on võrdne väärtusega "väär", kui "tõest" tuleneb "vale".

lk	q	r					f
JA	JA	JA	JA	JA	JA	JA	JA
JA	JA	L	JA	JA	JA	L	JA
JA	L	JA	JA	L	L	L	L
JA	L	L	JA	L	L	JA	JA
L	JA	JA	L	JA	L	JA	JA
L	JA	L	L	JA	L	JA	L
L	L	JA	JA	JA	JA	JA	JA
L	L	L	JA	JA	JA	L	JA

Pange tähele, et ühelgi aatomil pole vormi ~ A , (A ∧ B) , (A ∨ B) , (A → B) , (A ↔ B). Keerulistel valemitel on see vorm.

Sulgude arvu propositsiooniloogika valemites saab seda eeldades vähendada

1) keerulises valemis jätame välja sulgude välimise paari;

2) tellime loogiliste operatsioonide märgid "vanuse järgi":

↔, →, ∨, ∧, ~ .

Selles loendis on ↔ kõige ulatuslikum ja ~ kõige väiksem. Operatsioonimärgi ulatuse all mõistetakse propositsiooniloogika valemi neid osi, mille suhtes selle märgi eeldatav esinemine kehtib (toimib). Seega on suvalises valemis võimalik jätta välja need sulgude paarid, mida saab taastada, võttes arvesse "paremusjärjestust". Ja sulgude taastamisel pannakse esmalt kõik sulgud, mis on seotud kõigi ~ märgi esinemistega (antud juhul liigume vasakult paremale), seejärel kõikidele ∧ esinemistele jne.

Näide 8. Parandage ettepanekuloogika valemi sulud B ↔ ~ C ∨ D ∧ A .

Otsus. Sulgudes taastatakse samm-sammult järgmiselt:

B ↔ (~ C) ∨ D ∧ A

B ↔ (~ C) ∨ (D ∧ A)

B ↔ ((~ C) ∨ (D ∧ A))

(B ↔ ((~ C) ∨ (D ∧ A)))

Kõiki propositsiooniloogika valemeid ei saa kirjutada ilma sulgudeta. Näiteks valemites A → (B → C) ja ~ ( A → B) sulgude edasine välistamine pole võimalik.

Tautoloogiad ja vastuolud

Loogilised tautoloogiad (või lihtsalt tautoloogiad) on väidete loogika sellised valemid, et kui tähed asendatakse meelevaldselt väidetega (tõesed või valed), siis on tulemus alati tõene.

Kuna keerukate väidete tõesus või valedus sõltub ainult tähendustest, mitte väidete sisust, millest igaüks vastab kindlale tähele, saab kontrolli, kas antud väide on tautoloogia, asendada järgmiselt. Uuritavas avaldises asendatakse tähtede asemel kõikvõimalikul viisil väärtused 1 ja 0 (vastavalt "tõene" ja "väär") ning avaldiste loogilised väärtused arvutatakse loogiliste toimingute abil. Kui kõik need väärtused on võrdsed 1-ga, siis on uuritav avaldis tautoloogia ja kui vähemalt üks asendus annab 0, siis see pole tautoloogia.

Seega nimetatakse propositsiooniloogika valemit, mis võtab selles valemis sisalduvate aatomite väärtuste mis tahes jaotuse korral väärtuse "tõene". identne tõelise valemiga või tautoloogia .

Vastupidisel tähendusel on loogiline vastuolu. Kui kõigi lausete väärtused on võrdsed 0-ga, siis on avaldis loogiline vastuolu.

Seega nimetatakse lausete loogika valemit, mis võtab selles valemis sisalduvate aatomite väärtuste mis tahes jaotuse korral väärtuse "väär". identselt valevalemi järgi või vastuolu .

Lisaks tautoloogiatele ja loogilistele vastuoludele on väidete loogika valemid, mis pole ei tautoloogiad ega vastuolud.

Näide 9. Looge propositsiooniloogika valemi jaoks tõetabel ja tehke kindlaks, kas see on tautoloogia, vastuolu või mitte.

Otsus. Koostame tõetabeli:

JA	JA	JA	JA	JA
JA	L	L	L	JA
L	JA	L	JA	JA
L	L	L	L	JA

Mõistete väärtustes ei leia me joont, milles "true" järgneb "false" -le. Kõik algse väite tähendused on võrdsed "tõega". Järelikult on see propositsiooniloogika valem tautoloogia.

Avalduste tüübid

Tavapärane on loogiliste lausete jagamine kahte tüüpi: elementaarsed loogilised avaldised ja liitloogilised väited.

Ühendatud loogiline avaldus on lause, mis on moodustatud teistest väidetest, kasutades loogilisi ühendusi.

Loogiline kimp on mis tahes lause loogiline toiming. Näiteks tavalises kõnes kasutatavad sõnad ja fraasid "Mitte", "ja", "või", "kui ... siis", "siis ja alles siis" on loogilised ühendused.

Elementaarsed loogilised väited - need pole liitühendustega seotud väited.

Näited: "Petrov on arst", "Petrov on maletaja" - elementaarsed loogilised väited. „Petrov on arst ja maletaja“ on liitloogiline väide, mis koosneb kahest elementaarsest avaldusest, mis on omavahel seotud lingi „ja“ abil.

Seos matemaatilise loogikaga

Tavaloogika on kaheväärtuslik, see tähendab, et see omistab lausetele ainult kaks võimalikku tähendust: tõene või väär.

Las see olla avaldus. Kui see on tõsi, siis kirjutage, kui vale, siis.

Põhitoimingud loogiliste lausetega

Negatsioon loogiline lause - loogiline lause, mis võtab väärtuse "true", kui algne lause on vale, ja vastupidi.

Ühendus kaks loogilist väidet - loogiline väide, tõene ainult siis, kui need on üheaegselt tõesed.

Disjunktsioon kaks loogilist väidet - loogiline väide, tõene ainult siis, kui vähemalt üks neist vastab tõele.

Mõju kaks loogilist lauset A ja B on loogiline väide, mis on vale ainult siis, kui B on vale ja A on tõene.

Samaväärsus (samaväärsus) kaks loogilist väidet - loogiline väide, tõene ainult siis, kui need on üheaegselt tõesed või valed.

Kvantor universaalsus () on loogiline väide, mis on tõene ainult siis, kui antud hulga iga objekti x puhul on väide A (x) tõene.

Kvantor kvantoriga loogiline avaldus olemasolu () on loogiline väide, mis on tõene ainult siis, kui antud kogumis on objekt x, nii et väide A (x) on tõene.

Vaata ka

• Avaldus

Märkused

Kirjandus

• Karpenko, A.S. Kaasaegsed uuringud filosoofiloogikas // Loogikaõpetus. Probleem 10. - M.: Nauka, 2003. ISBN 5-02-006257-X - S. 61-93.
• Kripke, S.A. Wittgenstein reeglite ja individuaalse keele kohta / Per. V. A. Ladova, V. A. Surovtseva. Kokku. toim. V. A. Surovtseva. - Tomsk: Kirjastus Vol. Ülikool, 2005. - 152 lk. - (analüütilise filosoofia raamatukogu). ISBN 5-7511-1906-1
• Kurbatov, V.I. Loogika. Süstemaatiline kursus. - Rostov n / a: Phoenix, 2001. - 512 lk. ISBN 5-222-01850-4
• Schumann, A. N. Kaasaegne loogika: teooria ja praktika. - Minsk: Econompress, 2004. - 416 lk. ISBN 985-6479-35-5
• Makarova, N.V. Informaatika ja IKT. - Peterburi: Peter Press, 2007 ISBN 978-5-91180-198-4 - S. 343-345.
• N. I. Kondakov Loogiline sõnaraamat / Gorskiy D.P .. - M.: Nauka, 1971. - 656 lk.

Wikimedia Foundation. 2010.

Vaadake, mis on "avaldus (loogika)" teistes sõnastikes:

Utterance: utterance (loogika) lause, mis võib olla tõene või vale. Lause lausumine konkreetses kõnesituatsioonis. Vt ka kohtuotsus ... Wikipedia

- (kreeka keelest. logosõna, mõiste, arutluskäik, mõistus) või formaalne loogika, teadus õige mõtlemise seadustest ja toimingutest. L. aluspõhimõtte kohaselt määrab arutluskäigu (järelduse) õigsuse ainult selle loogiline vorm või ... ... Filosoofiline entsüklopeedia

Loogika osa, kus uuritakse väidete vahelisi tõesuhteid. Selle osa raames käsitletakse väiteid (väiteid, lauseid) ainult vaatenurgast. nende tõde või vale, sõltumata nende sisemisest subjektiivsest ... Filosoofiline entsüklopeedia

väidete loogika - AVALDUSTE LOGIKA, propositsiooniloogika on sümboolse loogika haru, mis uurib lihtsatest moodustatud keerukaid väiteid ja nende suhteid. Erinevalt predikaatloogikast toimivad lihtsad väited ... ... Epistemoloogia ja teadusfilosoofia entsüklopeedia

Grammatiliselt õige deklaratiivne lause koos selle väljendatud tähendusega. Loogikas kasutatakse V. mitut mõistet, mis erinevad üksteisest oluliselt. Esiteks on see kirjeldava ehk p ja tuivi kohta käiv mõiste ... ... Filosoofiline entsüklopeedia

Burrows Abadi Needhami loogika ehk BAN-loogika on ametlik loogiline mudel teadmiste ja usalduse analüüsimiseks, mida kasutatakse laialdaselt protokollide analüüsimisel ... ... Wikipedia

Loogika keskosa, mis uurib väite subjektiivset predikaadi struktuuri ja nendevahelisi tõesuhteid. L. lk. on väidete loogika tähendusrikas jätk. Selles jaotises on kõik avaldused ... ... Filosoofiline entsüklopeedia

Või teaduse loogika, ideede, meetodite ja loogikaaparaatide rakendamine teaduslike teadmiste analüüsimisel. Loogika areng on alati olnud tihedalt seotud teoreetilise mõtlemise praktikaga ja ennekõike teaduse arenguga. Konkreetne arutluskäik annab loogilist materjali ... Filosoofiline entsüklopeedia