teigiamoji logika

teigiamóji lògika, šiuolaikinės matematinės logikos kryptis, nenaudojanti neigimo loginės operacijos. Šiai krypčiai priklauso logika, naudojanti vienintelį loginį simbolį (funktorių) – Shefferio brūkšnį: X|Y reiškia X ir Y nesuderinami, t. y. X ir Y tuo pačiu metu nėra teisingi, konjunkcija žymima formule (X|Y)|(X|Y), disjunkcija – (X|X)|(Y|Y). Šioje logikoje neigimą galima išreikšti formule A|A. Neigimo loginės operacijos neturi H. Curry propozicinė algebra (turi tik tris logines operacijas: implikaciją, konjunkciją ir disjunkciją) ir D. Hilberto teiginių skaičiavimas (turi tik implikaciją, konjunkciją, disjunkciją ir ekvivalentumą). H. Curry ir D. Hilberto loginėse sistemose neigimas neišreiškiamas.