intuitionistisk logik
Intuitionistisk logik, et alternativ til klassisk logik, som ikke anerkender, at et udsagn altid enten er sandt eller falsk. p∨¬p er ikke en logisk sandhed. I intuitionistisk logik kan man kun hævde, at et udsagn er sandt, hvis man