הבדלים בין גרסאות בדף "היסק"

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