Da bi se odredio izraz "propozicionalna logika", potrebno je jasno razumjeti što je "izjava".
Dakle, izjava je aRečenica 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 islož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.
Može biti klasična logika izjavapredstavlja opću teoriju oduzimanja. Upravo je to dio logike u kojemu su opisane logičke veze jednostavnih izraza koje su neovisne o strukturi izjava.
Nemoguće je spomenuti spoj - kompleksIzraz, dobiven kombiniranjem dva jednostavna 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 oblikovanju 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 spojite dvije rečenice pomoćuriječ "ili" već je odvojena. 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 posebneznakova. Dakle, u disjunctionu, simbol V označava da je izraz istinit ako je barem jedna od izjava istinita i da je lažna ako su oba njegova izraza netočna.
Pri određivanju implikacije, postojitvrdnja da osnova izjave ne može biti istinita s lažnom posljedicom. 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 vrlo korisnaza 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 problema.središnji zadatak, kao razdvajanje ispravnih i pogreš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, zajedno koristi znak &, odvojak - / ili º /.
</ p>
