และเชิงตรรกะ

ทั้งสองประพจน์ต้องเป็นจริง ใน p ∧ q ประพจน์ทั้งหมดจะเป็นจริงก็ต่อเมื่อ p และ q เป็นจริงทั้งคู่ กรณีอื่นทั้งหมดเป็นเท็จ นักตรรกศาสตร์เรียกการดำเนินการนี้ว่าการเชื่อมแบบ "และ" (conjunction) และมักเรียกสัญลักษณ์นี้ว่าลิ่ม

ลิ่มถูกพิมพ์ใช้แทนการเชื่อมแบบ "และ" เป็นครั้งแรกในปี 1930 ในบทความที่อาเรนด์ ไฮทิง นักคณิตศาสตร์ชาวดัตช์ วางรากฐานเชิงรูปนัยให้ตรรกศาสตร์เชิงอัชฌัตติก ตรรกศาสตร์เชิงอัชฌัตติกคือตรรกศาสตร์แบบหนึ่งที่ยอมรับประพจน์ก็ต่อเมื่อมีบทพิสูจน์ นักตรรกศาสตร์ก่อนหน้านั้นเขียนการเชื่อมแบบ "และ" ด้วยวิธีอื่น เช่น จุด หรือ & ∧ เป็นสัญกรณ์หนึ่งที่ได้รับความนิยมในภายหลัง และไม่ได้แทนที่แบบอื่นในทุกที่

ปัจจุบันตำราตรรกศาสตร์และวิชาวิทยาการคอมพิวเตอร์ใช้ ∧ ในตารางค่าความจริงและสูตร ส่วนภาษาโปรแกรมส่วนใหญ่ใช้ && หรือ and เพราะพิมพ์ง่าย และแต่ละภาษากำหนดกฎการประเมินค่าของตัวเอง