שיחה:חוקי היקש
הוספת נושאמה הקשר בין "אם ורק אם טענה א' נכונה או טענה ב' נכונה, וטענה א' שגויה - אז טענה ב' נכונה." לבין ההערה בהמשך השורה "("או" היא פעולה קומוטטיבית.)"? עוזי ו. (אגב, למה לא לנסח בעברית: "טענה א' נכונה או טענה ב' נכונה, וטענה א' שגויה, אם ורק אם טענה ב' נכונה", וכן הלאה).
חוקי/כללי/צעדי היסק/היקש[עריכת קוד מקור]
1. צריך להחליט מה השם הנכון. במאמר זה מופיעים "כללי היקש" ו"חוקי היקש"; בערך תורה אפקטיבית אותו דבר מופיע בשם 'צעדי היקש'; ואילו בספרים של האוניברסיטה הפתוחה על לוגיקה, השם שניתן הוא 'כללי היסק'. אני לא בטוח מה השם הרשמי, ואשמח לאינפוט מצד המתמטיקאים שבחבורה.
2. בלוגיקה מתמטית, לפחות, כללי היסק *אינם* אקסיומות - למילה 'אקסיומה' יש משמעות אחרת. רצוי לציין זאת בערך.
רונן א. קידר 06:49, 23 אוקטובר 2005 (UTC)
- לדעתי עדיף 'כללי היסק' (בלוגיקה מתמטית קוראים להם 'כללי גזירה'). 'כללים' עדיף על 'חוקים', ו'היסק' מתאים להסקה חותכת יותר מאשר 'היקש' (שהוא אישוש ולא ראיה). עוזי ו. 02:37, 24 אוקטובר 2005 (UTC)
- צריך לשנות את שם הערך: "היקש" הוא אינדוקציה ו"היסק" הוא אינדוקציה. החוקים הם חוקי היסק. רלף פון שוונץ 23:46, 17 דצמבר 2005 (UTC)