ชนิดข้อมูลซึ่งสมาชิกสามารถสมมติค่าตรรกะเท่านั้น (มักจะเป็นจริง และเท็จ) และสามารถดำเนินบน โดยตัวดำเนินการตรรกะ เช่น AND, OR เท่านั้น และไม่