Tiesos vertės logika

Tiesos vertės logika, tiesa (T arba 1) arba melagingumas (F arba 0) duotame teiginyje ar teiginyje. Loginiai jungiamieji elementai, tokie kaip disjunkcija (simbolizuota ∨, reiškiant „arba“) ir neigimas (simbolizuojama ∼), gali būti laikomi tiesos funkcijomis, nes junginio teiginio tiesos vertė yra funkcijos, kurios dydis priklauso nuo, jo sudedamųjų dalių tiesos vertės.

Sudėtinio teiginio tikrąją vertę galima lengvai patikrinti naudojant lentelę, vadinamą tiesos lentele. Kiekviena lentelės eilutė parodo galimą junginio komponentų tiesos verčių derinį, o eilučių skaičių lemia galimų derinių skaičius. Pvz., Jei junginyje yra tik du komponentų pasiūlymai, bus keturios galimybės ir keturios lentelės eilutės. Įprastų jungiamųjų elementų logines savybes tiesos lentelėse galima parodyti taip:

kuriame · reiškia „ir“, o ⊃ reiškia „jei“… tada “. (Pavyzdžiui, lentelės „arba“ antroje eilutėje rašoma: „Jei p yra tiesa, o q yra klaidinga, tada p ∨ q yra tiesa.“) Daug sudėtingesnės tiesos lentelės, turinčios daugybę tiesos funkcijų., gali būti sukonstruotas kompiuteriu. Sukurtos abstrakčios logikos sistemos, kuriose naudojamos trys tiesos vertės (pvz., Tikra, klaidinga ir neapibrėžta) ar net daug, kaip ir miglotoje logikoje, kurioje teiginių reikšmės yra nuo 0 iki 1.