Loogika aine ja ajalugu
vähemalt üks neist kehtib, ei piisa. Seetõttu ei aktsepteeri intuitsionistid reeglit A ÚØA, sest üldjuhul pole ju teada, kas
mingil konkreetsel juhul on tõestatav A või ØA. Intuitsionistlik loogika ei erine klassikalisest loogikast mitte ainult
olemasolu kvantori ning või- ja ja-tehete piiratuse poolest: järgmine klassikalise loogika jaoks tõene ja ainult
järeldustehet sisaldav väide (nn. Peirce'i reegel) ei ole intuitsionistlikult tõestatav: ((A B) A) A.
Intuitsionismi filosoofiline tuum on abstraktsete platooniliste tõdede mitteaktsepteerimine: intuitsionisti jaoks on tõde
ainult see, mille jaoks on konstrueeritud tõestus. Sellest ka koolkonna nimi - intuitsionism tähistab intuitiivselt selget ja
arusaadavat matemaatikat, vastandina näiteks Hilberti formalismile.
Harilikud loogikatehted saavad klassikalisest loogikast hoopis erineva tähenduse. Näiteks on väide A ÚB klassikaliselt
annaabi.ee 
