คืนค่าการตั้งค่าทั้งหมด
คุณแน่ใจว่าต้องการคืนค่าการตั้งค่าทั้งหมด ?
ลำดับตอนที่ #2 : [[Math]] เรื่อง = ตรรกศาสตร์
มอน่อไปไ้ที่นี่
ำอธิบายเพิ่มเิม
ัวำเนินารทารรศาสร์
ในแลูลัสเิประพน์, ัวำเนินารทารรศาสร์ หรือ ัวเื่อมทารรศาสร์ ใ้เพื่อเื่อมประโยให้เป็นประโยที่ับ้อนึ้น พิาราัวอย่าอประโยที่ว่า "ฝน" และ "ันอยู่ในบ้าน" เราสามารถเื่อมประโยทัู้่ไ้เป็น "ฝน และ ันอยู่ในบ้าน", หรือ "ฝน ไม่ ", หรือ "ถ้า ฝน, แล้ว ันอยู่ในบ้าน"
ประโยใหม่ที่ไ้าารเื่อมประโยเรียว่า ประโยเิ้อน หรือ ประพน์เิ้อน
ัวำเนินารพื้นานมี: "นิเสธ" (¬ หรือ ~), "และ" (∧ หรือ &), "หรือ" (∨), "เื่อนไ" (→), และ "เื่อนไสอทา" (↔). "นิเสธ" เป็นัวำเนินารเอภาพ ที่ใ้ับเทอมเี่ยว ที่เหลือือัวำเนินารทวิภา ที่เื่อมเทอมสอเทอมเ้า้วยัน เ่น P ∧ Q, P ∨ Q, P → Q, และ P ↔ Q เรามัเรียัวำเนินารเื่อนไว่า "ถ้า-แล้ว" ส่วนัวำเนินารเื่อนไสอทาเราเรียว่า "็่อเมื่อ"
สัเวามล้ายลึันอเรื่อหมายสำหรับ "และ" (
) และ "อินเอร์เัน" (∩) และในทำนอเียวัน เรื่อหมายสำหรับ "หรือ" (∨) และ "ยูเนียน" (∪) นี่ไม่ใ่เรื่อบัเอิ ทั้นี้เนื่อานิยามออินเอร์เันใ้ "และ" ส่วนนิยามอยูเนียนใ้ "หรือ"
ารา่าวามริ อัวเื่อมเหล่านี้:
P Q ¬P ¬Q P∧Q P∨Q P→Q P↔Q
T T F F T T T T
T F F T F T F F
F T T F F T T F
F F T T F F T T
เพื่อะลำนวนวเล็บ เราะเพิ่มลำับวามสำัอัวำเนินาร่าๆ ันี้: ¬ มีวามสำัมาว่า ∧, ∧ มาว่า ∨, และ ∨ มาว่า → ัวอย่าเ่น P ∨ Q ∧ ¬ R → S ือารเียนอย่าย่ออ (P ∨ (Q ∧ (¬ R))) → S
อย่าไร็าม ไม่ำเป็นที่เราะ้อใ้ัวำเนินารทุัวในนี้ สำหรับารใ้านในรรศาสร์เิประพน์ที่สมบูร์ ประโยเิ้อนนั้นหลายรั้็สมมูลัน ัวอย่าเ่น ¬ P ∨ Q นั้นสมมูลทารรศาสร์ับ P → Q; ันั้น เราไม่ำเป็น้อมีัวำเนินานเื่อนไ "→" ถ้าเรามี "¬" (นิเสธ) และ "∨" (หรือ)
เพื่อวามระทัรั เพาะ 5 ัวำเนินารที่ใ้บ่อยเท่านั้น ที่เราไ้แสในหัว้อนี้ ยัมีัวเื่อมอื่นๆ อี เ่น แนน (nand, not-and), เอ์-ออร์ และ นอร์ (nor, not-or).
อบุ้อมูลา : วิิพีเีย สารานุรมเสรี
ความคิดเห็น