סוגר (לוגיקה)
מתוך ויקיפדיה, האנציקלופדיה החופשית
סוגר הוא החלק השני של הנחה היפותטית הבא אחרי פותח
דוגמאות:
- אם א', אז ב'.
במקרה זה, ה"סוגר" הוא ב'.
- אם א' הוא אדם, כי אז א' הוא בן תמותה.
כאן, "א' הוא בן תמותה" הוא ה"סוגר" בפרופוזיציה.
כדאי לשים לב לכך שאין הכרח שה"סוגר" יהיה תוצאה של ה"פותח". לדוגמה:
- אם חזירים יוכלו לעוף, אנשים יוכלו להטיל ביצים