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

שינויים

הוסרו 25 בתים ,  לפני 6 שנים
מ
שוחזר מעריכות של 109.66.207.201 (שיחה) לעריכה האחרונה של Itzuvit
{{מחפש מקורות}}ב[[תורת ההיגיון]], '''היסק''' (inference) הוא '''[[טיעון]]''' שמסקנתו נובעת מן הנחותיו. ב[[לוגיקה של אריסטו]], שהייתה מקובלת במשך אלפי שנים ועד המאה התשע-עשרה, ישנם רק היסקים משתי הנחות ([[סילוגיזם|סילוגיזמים]]) והיסקים מהנחה בודדה, באמצעות כללי המרה (שהם למעשה תרגום של טענה אחת לטענה אחרת השקולה מנקודת מבט לוגית). אולם בלוגיקה המודרנית קיימים היסקים בלא הנחות וגם היסקים בעלי אינסוף הנחות.
 
== היסקים תקפים ובטלים בלוגיקה האריסטוטלית==