دو تابع true و false و نماد، معرف مقادیر درست (true) و غلط (false) برای ارزش گذاری گزاره ها هستند و مقادیر پایه نوع داده منطقی (logical) می باشند. ضمن این که این توابع امکان ساخت ماتریس ها را نیز فراهم می آورند.