פותח (לוגיקה)

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

פותח הוא החלק הראשון של הנחה היפותטית.

דוגמאות:

  • אם א', אז ב'.

במקרה זה, ה"פותח" הוא א'.

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

כאן, "א' הוא אדם" הוא ה"פותח" בפרופוזיציה.

שפות אחרות