นิยาม ของ การเชื่อมเชิงตรรกศาสตร์

ในตรรกศาสตร์และในสาขาทางเทคนิคที่ใช้คำนี้ การเชื่อม หรือ และ คือตัวดำเนินการทางตรรกศาสตร์ในแคลคูลัสเชิงประพจน์ และกฎการอนุมานในระบบนิรนัย ผลของการเชื่อมสองประพจน์เข้าด้วยกันถูกเรียกว่า ประพจน์เชื่อม ซึ่งจะมีค่าเป็นจริง ก็ต่อเมื่อ ประพจน์ที่ถูกนำมารวมกันนั้นมีค่าจริงทั้งคู่ ในกรณีอื่นๆ ผลลัพธ์จะมีค่าเป็นเท็จ

ในกรณีสองตัวแปรป้อนเข้า A และ B ตารางค่าความจริงของตัวดำเนินการเป็นดังนี้

ABA and B
FFF
FTF
TFF
TTT

โดยสามัญสำนึกแล้ว ตัวดำเนินการดังกล่าว ทำหน้าที่เหมือนกับคำว่า "และ" ประโยคที่ว่า "ฝนตก และฉันอยู่ในบ้าน" ยืนยันว่าทั้งสองประโยคเป็นจริงทั้งคู่ นั่นคือ "ฝนตก" และ "ฉันอยู่ในบ้าน" ในทางตรรกศาสตร์ เราจะกล่าวได้ว่า ให้ A แทน "ฝนตก", B แทน "ฉันอยู่ในบ้าน" ซึ่งรวมกันแล้วจะได้ A และ B

ใกล้เคียง

การเชื่อม การเชิดมังกร การเชื่อมทิก การเชื่อมไฟฟ้า การเชื่อมไฮเปอร์บาริก การเชื่อมต่อฐานข้อมูลแบบเปิด การเชื่อมต่อและการจอดเทียบท่าของยานอวกาศ การเชิดสิงโต การเชื่อมต่อเอชทีทีพีแบบคงอยู่ การเชื่อมอาร์ก