ادامه:
در منطق کلاسیک ارزش گزاره ی فوق درست است ولی در منطق شهودگرایانه نمی توان ارزش آنرا تعیین کرد(تا زمانی که مفروضات قبل باشند).
شما در منطق کلاسیک برای ارزش دهی به گزاره از اصل طرد شق سوم استفاده کرده اید(جدا؟!) که در منطق شهود گرایانه مجاز به استفاده از آن نیستید.