Norint nustatyti terminą „pareiškimų logika“, būtina aiškiai suprasti, kas yra „pareiškimas“.
Taigi, teiginys yraSakinys, kuris yra gramatiškai teisingas ir klaidingas arba tikras. Ši koncepcija turėtų išreikšti tam tikrą prasmę. Pavyzdžiui, sąvoka "kanarikas yra paukštis" apima tokias sudedamąsias dalis: "kanarėlė" ir "paukštis".
Štai kodėl viena iš pagrindinių, pradinių logikos sampratų ir teiginių. Šios sąvokos turėtų apibūdinti konkrečią situaciją, kurioje bus arba kažko pareiškimas, arba negacija.
Pareiškimas laikomas teisingu, jei situacija gali būti susieta su situacijos tikrove aprašant ją. Pačios savaime "klaidinga" ir "tiesa" lemia pareiškimų tiesą.
Išrašų logika susideda iš paprastų irsudėtingos išraiškos. Taigi teiginys, kuriame nėra kitų išraiškų, laikomas paprastu. Ir sudėtingos išraiškos apima išraiškas, kurios yra kilusios iš paprastų, logiškai susijusių teiginių.
Klasikinė teiginių logika gali būtiatstovaujama bendrajai atskaitymo teorijai. Būtent tai yra logikos dalis, kurioje apibūdinami loginiai vientisų išraiškų, nepriklausančių nuo teiginių struktūrai, sąsajos.
Neįmanoma nekalbėti apie jungtį - sunkupareiškimas, gautas, derinant du paprastus žodžius su žodžiu "ir". Sąvokos tiesą patvirtina visų jo struktūroje esančių teiginių patikimumas. Tuo atveju, kai bent vienas iš jo narių yra klaidingas, visa jungtis turi "klaidingą" ženklą.
Pati sąveika yra naudojama sudaryti tuos sudėtingus sakinius, kurie yra pagrįsti šiomis prielaidomis:
- bet kokia išraiška (tiek paprasta, tiek sudėtinga) gali būti teisinga arba klaidinga;
- sudėtingo pasisakymo tiesa tiesiogiai priklauso nuo jos pareiškimų ir loginių ryšių tiesoje.
Jungiant du teiginius naudojantžodis „arba“ jau yra disjunkcija. Kasdieniame gyvenime ši koncepcija gali būti vertinama pagal dvi skirtingas reikšmes. Pirma, tai yra ne išimtinė prasmė, kuri reiškia išraiškos tiesą, nepriklausomai nuo to, ar vienas iš dviejų yra teisingas, ar abu. Antra, išimtinė reikšmė patvirtina, kad viena iš išraiškų yra teisinga, o kita yra klaidinga.
Siūlomos logikos formulės yra ypatingossimbolių. Taigi disjunkcijoje simbolis V reiškia, kad išraiška yra teisinga, jei bent vienas iš teiginių yra teisingas ir klaidingas, jei abu jos nariai yra klaidingi.
Kai apibrėžiama implikacija egzistuojateiginys, kad klaidingas tyrimas negali patvirtinti teiginio pagrindo. Kitaip tariant, ši sąvoka apima išraiškos tiesos ar klastotės priklausomybę nuo jos komponentų prasmės ir jų ryšio būdų.
Nors tai yra naudingatam tikrais tikslais jis nėra labai suderinamas su visuotinio sąlyginio ryšio supratimu. Taigi, apimant daugelį reikšmingų posakio loginio elgesio bruožų, ši sąvoka negali būti tinkamas jo aprašymas.
Pareiškimų logika siekiama išspręsti tokias problemaspagrindinė užduotis, kaip teisingų ir neteisingų motyvavimo modelių atskyrimas ir pirmosios struktūrizavimas. Norint gauti teisingą rezultatą, reikia atkreipti dėmesį į specialius simbolius, kurie gali atstovauti tam tikrą formą. Taigi iš pirmo žvilgsnio susidomėjimas tokiais nereikšmingais žodžiais kaip „ar“, „ir“ ir tt
Teiginių logika netgi turi savo kalbą, susidedančią iš šių elementų:
- šaltinio simboliai - kintamieji, loginės konstantos ir techniniai ženklai;
- formulės.
Norint geriau suprasti, kas buvo pasakyta, reikia pereiti prie konkrečių pavyzdžių. Pvz., Junginyje naudojamas simbolis &, disjunkcija / / arba º /.
