Zacharias/disM
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

sep-2-17_00

Browse Source
This commit is contained in:
zacharias
2025-09-02 17:00:02 +02:00
parent 2e0ba3e833
commit ac9d769b0a
2 changed files with 11 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
notes-sep-2.txt
View File

@@ -19,3 +19,7 @@ Räkne regler:
x € ¨(AuB) => x !€ AuB => {x !€ A, x !€ B => x !€ {x € ¨A, x € ¨B => x € ¨(AuB). Visar att ¨(AuB) …c A↓uB.
x € ¨A↓u¨B => {x € ¨A, x € ¨B => {x !€ A, x !€ B => x !€ AuB => x € ¨(AuB). Visar att ¨A↓uB …c ¨(AuB).
Resultat: ¨(AuB) = ¨Au¨B
- Distributiv: (AuB)↓uC <=> (A↓uC)u(B↓uC), (A↓uB)uC <=> (AuC)↓u(BuC)
- Absorbering: A↓u(AuB) = A, Au(A↓uB) = A
- Differens: A\B <=> A↓u¨B