Pametne izreke. Izjava (logika)

Mora biti izjavna rečenica i suprotstavlja se imperativnim, upitnim i bilo kojim drugim rečenicama čija se istinitost ili neistinitost ne mogu ocijeniti.

Izjava i presuda

Isti sud može se izraziti na različitim jezicima i u različitim znakovnim oblicima unutar istog jezika. Kada se prijedlog razmatra u vezi s nekim posebnim oblikom njegovog jezičnog izraza, naziva se izjava. Termin “presuda” se koristi kada se apstrahujemo od toga šta je tačno njegov znakovni oblik.

Vrste izjava

Logički iskazi se obično dijele na složene (ili složene) i elementarne. Složeni logički izrazi su izrazi koji sadrže logičke konstante. Složeni iskazi se grade na osnovu drugih iskaza. Logičko značenje složenog iskaza određeno je logičkim značenjem iskaza uključenih u njegov sastav i logičkim konstantama pomoću kojih je konstruisan.

Elementarni logički iskazi su iskazi koji nisu povezani sa složenicama. Primjer elementarne izjave bi bio 5 < 7 {\displaystyle 5<7} . Primjer složene logičke izjave bi bio Ako 5 < 7 {\displaystyle 5<7} , To 5 (\displaystyle 5)- čak broj.

Logičke konstante

Logička konstanta (logička konstanta, logička operacija) je naziv pojma koji zadržava isto značenje u svim iskazima i ne zavisi od specifičnog sadržaja iskaza. Logičke konstante se koriste za povezivanje jednostavnih iskaza u složene. Logičke konstante se dijele na kvantifikatore i logičke konjunkcije (veze). riječi: Ne; To nije tačno; And; ili; ako onda; ako i samo ako; ili bilo koji; nekompatibilno; ne ne; ne..., ali; Ali a najbliži sinonimi su im logički veznici, riječi za sve...to je slučaj da; za neke...to je slučaj a njihovi najbliži sinonimi su kvantifikatori. Logičke konstante služe i za izražavanje misli u svakodnevnom rasuđivanju i u naučnom dokazu.

• ∀ (\displaystyle \forall )- logičke konstante Sve, za sve...to je slučaj(opći kvantifikator);
• ∃ (\displaystyle \exists)- logičke konstante postoji jedan koji..., za neke...to je slučaj(kvantifikator postojanja);
• ∧ (\displaystyle \land ), & (\displaystyle \I )- sindikat I(veznik);
• ∨ (\displaystyle \vee)- sindikat ili kada se pojavljuje u vezivno-razdvojnom značenju (disjunkcija);
• ∨ ˙ (\displaystyle (\dot (\vee ))), ∨ ∨ (\displaystyle \vee \vee )- sindikat ili, kada se pojavljuje u strogo odvojenom isključivom značenju (disjunkcija);
• → (\displaystyle \rightarrow ), ⊃ (\displaystyle \supset)- sindikat ako onda(implikacija);
• ¬ (\displaystyle \neg )- riječi Ne, pogrešno(negacija).

Logički veznici su dio jezika propozicionalne logike, kvantifikatori su dodatno uvedeni u jezik predikatske logike, koji je produžetak jezika propozicionalne logike.

Logički subjekt i logički predikat

Logički subjekt je ono što je rečeno u rečenici (izjava), na šta se odnose afirmacije ili negacije sadržane u rečenici. Logički predikat - informacija sadržana u rečenici (izjava) o logičkom subjektu.

Ulogu logičkih subjekata imaju jednostavni i složeni nazivi, ulogu logičkih predikata imaju predikatori (ili predikati). Ovo posljednje uključuje svojstva i odnose. Predikatori imaju ulogu mapiranja objekta i istine, dajući objektima određene klase "tačno" ili "netačno" ocjenu. U ovom slučaju, svojstva su predikatori na jednom mjestu, karakteriziraju jedan pojedinačni objekt, a relacije su višemjesne, karakterišu par, tri, itd. objekata. Sam iskaz, u slučaju predikatora sa više mjesta, sadrži nekoliko logičkih subjekata.

Oblici izjava

Forma iskaza zahtijeva dopunu, bilo da se potvrda ili negacija u sudu odnosi na sve ili ne na sve objekte klase koju dato opšte ime predstavlja. Funkciju takvih pokazivača obavljaju ekspresno ili implicitno

Gramatički ispravna deklarativna rečenica uzeta zajedno sa značenjem koje izražava. U logici se koristi nekoliko koncepata logike koji se međusobno značajno razlikuju. Prije svega, ovo je koncept deskriptivnog, odnosno deskriptivnog, ... ... Philosophical Encyclopedia

U logici, rečenica koja može biti istinita ili netačna. Vidi također: Izjave Propozicioni račun Finansijski rječnik Finam. Izjava Izjava je cjelovita misao formalizirana u govoru, čije značenje ovisi o određenom ili... Financial Dictionary

Prijedlog, presuda, izjava; primedba, tautologija, izričaj, govor, kontradikcija, logos, govor, izjava, izlaganje, izreka, izliv, izjava, prezentacija, diskurs, fraza, izlivanje, rezonovanje, sutra, ... ... Rečnik sinonima

IZJAVA, izjave, up. (knjiga). 1. samo jedinice Radnja pod Ch. express. Izražavanje vašeg mišljenja. 2. Izraženi sud, primjedba, mišljenje. Prikupite izjave klasika marksizma o jeziku. Ušakovljev rečnik objašnjenja. D.N. Ushakov..... Ushakov's Explantatory Dictionary

Misao izražena deklarativnom rečenicom koja može biti istinita ili netačna; u lingvistici, jedinica govorne komunikacije, formalizovana prema zakonima datog jezika... Veliki enciklopedijski rječnik

IZJAVA, I, cf. 1. vidjeti ekspresno, sya. 2. Navedena presuda. Sadržaj u. 3. U gramatici: bilo koja intonacijski dizajnirana sintaksička jedinica koja sadrži poruku, frazu. Ozhegov rečnik objašnjenja. S.I. Ozhegov, N.Yu. Shvedova. 1949… … Ozhegov's Explantatory Dictionary

IZJAVA- IZJAVA. Jedinica govorne komunikacije koja ima semantički integritet, formirana određenom stvarnom podjelom kao dio govornog čina. V. se može podudarati s rečenicom, ali može biti i poruka koja se ne uklapa u shemu jednostavnog ... ... Novi rječnik metodičkih pojmova i pojmova (teorija i praksa nastave jezika)

izjava- Moguće stanje entiteta za koje se može tvrditi ili negirati da postoji takvo stanje. [GOST 34.320 96] Teme baze podataka EN ponuda ... Vodič za tehnički prevodilac

Izjava- Izraz je jedinica govorne komunikacije. Potreba za izdvajanjem iskaza kao lingvističkog koncepta povezana je sa produbljivanjem proučavanja funkcionisanja jezičkih oblika u govoru. Izreka se definiše u odnosu na pojam rečenice.… … Lingvistički enciklopedijski rječnik

Propozicija: Izjava (logika) je rečenica koja može biti istinita ili netačna. Izraz (lingvistika) je rečenica u konkretnoj govornoj situaciji. Vidi i Presuda... Wikipedia

izjava- I. IZJAVA IZJAVA, izlivanje, izraz, izlivanje, izraz GOVORI / GOVORI, izliti / izliti, izraziti / izraziti, izliti / izliti, knjiga. ekspresno/izraziti GOVORITI, izliti GOVORITI/IZGOVORITI,… … Rječnik-tezaurus sinonima ruskog govora

Knjige

• Izjava i njena korelacija sa stvarnošću. Referentni aspekti semantike zamjenica, Paducheva E.V.. Ova monografija posvećena je problemima korelacije iskaza sa stvarnošću - sa konkretnim objektima, događajima i situacijama u stvarnom svijetu. Knjiga govori o teoriji...

Izreka je gramatički ispravna izjavna rečenica uzeta zajedno sa značenjem koje izražava. U logici se koristi nekoliko koncepata logike koji se međusobno značajno razlikuju. Prije svega, ovo je koncept deskriptivnog, ili deskriptivnog, čiji je glavni zadatak opisati stvarnost. Takav V. je istinit ili netačan; ponekad se pretpostavlja da je sposoban da preuzme neke “neodređene” vrijednosti istine, između potpune istine i potpune laži. Logika je dugo težila upotrebi izraza "V". samo u odnosu na deskriptivne rečenice, tako da klasična logika tretira rečenice kao narativnu rečenicu, sagledanu zajedno sa svojim sadržajem u aspektu istinitosti. Kurs moderne logike obično počinje definicijom rečenice kao rečenice koja je istinita ili netačna. Budući da procjene, norme, privremeni iskazi koji vremenom mijenjaju svoju istinitost, besmislene izjave itd. nemaju istinitost, ova definicija se može shvatiti kao primjenjiva samo na deskriptivno V. Očigledno je, međutim, da zakoni klasične logike važe ne samo za deskriptivno V. Sljedeći važan tip V. je evaluativna V., koja uspostavlja apsolutnu ili uporednu vrijednost nekog objekta. Evaluacijske vrijednosti uključuju same procjene, uključujući koncepte “dobro”, “loše”, “bolje”, “gore” itd., kao i analitičke vrijednosti, izjave o ciljevima, standardima, konvencijama, idealima, itd. poseban slučaj evaluativnog V. je normativni V. Međugrupu između deskriptivnog i evaluativnog V. čine „mješoviti“, deskriptivno-evaluativni V. Oni ne samo da opisuju i bilježe postojeću jezičku praksu, već je vrednuju i propisuju specifične lingvističke ponašanje. Dvostruki, deskriptivno-evaluativni v. u nekim situacijama igraju ulogu opisa i kao takvi se mogu okarakterisati kao istiniti ili lažni, u drugim obavljaju funkciju procjena lišenih istinitosti vrijednosti. Kao još jedna nezavisna grupa može se identifikovati neodređeno V. kao što su: “Ova kuća je plava”, “Ovde raste drvo”, “Sutra će biti pomračenje Sunca” itd. Takvi V. sami po sebi nisu ni istiniti ni false , oni dobijaju istinitost samo u lokalizovanoj situaciji, posebno kada se specificiraju prostorno-vremenske koordinate. Mnogi V., koji se obično klasifikuju kao deskriptivni, zapravo su nejasni. Recimo, B. „London je veći od Rima“ je istina, ali je istina sada: bilo je vremena kada je Rim bio veći od Londona, i možda će se ova situacija ponoviti u budućnosti. Vremenske varijable koje mijenjaju svoju istinitost tokom vremena su predmet logike vremena. Bilo je pokušaja da se konstruiše posebna logika prostora koja opisuje logičke veze prostorno neodređenih pojmova.Važno je da i deskriptivni i evaluativni koncepti mogu biti neodređeni.Drugu grupu pojmova koje proučava savremena logika čine pojmovi koji se obično klasifikuju kao besmisleno. Na primjer .: "Prosti brojevi su zeleni." Ovo je dobro oblikovana rečenica. Tako su, očigledno, i rečenice "Tačno je da su prosti brojevi zeleni" i "Mora biti slučaj da su prosti brojevi zeleni" ("Prosti brojevi moraju biti zeleni"). Prvo se čini da je rečenica opis, ali nije ni istinita ni lažna, jer boje nemaju veze sa brojevima. Čini se da druga rečenica izražava procjenu, ali se ne može reći analogno uz uobičajene evaluacijske izjave, da je ocjena koju daje djelotvorna ili Slična je situacija i sa V. „Sadašnji kralj Francuske je ćelav“, „Pegaz ima krila“ itd., govoreći o svojstvima nepostojećih objekata. Besmislene riječi ponekad uključuju i riječi s nejasnim značenjem, kao što je „Postojati znači biti percipiran“. Ne može se reći da besmisleni V. nisu V., iako ne pripadaju ni deskriptivnom ni evaluativnom V. i stoje ne samo „izvan istine i laži“, već i „izvan svrsishodnog i neprikladnog“. Besmisleni V. ipak može biti sastavni dio našeg rasuđivanja. Proučavanje takvog V. provodi se takozvanom “logikom besmisla” (vidi: Besmisleno). Ustanovljava, posebno, sljedeće zakone: negacija besmislenog V. je besmislena V.; posledice besmislenog V. su takođe besmislene, itd. Problem pripisivanja besmislenog V. V. je, međutim, komplikovan činjenicom da je besmisleno samo po sebi heterogeno. Kreće se od relativne besmislenosti povezane s miješanjem semantičkih kategorija do potpunog besmisla zbog kršenja pravila sintakse. Ako se izraz "ja sam žuti broj" još uvijek može klasificirati kao V., onda je to teško legitimno u slučaju izraza poput: "šetam", "ako pada kiša, onda glava", "Hlestakov - osoba je osoba” itd. Spisak različitih vrsta logike koje proučava logika pokazuje da je područje pojma logike heterogeno i nema jasne granice. Deskriptivni V. je samo jedan od mnogih tipova V. koji se ne mogu svesti jedan na drugi.

Definicije, značenja riječi u drugim rječnicima:

Opća psihologija. Rječnik. Ed. A.V. Petrovsky

Izjava je jedinica verbalne komunikacije. U logici, V. korelira sa sudom i razmatra se samo sa stanovišta istine/neistine. U lingvistici definicija V. zavisi od izabranog teorijskog pristupa i metode analize govora, a često je sinonim za pojam fraze. U nekim...

Poznato je da poznavanje logike povećava opću intelektualnu kulturu osobe, doprinosi formiranju logički ispravnog mišljenja, čije su glavne karakteristike jasna sigurnost, dosljednost, dosljednost i dokaz. Ovladavanje logičkom naukom omogućava svjesno konstruiranje ispravnih razmišljanja, razlikovanje od pogrešnih, izbjegavanje logičkih grešaka, vješto i djelotvorno potkrepljivanje istinitosti misli, odbranu svojih stavova i uvjerljivo pobijanje pogrešnih misli i pogrešnih razmišljanja svojih protivnika, te doprinos poboljšanje spontano formirane logike mišljenja. Zahvaljujući logici, osoba se upoznaje sa najnovijim rezultatima logičkih istraživanja.

Koncept iskaza

Jedan od osnovnih koncepata logike je „ izjava" Hajde da utvrdimo značenje ovog pojma.

Svaka ljudska aktivnost je nekako povezana sa različitim izjavama. Presuda, primjedba, bilješka itd. su izjave. U logičkoj algebri, propozicija je varijabla koja može poprimiti jedno od dva značenja i na kojoj se mogu izvršiti određene radnje. Drugim riječima, izjava je rečenica koja se može ocijeniti istinitom ili netačnom.

Slično, varijabla u običnoj propozicionoj algebri označava se slovima nekog alfabeta, na primjer latinice: A, B, X, itd.

Vrste iskaza Jednostavna izjava

Struktura iskaza može biti jednostavna ili sastavljena.

Po svom značenju, iskazi sadrže jednu poruku ili iskaz o postojećem svijetu. Takva izjava se zove jednostavno. Na primjer, “dijagnoza infarkta miokarda”; "Pacijent ima poremećaj srčanog ritma."

Prevedene izjave (logičke funkcije)

Od jednostavnih iskaza koji koriste veznike I, ILI i NE formiraju se složeni iskazi koji se nazivaju logičke funkcije. Prosti iskazi od kojih se formira složeni iskaz se nazivaju logičke argumente. Rečenica „Pacijent osjeća jake bolove u predjelu vilice, usta se ne zatvaraju sama, teško guta i govori“ je sastavljena izjava (logička funkcija „I“).

Problematična, pouzdana, uslovna izjava

Značenje izjave može biti problematično, pouzdano ili uslovno

Problematično je izjava u kojoj se nešto potvrđuje ili negira uz određeni stepen pretpostavke. Na primjer, "uzrok glavobolje je vjerovatno visok krvni pritisak."

Pouzdan je izjava koja sadrži znanje, potkrijepljeno i provjereno praksom. Na primjer, „osoba udiše zrak“.

Uslovno- ovo je izjava koja prikazuje ovisnost određene pojave o određenim okolnostima i u kojoj su osnova i posljedica povezani logičkom vezom "ako ..., ovo ..." Na primjer, "ako je dijagnoza infarkt miokarda , tada dolazi do poremećaja srčanog ritma" Dakle, u uslovnom iskazu potrebno je razlikovati razlog i posljedicu.

Mnogo značenja izjave

Svaka izjava može biti istinita, ali i ne mora. U prvom slučaju se zove istinito u drugom - false. Tačan iskaz se može označiti simbolom 1, a pogrešan + simbolom 0, ili obrnuto. Ova oznaka je uslovna. Možete koristiti i druge simbole za označavanje: istinit iskaz može se označiti simbolom I, a lažni iskaz L. Dakle, bez obzira na raznolikost iskaza, svi oni u algebri logike mogu dobiti samo dva značenja: 1 ili 0.

Postoje izjave koje su uvijek istinite. Na primjer, „Čovjek udiše zrak“, „Pneumonija je upala pluća“. Označavajući gornje izjave sa X i Y, respektivno, možemo pisati

Postoje neke pogrešne izjave. Na primjer, “Anemija je zatajenje srca”, “Nikotin je potreban za razvoj živog organizma.” Označavajući ih sa S i P redom, možemo pisati

Većina izjava može biti istinita ili lažna. Izjava „koža osobe je blijedoružičasta“ vrijedi samo za zdravu osobu, u drugim slučajevima je implikacija;  

Izjava- rečenica kojom se izražava presuda. Ako je tvrdnja koja čini sadržaj (značenje) određene izjave istinita, onda se kaže da je ta izjava istinita. Slično, izjava koja izražava lažan sud naziva se lažnom. Istina i neistina nazivaju se logičkim, ili istinitim, značenjima iskaza.

Izjava mora biti deklarativna rečenica. Izjave se obično suprotstavljaju imperativnim, upitnim i bilo kojim drugim rečenicama čija se istinitost ili neistinitost ne mogu ocijeniti.

Enciklopedijski YouTube

• 1 / 5

  Isti sud se može izraziti u različitim jezicima i u različitim znakovnim oblicima unutar istog jezika. Kada se prijedlog razmatra u vezi s nekim posebnim oblikom njegovog jezičnog izraza, naziva se izjava. Termin “presuda” se koristi kada se apstrahujemo od toga šta je tačno njegov znakovni oblik.

  Vrste izjava

  Logički iskazi se obično dijele na složene (ili složene) i elementarne. Složeni logički izrazi su izrazi koji sadrže logičke konstante. Složeni iskazi se grade na osnovu drugih iskaza. Logičko značenje složenog iskaza određeno je logičkim značenjem iskaza uključenih u njegov sastav i logičkim konstantama pomoću kojih je konstruisan.

  Elementarni logički iskazi su iskazi koji nisu povezani sa složenicama. Primjer elementarne izjave bi bio 5 < 7 . Primjer složene logičke izjave bi bio ako 5< 7, то 5 - чётное число .

  Logičke konstante

  Logička konstanta (logička konstanta, logička operacija) je naziv pojma koji zadržava isto značenje u svim iskazima i ne zavisi od specifičnog sadržaja iskaza. Logičke konstante se koriste za povezivanje jednostavnih iskaza u složene. Logičke konstante se dijele na kvantifikatore i logičke konjunkcije (veze). riječi: Ne; To nije tačno; And; ili; ako onda; ako i samo ako; ili bilo koji; nekompatibilno; ne ne; ne..., ali; Ali a najbliži sinonimi su im logički veznici, riječi za sve...to je slučaj da; za neke...to se dešava a njihovi najbliži sinonimi su kvantifikatori. Logičke konstante služe i za izražavanje misli u svakodnevnom rasuđivanju i u naučnom dokazu.

  • ∀ (\displaystyle \forall )- logičke konstante Sve, za sve...to je slučaj(opći kvantifikator);
  • ∃ (\displaystyle \exists)- logičke konstante postoji jedan koji..., za neke...to se dešava(kvantifikator postojanja);
  • ∧ (\displaystyle \land ), & (\displaystyle \I )- sindikat I(veznik);
  • ∨ (\displaystyle \vee)- sindikat ili kada se pojavljuje u vezivno-razdvojnom značenju (disjunkcija);
  • ∨ ˙ (\displaystyle (\dot (\vee ))), ∨ ∨ (\displaystyle \vee \vee )- sindikat ili, kada se pojavljuje u strogo odvojenom isključivom značenju (disjunkcija);
  • → (\displaystyle \rightarrow ), ⊃ (\displaystyle \supset)- sindikat ako onda(implikacija);
  • ¬ (\displaystyle \neg )- riječi Ne, pogrešno(negacija).

  Logički veznici su dio jezika propozicionalne logike, kvantifikatori su dodatno uvedeni u jezik predikatske logike, koji je produžetak jezika propozicionalne logike.

  Logički subjekt i logički predikat

  Logički subjekt je ono što je rečeno u rečenici (izjava), na šta se odnose afirmacije ili negacije sadržane u rečenici. Logički predikat - informacija sadržana u rečenici (izjava) o logičkom subjektu.

  Ulogu logičkih subjekata imaju jednostavni i složeni nazivi, ulogu logičkih predikata imaju predikatori (ili predikati). Ovo posljednje uključuje svojstva i odnose. Predikatori imaju ulogu mapiranja objekta i istine, dajući objektima određene klase "tačno" ili "netačno" ocjenu. U ovom slučaju, svojstva su predikatori na jednom mjestu, karakteriziraju jedan pojedinačni objekt, a relacije su višemjesne, karakteriziraju par, tri, itd. stavke. Sam iskaz, u slučaju predikatora sa više mjesta, sadrži nekoliko logičkih subjekata.

  Oblici izjava

  Ekspresivni oblik (forma iskaza, predikat) je nepotpuna logička izjava u kojoj je jedan od objekata zamijenjen objektivnom varijablom. Prilikom zamjene bilo koje vrijednosti umjesto takve varijable, ekspresivni oblik se pretvara u iskaz. Predmetne varijable u prirodnom jeziku su opći nazivi koji predstavljaju klase predmeta i zamjenjuju se u formaliziranim jezicima posebnim simbolima. Oblik je sličan iskazu, ali nije ni istinit ni netačan (neograničeno istinito), jer se ne zna na šta se izjava ili negacija odnosi.

  Forma iskaza zahtijeva dopunu, bilo da se potvrda ili negacija u sudu odnosi na sve ili ne na sve objekte klase koju dato opšte ime predstavlja. Funkciju takvih pokazivača obavljaju eksplicitni ili implicirani kvantifikatori. Nemoguće je ocijeniti istinitim ili lažnim takav izražajni oblik kao Čovek je pravedan. Gornja fraza je slična izrazu y - pošteno. Iz ovog obrasca možete dobiti izjavu zamjenom opšteg naziva jedninom: Ivanov je fer ili uvođenjem kvantifikatora: Neki ljudi su pošteni. Izjave koje koriste kvantifikatore izražavaju višestruke - opšte i posebne - sudove.

  vidi takođe

  Bilješke

  Književnost

  • Brodsky I. N. Elementarni uvod u simboličku logiku. - Izdavačka kuća Lenjingradskog univerziteta, 1972. - 63 str.
  • Rosenthal D. E., Telenkova M. A. Rječnik-priručnik lingvističkih pojmova. - 2nd ed. - M.: Obrazovanje, 1976.
  • Velika sovjetska enciklopedija: [u 30 tomova] / gl. ed. A. M. Prokhorov. - 3. izd. - M.: Sovjetska enciklopedija, 1969-1978.
  • Kondakov N.I. Logički rječnik. - 2nd ed. - M.: Nauka, 1975. - 721 str.
  • Chupakhin I.Ya., Brodsky I.N. Formalna logika. - Lenjingrad: Izdavačka kuća Lenjingradskog univerziteta, 1977. - 357 str.
  • Voishvillo E.K., Degtyarev M.G. Logika. - M.: VLADOS-PRESS, 2001. - 528 str. - ISBN 5-305-00001-7.
  • Karpenko, A.S. Moderna istraživanja u filozofskoj logici // Logička istraživanja. - M.: Nauka, 2003. - Br. 10 . - str. 61-93. - ISBN 5-02-006257-X.
  • Nova filozofska enciklopedija. - M., 2010. - T. 2.