Norint apibrėžti sąvoką „teiginio logika“, reikia aiškiai suprasti, kas yra „pasakymas“.
Taigi teiginys yrasakinys, kuris yra gramatiškai teisingas ir klaidingas ar teisingas. Ši sąvoka turėtų išreikšti tam tikrą prasmę. Pavyzdžiui, frazė „kanarėlė yra paukštis“ apima šias sudedamąsias dalis: „kanarėlė“ ir „paukštis“.
Štai kodėl viena pagrindinių pradinių logikos sąvokų yra teiginiai. Šios sąvokos turėtų apibūdinti konkrečią situaciją, kurioje bus arba kažkas patvirtinta, arba paneigta.
Teiginys laikomas tiesa, jei apibūdinant jį atsekiama situacijos tikrovės atitiktis. Patys „klaidinga“ ir „tiesa“ lemia teiginių tikrumą.
Teiginių logika susideda iš paprastų irsudėtingos išraiškos. Taigi teiginys laikomas paprastu, kuriame nėra kitų posakių. Sudėtingos yra išraiškos, išvestos iš paprastų, logiškai susijusių teiginių.
Klasikinė sakinių logika gali būtiatstovaujama bendra išskaičiavimo teorija. Būtent tokia logikos dalis apibūdina paprastų posakių, nepriklausomų nuo sakinių struktūros, loginius ryšius.
Neįmanoma neminėti junginio - sunkuteiginys, gautas sujungus du paprastus posakius, naudojant žodį „ir“. Junginio tiesą patvirtina visų teiginių, įtrauktų į jo struktūrą, patikimumas. Tuo atveju, kai bent vienas iš jos narių yra melagingas, visa junginė turi „klaidingo“ ženklą.
Pats junginys skirtas formuoti tuos sudėtingus teiginius, kurie grindžiami tokiomis prielaidomis:
- bet kuri išraiška (paprasta ir sudėtinga) gali būti teisinga arba klaidinga;
- sudėtingo teiginio tiesa tiesiogiai priklauso nuo jo teiginių teisingumo ir jame esančių loginių ryšių.
Derinant du sakinius naudojantžodžiai „arba“ jau yra disjunkcija. Kasdieniniame gyvenime šią sąvoką galima nagrinėti atsižvelgiant į dvi skirtingas reikšmes. Pirma, tai yra neišimtinė reikšmė, reiškianti išraiškos tiesą, neatsižvelgiant į tai, ar viena iš dviejų yra tiesa, ar jos abi yra. Antra, išimtinė reikšmė teigia, kad viena iš frazių yra teisinga, o kita - klaidinga.
Pasiūlymo logikos formulėse yra specialiųjųveikėjai. Taigi, atskirai, simbolis V reiškia, kad išraiška yra teisinga, jei bent vienas iš teiginių yra teisinga, ir klaidinga, jei abu jos nariai yra melagingi.
Kai apibrėžiama implikacija egzistuojateiginys, kad klaidingas tyrimas negali patvirtinti teiginio pagrindo. Kitaip tariant, ši sąvoka apima išraiškos tiesos ar klaidingumo priklausomybę nuo jos komponentų prasmės ir jų ryšio būdų.
Nors numanymas yra gana naudingastam tikrais tikslais tai nelabai atitinka sąlyginių santykių supratimą apskritai. Taigi ši sąvoka, nors ir apimanti daugelį svarbių pasakymo loginio elgesio bruožų, negali būti tinkamas jos apibūdinimas.
Teiginių logika siekiama tokių išspręsticentrinė užduotis, kaip teisingo ir neteisingo samprotavimo schemų atskyrimas ir pirmosios susisteminimas. Norėdami gauti tinkamą rezultatą, turite sutelkti dėmesį į specialius simbolius, kurie gali parodyti vieną ar kitą formą. Taigi susidomėjimas tokiais iš pažiūros nereikšmingais žodžiais kaip „arba“, „ir“ ir kt.
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., Jungtuve naudojamas simbolis &, disjunkcija naudojamas / arba º /.
