|
สมัครสมาชิก | คู่มือการใช้ | รายชื่อสมาชิก | ปฏิทิน | ข้อความวันนี้ | ค้นหา |
|
เครื่องมือของหัวข้อ | ค้นหาในหัวข้อนี้ |
#1
|
|||
|
|||
de Morgan algebra
De Morgan algebra
is a structure A = (A, ∨, ∧, 0, 1, ¬) such that: (A, ∨, ∧, 0, 1) is a bounded distributive lattice, and ¬ is a De Morgan involution: ¬(x ∧ y) = ¬x ∨ ¬y and ¬¬x = x. (i.e. an involution that additionally satisfies De Morgan's laws) In a De Morgan algebra, the laws ¬x ∨ x = 1 (law of the excluded middle), and ¬x ∧ x = 0 (law of noncontradiction) do not always hold. |
#2
|
|||
|
|||
If a De Morgan algebra additionally satisfies x โง ยฌx โค y โจ ยฌy,
it is called a Kleene algebra.[1][3] (This notion should not to be confused with the other Kleene algebra generalizing regular expressions.) This notion has also been called a normal i-lattice by Kalman. 05 กุมภาพันธ์ 2021 11:47 : ข้อความนี้ถูกแก้ไขแล้ว 1 ครั้ง, ครั้งล่าสุดโดยคุณ share |
หัวข้อคล้ายคลึงกัน | ||||
หัวข้อ | ผู้ตั้งหัวข้อ | ห้อง | คำตอบ | ข้อความล่าสุด |
โจทย์ Algebra | Crazy pOp | ปัญหาคณิตศาสตร์ทั่วไป | 1 | 28 กรกฎาคม 2020 03:14 |
Help. Algebra | ฟินิกซ์เหินฟ้า | ข้อสอบโอลิมปิก | 5 | 19 มีนาคม 2013 10:43 |
ช่วยแนะนำ textbook linear algebra กับ abtract algebra ที่เข้าใจง่ายหน่อยคร้าบบ | lingnoi | พีชคณิต | 2 | 12 มกราคม 2013 23:21 |
ขอความช่วยเหลือครับ นิยาม Algebra | rigor | คณิตศาสตร์อุดมศึกษา | 2 | 27 พฤศจิกายน 2008 14:34 |
หนังสือ Algebra | doraemath | ปัญหาคณิตศาสตร์ ม.ปลาย | 3 | 20 กุมภาพันธ์ 2008 22:11 |
|
|