Teiginių logika
Teiginių logika – matematinės logikos mokslo teorija, kurioje formaliosios kalbos simboliais bei loginėmis operacijomis nusakomi teiginiai. Išvedimo ir ekvivalencijos taisyklių sistema leidžia išvesti tam tikras formules, kurios vadinamos teoremomis, o tokie teiginiai yra interpretuojami kaip teisingi. Visa eilė formulių, kuri yra surašoma naudojantis šia sistema, yra vadinama išvedimu, o paskutinė iš jų yra teorema, kurios išvedimas ir yra laikomas teiginio teisingumo įrodymu. Teiginių logikos interpretaciją riboja teisingumo reikšmė, kuri dažniausiai būna arba teisinga, arba klaidinga.