ReasonLines

Wallace A Murphree‏

מידע על האפליקציה הזו

ReasonLines מספק (1) גישה חדשה וקלה יותר סילוגיזם המסורתי (2) רחבה של סילוגיזם המסורתי לכלול כימותים מספריים.
 
1) הגישה החדשה ההיקש המסורתי
 
במקום בהתחשב קביעות מבודדות כמרכיבים של טיעונים, כגון נחת יסוד עיקרית, הנחת קטין, ומסקנה, הגישה החדשה הזו צרורה כל משפט עם והשווי שלה וכל צרור מיוצג על ידי "סכמטית" משלו של חצים. שרטוטים ההנחה אז יכול להיות ירד במקום אלה לצד אלה שבו מציג הסמיכות שלהם מה המסקנה, אם בכלל, הוא כרוך. המשתמש רק צריך ללמוד איך לבחור את שרטוטי נחת היסוד הנכונים וכיצד לעקוב החצים עבור מסקנה.
 
& # 8195; & # 8195; החלק הראשון של דף העזרה הוא הדרכה עבור גישה חדשה זו.
 
(2) ההרחבה המספרית של סילוגיזם המסורתי
 
זה כבר רגיל לפרש את הכמת בפרט מספרי; כלומר, זה הוא רגיל לקחת "קצת" כמו "לפחות אחד." יתר על כן, quantifiers האוניברסלית, "כל" ו "לא," יכולה גם להיות שניתנו בנאמנות מספרית מאז "כל" פירושו "כל עם אפס למעט" ו "לא" אומר כלום "אף אחד עם אפס יוצא מן הכלל." לאור זאת, מתברר כי quantifiers המסורתית פשוט לסמן את תחילתה של quantifications האפשרי האינסופי מאז "לפחות" פותחת את הסדרה "לפחות שני", "לפחות שלוש , "וכו '," כל (ללא) אבל אפס "פותח" את כל (ללא) אבל אחד "," כל (ללא) אבל שני, "וכו'
 
על ידי ביצוע זה מפורש, האפס ואחד סילוגיזם מסורתי להפוך להחלפה על ידי מספרים אחרים. כך, למשל, " כל אבל 10 A הם B וכל אבל 20 B הם C, ולכן כל אבל 30 A הם C ," ו " לפחות 100 A הם B, כל אבל 7 B הם C, כך לפחות 93 A הם C , "הם בדיוק כמו חוקי כמו ברברה Darii המסורתי, וכן מן הטעם בדיוק.
 
& # 8195; & # 8195; החלק השני של דף עזרת מפתחת הרחבה המספרית הזה באמצעות פנייה לבית השרטוטים.

מה חדש?

Minor bug fixes