סוגר (לוגיקה)

מתוך ויקיפדיה, האנציקלופדיה החופשית

סוגר הוא החלק השני של הנחה היפותטית הבא אחרי פותח

דוגמאות:

  • אם א', אז ב'.

במקרה זה, ה"סוגר" הוא ב'.

  • אם א' הוא אדם, כי אז א' הוא בן תמותה.

כאן, "א' הוא בן תמותה" הוא ה"סוגר" בפרופוזיציה.

כדאי לשים לב לכך שאין הכרח שה"סוגר" יהיה תוצאה של ה"פותח". לדוגמה:

  • אם חזירים יוכלו לעוף, אנשים יוכלו להטיל ביצים
שפות אחרות