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

שינויים

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

עריכות