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

שינויים

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