היסק – הבדלי גרסאות

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