نوع من المتغيرات له حالتان (الصحيح والخاطئ)، مصمم لتمثيل قيم الحقيقة في المنطق و جبر بول.

العمليات المنطقية

المشغلّات المنطقية تشمل: and, or, xor, implies, and not.

العلاقات

تشمل: <, <=, >, >=, =, <>.

أمثلة في Maple

    # التحقق مما إذا كان العدد أكبر من 5 وأقل من 10
    > x := 7;
    > x > 5 and x < 10;

    # التحقق مما إذا كان العدد يساوي 3 أو 7
    > x := 3;
    > x = 3 or x = 7;

    # التحقق مما إذا كان العدد ليس 5
    > x := 4;
    > x <> 5;

    # استخدام المشغلات العلاقية والمنطقية معًا
    > x := 8;
    > (x > 5 and x < 10) or (x = 12);

    # مثال على المشغلات المنطقية
    > a := true;
    > b := false;
    > a and b; # false
    > a or b;  # true
    > a xor b; # true
    > a implies b; # false
    > not a; # false