מתמטיקה :: לוגיקה מתמטיקה :: ההיגיון הוא מודול פרל המספק לוגיקה 2, 3 או רב ערך רב.
הורד עכשיו

מתמטיקה :: לוגיקה דירוג וסיכום

מתמטיקה :: לוגיקה תגים

מָתֵימָטִי פרל מודול היגיון רב-ערך ערכים מתמטיים רב ערך

מתמטיקה :: לוגיקה תיאור

מתמטיקה :: ההיגיון הוא מודול Perl המספק לוגיקה 2, 3 או רב ערך רב. מתמטיקה :: ההיגיון הוא מודול Perl המספק טהור 2, 3 או רב ערך Logic.Synopsis להשתמש במתמטיקה :: לוגיקה QW ($ true $ $ False $ Undef $ str_true $ str_false $ str_undef); # 10 - 1 'נכון' 'שקר' 'Undef' שימוש במתמטיקה :: ההיגיון ': Num'; # $ TRUE $ $ ENDEF $ - מה שאתה בדרך כלל רוצה להשתמש במתמטיקה :: ההיגיון ': הכל'; # כל הקבועים משתמשים במתמטיקה :: ההיגיון ': Str'; # $ Str_true $ str_false $ str_undef # 2 מעלות לוגיקה שלי $ true = מתמטיקה :: לוגיקה-> חדש (-Value => $ true, -מועדון => 2); שלי $ $ false = מתמטיקה :: לוגיקה-> חדש (-Value => $ False, -Gegree => 2); שלי $ x = מתמטיקה :: לוגיקה-> New_From_string ('אמת, 2); הדפס "נכון" אם TRUE; # 3 מעלות לוגיקה (ללא הפעלת) שלי True = מתמטיקה :: לוגיקה-> חדש (-Value => $ true, -מועדון => 3); שלי $ $ false = מתמטיקה :: לוגיקה-> חדש (-Value => $ False, -Degree => 3); שלי $ $ undef = מתמטיקה :: לוגיקה-> חדש (-Value => $ Undef, -Degree => 3); שלי $ x = מתמטיקה :: לוגיקה-> New_From_string ('שקר, 3'); הדפס "נכון" אם ($ true | $ undef) == $ true; # 3 מעלות לוגיקה (Propagating) $ True = Math :: Logic-> חדש (-Value => $ true, -degree => 3 ,-propagate => 1); שלי $ false = מתמטיקה :: לוגיקה-> חדש (-Value => $ False, -Degree => 3, -Propagate => 1); שלי $ $ undef = מתמטיקה :: לוגיקה-> חדש (-Value => $ Undef, -degree => 3, -propagate => 1); שלי x = מתמטיקה :: לוגיקה-> New_From_string ('(Undef, 3, -Propagate)'); הדפס "Undef" אם ($ true | $ Undef) == $ Undef; # רב תואר לוגיקה $ True = 100; # הגדרתנו האמיתי שלנו $ FALSE = $ FALSE; שלי $ true = מתמטיקה :: לוגיקה-> חדש (-Value => $ true, -degree => $ true); שלי מאוד = מתמטיקה :: לוגיקה-> חדש (-Value => 67, -מועדון => $ true); שלי $ Casy = Math :: Logic-> חדש (-Value => 33, -degree => $ true); שלי $ false = מתמטיקה :: לוגיקה-> חדש (-Value => $ False, -Gegree => $ true); שלי x = מתמטיקה :: לוגיקה-> New_from_string ("25, $ true"); הדפס "אולי" אם ($ מאוד | $ הוגן)> 50; # אנחנו יכולים לקבל ביטויים מורכבים באופן שרירותי; התוצאה היא מתמטיקה :: אובייקט # לוגיקה; כל הטיעונים חייבים להיות במתמטיקה :: אובייקטים לוגיים או דברים שיכולים להיות # לקדם כזה וכולל להיות תואם. התוצאה תלויה # איזה סוג של לוגיקה נמצא בשימוש. שלי $ xor = ($ x | $ Y) ו (! ($ x ו $ Y)); # זה זהה ל: $ xor = $ x ^ $ y, המפעילים הבנוי של Perl, או, או, xor ולא תמיכה 2-ערך ההיגיון. זה אומר שהם תמיד לייצר תוצאה שהיא נכונה או שקרית. למעשה Perl לפעמים מחזירה 0 ולפעמים מחזירה undef עבור שווא בהתאם למפעיל ואת סדר הטיעונים. עבור "True" Perl בדרך כלל מחזירה את הערך הראשון שהעריך כדי true אשר מתברר להיות שימושי מאוד בפועל. בהתחשב בבחירה של המפעילים הלוגיים של Perl של Perl הם להיות מועדפים - אבל כאשר אתה באמת רוצה לוגיקה טהור 2 מעלות או לוגיקה 3 מעלות או לוגיקה רב תואר הם זמינים באמצעות מודול זה. רק 2 מעלות ערכי ההיגיון הם 1 (TRUE) ו- 0 (FALSE). רק ערכי ההיגיון של 3 מעלות הם 1 (TRUE), 0 (False) ו- -1 (Undef). שים לב כי Undef הוא -1 לא undef! רק ערכי ההיגיון רב תואר הם 0 (False) ..- תואר - הערך של True שווה לתואר, בדרך כלל 100.The-Grege הוא הערך המרבי (למעט עבור 2 ו -3 מעלות לוגיקה); I.E. לוגיקה של N-CUELE הוא N + 1 ערך לוגיקה, למשל. 100 מעלות לוגיקה יש 101 ערכים, 0..100.Although כמה קבועים שימושיים עשויים להיות מיוצאים, זהו מודול אובייקט ואת התוצאות של השוואות הלוגיות הם מתמטיקה :: אובייקט לוגו: · Perl דרישות: · פרל

מתמטיקה :: לוגיקה תוכנה קשורה