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

שינויים

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