משתנה לוגי

הגדרה:

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

דוגמאות של משתנים לוגיים:

1. הטמפרטורה בדוד (בויילר) גבוהה מ-70 מעלות – על ידי שימוש בטרמוסט ניתן לבדוק מה הטמפרטורה בדוד ולקבל ערך עבור המשתנה – אמת אם היא גבוהה מ-70 או שקר אם היא נמוכה מ- 70. סוג כזה של משתנה מיושם בדוד חימום מים בייתי

2. כמות הדלק במיכל נמוכה מ-5 ליטר – על ידי שימוש במד גובה דלק במיכל ניתן לקבל כמה ליטרים נותרו. אם יש יותר מ-5 ליטר אז המשתנה מקבל ערך שקר, ואם הכמות נמוכה מ-5 ליטר אזי המשתנה מקבל ערך אמת. משתנה כזה מיושם בכל מכונית שנותנת התראה לנהג בלוח המכוונים על כמות דלק נמוכה

3. משקל הכולל של נוסעים במעלית גבוהה מ-300 ק"ג – על ידי חיבור משקל קפיצי אל כבל המעלית ניתן לבדוק את משקל הנוסעים. אם המשקל גבוה מ-300 ק"ג המשתנה יקבל ערך אמת, ואם המשקל נמוך מ-300 ק"ג המשתנה יקבל ערך שקר. משתנה כזה מיושם בכל מעלית הגורם להפעלת זמזם אם המשקל מעל המותר, ומונע שימוש במעלית.

משתנים שאינם לוגיים:

1. טמפרטורת המנוע מאוד חמה – ההגדרה חמה היא לא חד משמעית ולכן אנשים שונים יכולים להחליט על טמפרטורות שונות כמתאימות להגדרה "מאוד חמה"

2. הכרסומת מסתובבת מהר מידי – "מהר מידי" זה דבר שלא ניתן ליחס אותו אל מול סולם ערכים ולכן לא ניתן לומר באופן חד משמעי האם זה אמת או שקר

3. פי 3 מהמהירות המותרת – המשפט הזה לא מתייחס למי נוסע, טס, מסתובב במהירות ולכן לא ניתן לבדוק האם זה באמת נכון או לא