Za definiranje pojma „logika izraza“ potrebno je jasno razumjeti što je „izjava“.
Итак, высказывание представляет собой rečenica koja je gramatički ispravna i lažna je ili istinita. Ovaj bi koncept trebao izraziti određeno značenje. Na primjer, izraz "kanarinac je ptica" uključuje takve sastavne dijelove: "kanarinac" i "ptica".
Zato su izjave jedan od ključnih, početnih koncepata logike. Ti bi pojmovi trebali opisati specifičnu situaciju u kojoj će biti ili izjava nečega ili poricanje.
Izjava se smatra istinitom ako prilikom njenog opisivanja postoji korespondencija sa stvarnošću situacije. Sama po sebi, "laži" i "istina" određuju istinitost izjava.
Logika izjava sastoji se od jednostavnih isloženi izrazi. Dakle, izjava se smatra jednostavnom ako ne uključuje ostale izraze. A složeni izrazi uključuju izraze koji su izvedeni iz jednostavnih, logički povezanih iskaza.
Klasična logika propozicija može bitizastupljena općom teorijom dedukcije. To je upravo onaj dio logike koji opisuje logičke veze jednostavnih izraza koji ne ovise o strukturi iskaza.
Nemoguće je ne spomenuti veznik - složenizjavu dobivenu kombiniranjem dvaju jednostavnih izraza pomoću riječi "i". Istinitost povezanosti potvrđuje pouzdanost svih izjava uključenih u njenu strukturu. U slučaju kada je barem jedan od njegovih članova lažan, cijela konjunkcija ima znak "lažno".
Sama konjunkcija služi za tvorbu onih složenih izjava koje se temelje na sljedećim pretpostavkama:
- svaki izraz (i jednostavan i složen) može biti istinit ili lažan;
- istina složene izjave izravno ovisi o istinitosti izjava sadržanih u njoj i logičkim vezama u njoj.
Kada povezujete dvije izjave pomoćuriječ "ili" je već disjunkcija. U svakodnevnom životu ovaj se koncept može promatrati sa stajališta dva različita značenja. Prvo, to je neisključivo značenje, koje podrazumijeva istinitost izraza, bez obzira je li jedno od njih dvoje istinito ili je oboje. Drugo, isključivo značenje kaže da je jedan izraz izraz istinit, a drugi neistinit.
Propozicione logičke formule sadrže posebnesimbola. Dakle, u razdvajanju, simbol V označava da je izraz istinit ako je barem jedan iskaz istinit, a lažan ako su oba njegova izraza lažna.
Kada se definira implikacija, postojiizjava da razlog za izjavu ne može biti istinit ako je posljedica lažna. Drugim riječima, ovaj koncept pretpostavlja ovisnost istine ili neistinitosti izraza o značenju njegovih sastavnica i načinima njihove povezanosti.
Iako je posljedica dovoljno korisnaza neke svrhe nije baš u skladu s razumijevanjem uvjetne komunikacije općenito. Dakle, kad pokriva mnoge važne karakteristike logičkog ponašanja izjave, ovaj koncept ne može biti njegov adekvatan opis.
Logika izjava usmjerena je na rješavanje takvihsredišnji zadatak, kao razdvajanje ispravnih i netočnih shema rasuđivanja i sistematizacije prvih. Da biste postigli pravi rezultat, morate se usredotočiti na posebne simbole koji mogu predstavljati jedan ili drugi oblik. Otuda je naznačeno zanimanje za takve naizgled beznačajne riječi kao „ili“, „i“ itd.
Logika izjava čak ima svoj jezik, koji se sastoji od sljedećih elemenata:
- izvorni simboli - varijable, logičke konstante i tehnički znakovi;
- formule.
Za bolje razumijevanje onoga što je rečeno, potrebno je obratiti se konkretnim primjerima. Na primjer, konjunkcija koristi znak &, disjunkcija koristi / ili º /.