Logika izjava

Da bi se odredio izraz "propozicionalna logika", potrebno je jasno razumjeti što je "izjava".

Dakle, izjava je rečenica koja je gramatički ispravna i lažna ili istinita. Taj koncept trebao bi izraziti određeno značenje. Na primjer, izraz "kanarij je ptica" uključuje takve komponente: "kanarinac" i "ptica".

Zato je jedan od ključnih, originalnih koncepata logike izjava. Ovi koncepti trebaju opisati specifičnu situaciju u kojoj će biti izjava o nečemu ili negacija.

Izjava se smatra istinita ako se opisuje stvarnost situacije kada ga opisuje. Sami "laži" i "istina" određuju istinu izjava.

Logika izjava sastoji se od jednostavnih i složenih izraza. Dakle, jednostavna izjava koja ne uključuje druge izraze u svom sastavu smatra se jednostavnim. A kompleksni su izrazi, koji se dobivaju iz jednostavnih, logički povezanih izjava.

Klasična logika prijedloga može se predstaviti općom teorijom oduzimanja. Upravo je to dio logike u kojemu su opisane logičke veze jednostavnih izraza koje su neovisne o strukturi izjava.

Nemoguće je spominjati povezanost - složenu izjavu, dobivenu kombiniranjem dvaju jednostavnih izraza s riječju "i". Istinitost veze potvrđuje pouzdanost svih izjava uključenih u njegovu strukturu. U slučaju da je najmanje jedan od njegovih članova lažan, cijeli spoj ima znak "laž".

Skup sama služi za oblikovanje složenih izjava koje se temelje na takvim pretpostavkama:

- bilo koji izraz (i jednostavan i složen) može biti istinit ili neistinito;

- istina složene izjave izravno ovisi o istini svojih izjava i logičkim vezama u njemu.

Kada se dvije izjave kombiniraju s upotrebom riječi "ili", dobiva se razdvajanje. U svakodnevnom životu taj se koncept može promatrati s gledišta dvaju različitih značenja. Prvo, to je neisključivo značenje, što podrazumijeva istinitost izraza, bez obzira je li jedan od ova dva izraza istinit ili oboje. Drugo, isključivo značenje navodi da je jedan od izraza istinit, a drugi je lažan.

Formule propozicijske logike sadrže posebne simbole. Dakle, u disjunkciji, simbol V označava to izraz je istinit s istinom najmanje jedne izjave, i lažno je ako su oba njegova izraza netočna.

U određivanju implikacije postoji tvrdnja da osnova izjave ne može biti istinita za lažnu posljedicu. Drugim riječima, ovaj koncept pretpostavlja ovisnost istine ili neistinitosti izraza na značenje njegovih sastavnica i načina njihova povezivanja.

Unatoč činjenici da je implikacija dovoljno korisna za neke svrhe, nije u skladu s razumijevanjem uvjetnog odnosa općenito. Dakle, u obuhvaćanju mnogih važnih značajki logičkog ponašanja izričaja, ovaj koncept ne može biti odgovarajući opis.

Logika izjava je usmjerena na rješavanje takvog središnjeg zadatka kao što je odvajanje ispravnih i netočnih shema razmišljanja i sistematizacije prve. Da biste dobili pravi rezultat, morate usmjeriti svoju pozornost na posebne simbole koji mogu predstavljati jedan ili drugi oblik. Stoga je naznačeno zanimanje za riječi poput "ili", "i" itd., Koje su beznačajne na prvi pogled.

Logika izjava ima čak i svoj jezik, koji se sastoji od sljedećih elemenata:

- početni simboli - varijable, logičke konstante i tehnički znakovi;

- formule.

Radi boljeg razumijevanja onoga što je rečeno potrebno je prijeći na konkretne primjere. Na primjer, veza koristi simbol , disjunkt - / ili ordm- /.