منطق شهودگرایانه منطق ریاضیات ساختنی است. مفهوم محوری در این ریاضیات برهان است و نه راستی. لذا استفاده از "اصل طرد شق سوم"(برهان خلف) در این ریاضیات مجاز نیست.

این توضیحی بود که در کتاب "منطق ریاضی"(نوشته محمد اردشیر- انتشارات هرمس) در مورد منطق شهودگرایانه داده بود.(هر چند موضوع خود کتاب منطق ریاضی کلاسیک است.)
خواندن این کتاب بصورت خود آموز بسیار مشکل ولی ممکن است(البته برای ریاضیون) نویسنده را تا حدودی 1 مینیمالیست میدانم و شاید بهترین کتابی بود که خوانده ام و مشکل ترینشان.


ربط بحث قبل به این منطق را حدس بزنید.