Truth Tables APK
גרסה נוכחית
3.43 for Windows
מְעוּדכָּן
15 November 2013
מֵידָע
גִרְסָה 3.43 (#45)
מְעוּדכָּן 15 November 2013
גודל קובץ APK 207.1 KB
נדרש Android Android 2.2+ (Froyo)
מפתח תוכנה Erpelstolz
קטגוריה חינוך (יישום)
ID at.ac.univie.phl.logik.android.truthtables
הערות למפתחים אמת שולחנות להיגיון קלאסי ולמספר המערכות שאינן קלאסיות
צילום מסך
לחץ על התמונה כדי לראות בגודל מלא
תוכן עניינים
מה חדש
מה חדש ב- Truth Tables 3.43
* NAND and NOR are more prominent for most screen sizes (requested by a user)
* cleaning up layouts (please report any problem with exotic devices)
* allowing "*" and "+" for conjunction and disjunction, respectively (requested by a user)
* optionally showing separator lines between main columns (requested by a user)
* on-screen keyboard optionally showing the propositional letters A, B, C,... instead of P, Q, R,... (requested by a user)
* cleaning up layouts (please report any problem with exotic devices)
* allowing "*" and "+" for conjunction and disjunction, respectively (requested by a user)
* optionally showing separator lines between main columns (requested by a user)
* on-screen keyboard optionally showing the propositional letters A, B, C,... instead of P, Q, R,... (requested by a user)
תיאור
המטרה היחידה של תכנית זו היא יצירה, והצגה, טבלאות אמת.
זו גרסה חינמית תומכת בכל connectives הרגיל של היגיון קלאסי, כלומר שלילה, שיתוף, חוסר התאמה (כולל), (השלכה מהותית) conditonal, ו( שקילות חומר) biconditional, כמו גם את הקבועים 1 ו 0 המציין אמת ושקר, בהתאמה. דבר מגניב הוא ש, מלבד הכיתוב הרגיל משעמם במידה מסוימת של היגיון, אתה יכול להשתמש, בסימון הפולני המבריק מרופד בזרם של Lukasiewicz, יותר מדי.
וזה לא נעצר כאן. אם אתה, סוג השכל ישר למטה על כדור הארץ של אדם, תוכל למצוא את זה מרגיע, כי, כברירת מחדל, התכנית משתמשת קלאסי, שתי מוערך, היגיון. אבל אם אתה יותר מהסוג הרפתקן, אף פעם לא לעצור קצר של העסק, אתה תהיה שמח ללמוד כי טבלאות אמת עבור אנדרואיד תומך במספר המערכות שאינן קלאסיות, רב מוערכת היגיון, יותר מדי. לעולם אל תזין אותו נהר פעמיים, ושני נגטיבים לא עושים אישור, כביכול!
זו גרסה חינמית תומכת בכל connectives הרגיל של היגיון קלאסי, כלומר שלילה, שיתוף, חוסר התאמה (כולל), (השלכה מהותית) conditonal, ו( שקילות חומר) biconditional, כמו גם את הקבועים 1 ו 0 המציין אמת ושקר, בהתאמה. דבר מגניב הוא ש, מלבד הכיתוב הרגיל משעמם במידה מסוימת של היגיון, אתה יכול להשתמש, בסימון הפולני המבריק מרופד בזרם של Lukasiewicz, יותר מדי.
וזה לא נעצר כאן. אם אתה, סוג השכל ישר למטה על כדור הארץ של אדם, תוכל למצוא את זה מרגיע, כי, כברירת מחדל, התכנית משתמשת קלאסי, שתי מוערך, היגיון. אבל אם אתה יותר מהסוג הרפתקן, אף פעם לא לעצור קצר של העסק, אתה תהיה שמח ללמוד כי טבלאות אמת עבור אנדרואיד תומך במספר המערכות שאינן קלאסיות, רב מוערכת היגיון, יותר מדי. לעולם אל תזין אותו נהר פעמיים, ושני נגטיבים לא עושים אישור, כביכול!
דירוגים וביקורות
דירוג: 4.1 / 5 · 5+ הצבעות
(*) נדרש