פתיחת התפריט הראשי

שינויים

נוספו 64 בתים ,  לפני 6 שנים
== היסקים למטרת הפרכה==
 
'''[[הפרכה''']] בלוגיקה היא היסק תקףאו סדרה של היסקים תקפים שמסקנתושמסקנתם ידועה כשקרית. מכוח תקפותו של ההיסק, נובעת משקריות המסקנה שיקריות אחת ההנחות. אוהעקרון הטענהשל שהיא חיבורן. השימושהיסק בהיסקיםכזה כאלומשמש מאפשרבעיקר ב[[הוכחה על דרך השלילה]], דהיינו הוכחה שבה אנו מניחים את ההיפך ממה שאנו מעוניינים להסיק. מן ההנחה (השלילית) שלנו אנו גוזרים סתירה כלשהי (למשל, אנו גוזרים מסקנה שסותרת את אחת ההנחות האחרות), ולאור הסתירה הזו אנו מסיקים שההנחה שלנו היתה בלתי אפשרית, ושאנו מחוייבים לדחות אותה.
 
== היסקים דדוקטיביים ואחרים ==
550

עריכות