بندانگشتی|گۆنون افقدان یوخاریلیق اولماغی، ایشیغینین موستقیم بیزه یئتیشمه‌سی اۆچون گرک دیر اما گؤرر دئییل. (گۆنون تۇتولماسی گۆنون افقدان یوخاریلیغیندا باش وئرر.) گرک ایله گؤرر (لازم و کافی) منطیقده‌کی شرطلر اۆچون ایشلنن آدلار دیرلار. "الف"، "ب" اۆچون گرک اولسا "ب"نین دۆزلوگوندن "الف"ین دۆزلوگو نتیجه‌لنر. "ب" اۆچون گؤرر شرطین دۆزلوگو، "ب"نین دۆزلوگون نتیجه‌له‌ندیرر. ایکی حؤکم آراسیندا گرک ایله گؤرر شرطلرینین اولماغی بیرینین دۆزلوگوندن اوبیرسینین دۆزلوگون نتیجه‌لندیرر.